A transforming method of keeping the mutual simulation relationship between sequence diagram and CCSL models

作者：Sun Baoshan^*; Zhu Meixia

来源：Journal of Computational Information Systems, 2013, 9(21): 8659-8666.

DOI：10.12733/jcis7391

• Analysis capabilities
• CCSL
• Clock constraints
• MARTE
• Model transformation
• Sequence diagrams
• System's dynamics
• Transformation methods

We transform SD to a series of models defined by CCSL (clock constraint specification language) which is as powerful as other time models such as time petri-net, time transition system and time automata in analysis capability aspect and whose models can be checked by observer technique, then, we prove the mutual simulation relationship between SD and CCSL models. CCSL and SD are from the same profile MARTE, thus, the proposed transformation method expands MARTE from modeling to analyzing field: (1) in order to make the users and the designers to reach a consensus, the system's dynamic behavior are modeled by SD at first; (2) then, the SD is transformed to CCSL models to check whether the system can meet the requirement.

• 出版日期2013
• 单位天津工业大学