%0 Journal Article
%T Approach to Transforming MARTS Sequence Diagram to TTS4SD Models<br>MARTE顺序图到TTS4SD的转换
%A ZHU Mei-xia
%A WU Ji-gang
%A <br>朱梅霞
%A 武继刚
%J 计算机科学
%D 2013
%I 
%X 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.
%K Regression test
%K Lines of code
%K Select test subset
%K Lest requirement<br>实时系统
%K 顺序图
%K CCSL
%K 形式化方法
%K 模型转换
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=F2F3E0E822DEB5B23B8D2FD344BC2828&yid=FF7AA908D58E97FA&vid=1371F55DA51B6E64&iid=CA4FD0336C81A37A&sid=A58CF3BAE79427D0&eid=4609832E4B5C797B&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=0