DocumentCode :
2590327
Title :
Modeling UML Sequence Diagrams Using Extended Petri Nets
Author :
Yang, Nianhua ; Yu, Huiqun ; Sun, Hua ; Qian, Zhilin
Author_Institution :
Dept. of Comput. Sci. & Eng., East China Univ. of Sci. & Technol., Shanghai, China
fYear :
2010
fDate :
21-23 April 2010
Firstpage :
1
Lastpage :
8
Abstract :
Unified modeling language (UML) sequence diagrams combined with the UML profile for modeling and analysis of real-time and embedded (MARTE) systems are used to represent the systems´ requirements. To enhance formal analysis, sequence diagrams annotated with MARTE stereotypes are mapped into timed colored Petri nets with inhibitor arcs (TCPNIA). The mapping rules for the fragments of sequence diagrams and MARTE stereotypes are proposed respectively. The mapping rules for general ordering between messages are proposed to cope with complicated interactions. The data related issues are handled through colored properties in TCPNIA models, guard functions and operational functions. A mapping rule for state invariant is proposed based on data related information. Through state invariant, complicated control relations can be expressed. Formal definitions for morphing and substitution in TCPNIA models are given. They provide modular and hierarchical modeling methods for TCPINA models. A case study shows the applicability and feasibility of our method.
Keywords :
Petri nets; Unified Modeling Language; embedded systems; MARTE stereotypes; TCPNIA models; embedded systems; extended Petri nets; formal analysis; unified modeling language sequence diagrams; Computer science; Embedded computing; Embedded software; Inhibitors; Laboratories; Petri nets; Power system modeling; Real time systems; Scheduling; Unified modeling language;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Information Science and Applications (ICISA), 2010 International Conference on
Conference_Location :
Seoul
Print_ISBN :
978-1-4244-5941-4
Electronic_ISBN :
978-1-4244-5943-8
Type :
conf
DOI :
10.1109/ICISA.2010.5480384
Filename :
5480384
Link To Document :
بازگشت