%0 Journal Article
%T Recursive Semantic Consistency of Sequence Diagram and State Diagram<br>顺序图与状态图的递归语义一致性研究
%A ZHOU Xiang
%A SHAO Zhi-qing
%A <br>周翔
%A 邵志清
%J 计算机科学
%D 2010
%I 
%X The dynamic diagrams in the UML are used extensively to model object oriented software systems,in which sequence diagrams describe the message transfer and state diagrams emphasize the behavior. However, the lack of semantics may result in the confusion of these diagrams that arc often used in the development of large systems. In particular,this confusion could lead to the deadlock of state diagrams during the recursive transfer. This paper proposed a solution to this problem using real time multi-agent ASM, combined with formal rules. Specifically, we improved the reliability by using multi-level agent to control the transition so that state diagram is consistent with sequence diagram during the complex message transfer.
%K ASM<br>顺序图
%K 状态图
%K 递归语义
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=07C62D5096D2071205B65B98DBA0CA4B&yid=140ECF96957D60B2&vid=42425781F0B1C26E&iid=5D311CA918CA9A03&sid=9D453329DCCABB94&eid=0584DB487B4581F4&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=10