Transformation of UML 2.0 Sequence Diagram into Coloured Petri Nets

被引：0
作者：
Saputra, Aditya Bagoes [1 ]
Basuki, Thomas Anung [2 ]
Tirtawangsa, Jimmy [1 ]
机构：
[1] Telkom Univ, Sch Comp, Bandung, Indonesia
[2] Parahyangan Catholic Univ, Dept Informat, Bandung, Indonesia
来源：
2014 International Conference of Advanced Informatics: Concept, Theory and Application (ICAICTA) | 2014年
关键词：
UML; sequence diagram; Coloured Petri Nets; transformation rules;
D O I：
暂无
中图分类号：
TM [电工技术]; TN [电子技术、通信技术];
学科分类号：
0808 ; 0809 ;
摘要：
UML is populer tool for modeling a system, but this tool cannot be evaluated directly. On the other hand, Coloured Petri Nets (CPN) is a simulation tool which has rich features for analysis. The capability to analyze the UML diagrams is important to help evaluating a system design. In this paper, we propose a set of transformation rules to transform UML 2.0 sequence diagram into CPN. To show the implementation of the rules, we provide a case study of chocolate machine.
引用
收藏
页码：243 / 248
页数：6
相关论文
共 13 条
  • [1] A Model Driven Approach to Represent Sequence Diagrams as Free Choice Petri Nets
    Ameedeen, Mohamed Ariff
    Bordbar, Behzad
    [J]. EDOC 2008: 12TH IEEE INTERNATIONAL ENTERPRISE DISTRIBUTED OBJECT COMPUTING, PROCEEDINGS, 2008, : 213 - 221
  • [2] BOOCH G, 1998, UNIFIED MODELING LAN
  • [3] A semantics of sequence diagrams
    Cho, SM
    Kim, HH
    Cha, SD
    Bae, DH
    [J]. INFORMATION PROCESSING LETTERS, 2002, 84 (03) : 125 - 130
  • [4] Curzon P, 2001, LECT NOTES COMPUT SC, V2254, P57
  • [5] Eichner C, 2005, LECT NOTES COMPUT SC, V3530, P133
  • [6] Emadi S., 2009, 2009 ICECS INT C COM
  • [7] Jensen K., 1992, MONOGRAPHS THEORETIC, V1, P1
  • [8] Jensen K, 2009, COLOURED PETRI NETS: MODELLING AND VALIDATION OF CONCURRENT SYSTEMS, P1, DOI 10.1007/b95112
  • [9] Modelling concurrent interactions
    Küster-Filipe, J
    [J]. THEORETICAL COMPUTER SCIENCE, 2006, 351 (02) : 203 - 220
  • [10] Letichevsky AA, 2005, LECT NOTES COMPUT SC, V3530, P117
12