全部 标题 作者
关键词 摘要


Approach to Transforming MARTS Sequence Diagram to TTS4SD Models
MARTE顺序图到TTS4SD的转换

Keywords: Regression test,Lines of code,Select test subset,Lest requirement
实时系统
,顺序图,CCSL,形式化方法,模型转换

Full-Text   Cite this paper   Add to My Lib

Abstract:

The sequence diagram was extended in the MARTE specification for modeling purpose, but it can not be used in the correctness verification stage. The OMG proposes to solve this problem by model transformation techniques; the model A is transformed to a formal model B which is equipped with efficient analysis or verification tools. ho describe the semantics of A by model B can guarantee the bi-simulation relation between them. A model named timed transition system for sequence diagram(TTS4SD)was proposed. At first,we offered the formal syntax of the sectuence diagram and the TTS4SD,then we described the semantics of the sequence diagram by I hS4SD. Taking the semantics as basis,the checking work was carried out on the TTS4SD.An example was given to describe the above process.

Full-Text

comments powered by Disqus