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 条
  • [31] A Triple Graph Grammar (TGG) Approach for Mapping UML 2 Activities into Petri Nets
    Staines, Anthony Spiteri
    [J]. SEPADS'10: PROCEEDINGS OF THE 9TH WSEAS INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, PARALLEL AND DISTRIBUTED SYSTEMS, 2010, : 90 - 95
  • [32] Research on the Integration of Object-oriented Petri Nets and QUEST
    Wei, Bisheng
    Ye, Wenhua
    Liu, Xia
    [J]. ADVANCES IN ENGINEERING DESIGN AND OPTIMIZATION III, PTS 1 AND 2, 2012, 201-202 : 143 - 146
  • [33] Properties of object Petri nets
    Köhler, M
    Rölke, H
    [J]. APPLICATIONS AND THEORY OF PETRI NETS 2004, PROCEEDINGS, 2004, 3099 : 278 - 297
  • [34] Research on Access Mechanism of WIRD Based on Object Petri Nets
    Tang, Da
    Qian, Huimin
    Li, Ye
    [J]. WCICA 2006: SIXTH WORLD CONGRESS ON INTELLIGENT CONTROL AND AUTOMATION, VOLS 1-12, CONFERENCE PROCEEDINGS, 2006, : 6850 - +
  • [35] A New Approach for Recovering High-Level Sequence Diagrams from Object-Oriented Applications Using Petri Nets
    Baidada, Chafik
    Bouziane, El Mahi
    Jakimi, Abdeslam
    [J]. SECOND INTERNATIONAL CONFERENCE ON INTELLIGENT COMPUTING IN DATA SCIENCES (ICDS2018), 2019, 148 : 323 - 332
  • [36] Modelling automation systems by UML and Petri Nets
    Basile, Francesco
    Chiacchio, Pasquale
    Del Grosso, Domenico
    [J]. WODES' 08: PROCEEDINGS OF THE 9TH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS, 2008, : 308 - 313
  • [37] On the integration of UML and Petri nets in software development
    Campos, Javier
    Merseguer, Jose
    [J]. PETRI NETS AND OTHER MODELS OF CONCURRENCY - ICATPN 2006, 2006, 4024 : 19 - 36
  • [38] State space calculation algorithm of hierarchical Petri nets with application of decision diagrams
    Miczulski, P
    [J]. DESDES '1: PROCEEDINGS OF THE INTERNATIONAL WORKSHOP ON DISCRETE-EVENT SYSTEM DESIGN, 2001, : 67 - 72
  • [39] Testing Object-Oriented Systems by Using a Random Sequence of UML Diagrams
    Mroczek, Anna
    [J]. INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2013, 13 (11): : 42 - 48
  • [40] Make your Petri nets understandable: Reliability block diagrams driven Petri nets
    Signoret, Jean-Pierre
    Dutuit, Yves
    Cacheux, Pierre-Joseph
    Folleau, Cyrille
    Collas, Stephane
    Thomas, Philippe
    [J]. RELIABILITY ENGINEERING & SYSTEM SAFETY, 2013, 113 : 61 - 75
12345