Compositional semantics for UML 2.0 sequence diagrams using Petri nets

被引：0
|
作者：
Eichner, C [1 ]
Fleischhack, H [1 ]
Meyer, R [1 ]
Schrimpf, U [1 ]
Stehno, C [1 ]
机构：
[1] Carl von Ossietzky Univ Oldenburg, Dept Comp Sci, Parallel Syst Grp, D-26111 Oldenburg, Germany
来源：
SDL 2005: MODEL DRIVEN, PROCEEDINGS | 2005年 / 3530卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
With the introduction of UML 2.0, many improvements to diagrams have been incorporated into the language. Some of the major changes were applied to sequence diagrams, which were enhanced with most of the concepts from ITU-T's Message Sequence Charts, and more. In this paper, we introduce a formal semantics for most concepts of sequence diagrams by means of Petri nets as a formal model. Thus, we are able to express the partially ordered and concurrent behaviour of the diagrams natively within the model. Moreover, the use of coloured high-level Petri nets allows a comprehensive and efficient structure for data types and control elements. The proposed semantics is defined compositionally, based on basic Petri net composition operations.
引用
收藏
页码：133 / 148
页数：16
相关论文
共 50 条
  • [31] Assert and negate revisited: Modal semantics for UML sequence diagrams
    Harel, David
    Maoz, Shahar
    SOFTWARE AND SYSTEMS MODELING, 2008, 7 (02): : 237 - 252
  • [32] Assert and negate revisited: Modal semantics for UML sequence diagrams
    David Harel
    Shahar Maoz
    Software & Systems Modeling, 2008, 7 : 237 - 252
  • [33] ON THE SEMANTICS OF PETRI NETS
    MESEGUER, J
    MONTANARI, U
    SASSONE, V
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 630 : 286 - 301
  • [34] Control flow analysis off UML 2.0 sequence diagrams
    Garousi, V
    Briand, LC
    Labiche, Y
    MODEL DRIVEN ARCHITECTURE FOUNDATIONS AND APPLICATIONS, PROCEEDINGS, 2005, 3748 : 160 - 174
  • [35] Refinement of UML2.0 Sequence Diagrams for Distributed Systems
    Dhaou, Fatma
    Mouakher, Ines
    Attiogbe, Christian
    Bsaies, Khaled
    ICSOFT-EA: PROCEEDINGS OF THE 11TH INTERNATIONAL JOINT CONFERENCE ON SOFTWARE TECHNOLOGIES - VOL. 1, 2016, : 310 - 318
  • [36] UML Diagrams to Hierarchical Colored Petri Nets: An Automatic Software Performance Tool
    Zhu, Lianzhang
    Wang, Wenwen
    2012 INTERNATIONAL WORKSHOP ON INFORMATION AND ELECTRONICS ENGINEERING, 2012, 29 : 2687 - 2692
  • [37] Modeling UML Activity Diagrams with Aspect Oriented Data Concerned Petri Nets
    Yang, Nianhua
    Yu, Huiqun
    Sun, Hua
    Qian, Zhilin
    2012 WORLD AUTOMATION CONGRESS (WAC), 2012,
  • [38] Towards dynamic meta modeling of UML extensions: An extensible semantics for UML sequence diagrams
    Hausmann, JH
    Heckel, R
    Sauer, S
    IEEE SYMPOSIA ON HUMAN-CENTRIC COMPUTING LANGUAGES AND ENVIRONMENTS, PROCEEDINGS, 2001, : 80 - 87
  • [39] Formal Transformation from Sequence Diagrams to Coloured Petri Nets
    Bowles, Juliana
    Meedeniya, Dulani
    17TH ASIA PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2010), 2010, : 216 - 225
  • [40] Formal Verification and Validation of UML 2.0 Sequence Diagrams using Source and Destination of Messages
    Lima, V.
    Talhi, C.
    Mouheb, D.
    Debbabi, M.
    Wang, L.
    Pourzandi, Makan
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 254 : 143 - 160
12345