文献类型：期刊文献

英文题名：Modeling UML sequence diagrams using extended Petri nets

作者：Yang, Nianhua[1,2];Yu, Huiqun[1];Sun, Hua[1];Qian, Zhilin[1]

机构：[1]E China Univ Sci & Technol, Dept Comp Sci & Engn, Shanghai 200237, Peoples R China;[2]Shanghai Key Lab Comp Software Evaluating & Testi, Shanghai 201112, Peoples R China

年份：2012

卷号：51

期号：2-3

起止页码：147

外文期刊名：TELECOMMUNICATION SYSTEMS

收录：;EI(收录号：20131516194135);WOS:【SCI-EXPANDED(收录号:WOS:000311792900007)】；

基金：The work was supported by the NSF of China under grants No. 60773094 and 60473055, Shanghai Shuguang Program under grant No. 07SG32.

语种：英文

外文关键词：UML; Sequence diagram; MARTE; Mapping rule; Petri net

摘要：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 systems' requirements. To enhance formal analysis abilities, 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. They are proposed both in graphical and formal forms. The soundness of mapping rules is analyzed. 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. To show the applicability and feasibility of our method, an application example in vehicular ad hoc networks (VANETs) domain is studied.