Research on Mapping Algorithm of UML Sequence Diagrams to Object Petri Nets

被引：3
|
作者：
Li, Guangyu [1 ]
Yao, Shuzhen [1 ]
机构：
[1] Beijing Univ Aeronaut & Astronaut, Beijing, Peoples R China
来源：
PROCEEDINGS OF THE 2009 WRI GLOBAL CONGRESS ON INTELLIGENT SYSTEMS, VOL IV | 2009年
关键词：
Sequence Diagrams; Object Petri Net; mapping;
D O I：
10.1109/GCIS.2009.397
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
The paper firstly analyzes the basic structure of UML Sequence Diagram and gives the formal description of Object Petri Nets. For reuse, the formal description of reusable interaction is studied Then the paper Puts forward the mapping algorithm of UML Sequence Diagrams to Object Petri Nets, which ensures the accuracy, integrity and simplicity of the results by four steps, including abstraction, merging, synchronization and reduction, thus providing a good foundation for automatic verification.
引用
收藏
页码：285 / 289
页数：5
相关论文
共 50 条
  • [1] Modeling UML sequence diagrams using extended Petri nets
    Yang, Nianhua
    Yu, Huiqun
    Sun, Hua
    Qian, Zhilin
    TELECOMMUNICATION SYSTEMS, 2012, 51 (2-3) : 147 - 158
  • [2] Modeling UML sequence diagrams using extended Petri nets
    Nianhua Yang
    Huiqun Yu
    Hua Sun
    Zhilin Qian
    Telecommunication Systems, 2012, 51 : 147 - 158
  • [3] Compositional semantics for UML 2.0 sequence diagrams using Petri nets
    Eichner, C
    Fleischhack, H
    Meyer, R
    Schrimpf, U
    Stehno, C
    SDL 2005: MODEL DRIVEN, PROCEEDINGS, 2005, 3530 : 133 - 148
  • [4] Automatic Model Transformation from UML Sequence Diagrams to Coloured Petri Nets
    Custodio Soares, Joao Antonio
    Lima, Bruno
    Faria, Joao Pascoal
    PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT, 2018, : 668 - 679
  • [5] Modelling UML sequence diagrams with aspect-oriented extended petri nets
    Yang, Nianhua
    Yu, Huiqun
    Sun, Hua
    INTERNATIONAL JOURNAL OF COMPUTER APPLICATIONS IN TECHNOLOGY, 2012, 45 (01) : 57 - 65
  • [6] Intuitive mapping of UML 2 activity diagrams into fundamental modeling concept Petri net diagrams and colored Petri nets
    Staines, Tony Spiteri
    FIFTEENTH IEEE INTERNATIONAL CONFERENCE AND WORKSHOPS ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS, 2008, : 191 - 200
  • [7] Object Petri nets marking using UML
    Bouabana-Tebibel, Thouraya
    Meziani, Lila
    INTERNATIONAL JOURNAL OF COMPUTER APPLICATIONS IN TECHNOLOGY, 2013, 47 (2-3) : 162 - 171
  • [8] Transformation of Coloured Petri Nets to UML 2 Diagrams
    Yassin, Ayman
    Hassan, Hoda
    NEW PERSPECTIVES IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 2, 2014, 276 : 131 - 142
  • [9] Modelling of UML sequence diagrams with generalized nets
    Koycheva, EN
    Trifonov, TA
    Aladjov, HT
    2002 FIRST INTERNATIONAL IEEE SYMPOSIUM INTELLIGENT SYSTEMS, VOL III, STUDENT SESSION, PROCEEDINGS, 2002, : 79 - 84
  • [10] Formal models of UML statechart diagrams based on Petri nets
    School of Computer Science and Technology, Beijing University of Aeronautics and Astronautics, Beijing 100083, China
    Beijing Hangkong Hangtian Daxue Xuebao, 2007, 2 (248-252):
12345