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 条
  • [21] Formal Transformation from Sequence Diagrams to Coloured Petri Nets
    Bowles, Juliana
    Meedeniya, Dulani
    17TH ASIA PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2010), 2010, : 216 - 225
  • [22] Formal Verification of UML2 Timing Diagrams based on Time Petri Nets
    Louati, Aymen
    Barkaoui, Kamel
    INTERNATIONAL JOURNAL OF INFORMATION SYSTEMS IN THE SERVICE SECTOR, 2016, 8 (02) : 87 - 97
  • [23] Analyzing IT Supported Production Control by Relating Petri Nets and UML Static Structure Diagrams
    Pels, Henk Jan
    ADVANCES IN PRODUCTION MANAGEMENT SYSTEMS: COMPETITIVE MANUFACTURING FOR INNOVATIVE PRODUCTS AND SERVICES, AMPS 2012, PT II, 2013, 398 : 144 - 151
  • [24] An Algorithm for Distance Calculation Between UML Sequence Diagrams
    Canal, J.
    Farias, K.
    Goncales, L.
    IEEE LATIN AMERICA TRANSACTIONS, 2018, 16 (04) : 1200 - 1205
  • [25] From Coloured Petri Nets to Object Petri Nets
    Lakos, C
    APPLICATION AND THEORY OF PETRI NETS 1995, 1995, 935 : 278 - 297
  • [26] On the Verification of UML State Machine Diagrams to Colored Petri Nets Transformation using Isabelle/HOL
    Meghzili, Said
    Chaoui, Allaoua
    Strecker, Martin
    Kerkouche, Elhillali
    2017 IEEE 18TH INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION (IEEE IRI 2017), 2017, : 419 - 426
  • [27] Using colored Petri nets to simulate object Petri nets
    Corchado, FFR
    Gallegos, FZ
    Jiménez, AA
    Dávila, HIP
    International Conference on Computing, Communications and Control Technologies, Vol 5, Proceedings, 2004, : 27 - 31
  • [28] A Model Driven Approach to Represent Sequence Diagrams as Free Choice Petri Nets
    Ameedeen, Mohamed Ariff
    Bordbar, Behzad
    EDOC 2008: 12TH IEEE INTERNATIONAL ENTERPRISE DISTRIBUTED OBJECT COMPUTING, PROCEEDINGS, 2008, : 213 - 221
  • [29] RELIABILITY BLOCK DIAGRAMS AND PETRI NETS
    JOLLER, JM
    MICROELECTRONICS AND RELIABILITY, 1980, 20 (05): : 613 - 624
  • [30] Research on Mapping Petri-Net to UML in System Modeling
    Wang, Chunjian
    Yue, Wei
    Du, Dongju
    PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON ELECTRONIC, MECHANICAL, INFORMATION AND MANAGEMENT SOCIETY (EMIM), 2016, 40 : 198 - 204
12345