Computer Science ›› 2010, Vol. 37 ›› Issue (8): 172-174.
Previous Articles Next Articles
ZHOU Xiang,SHAO Zhi-qing
Online:
Published:
Abstract: 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.
Key words: Sequence diagram, State diagram, Abstract state machine, Recursive semantics
ZHOU Xiang,SHAO Zhi-qing. Recursive Semantic Consistency of Sequence Diagram and State Diagram[J].Computer Science, 2010, 37(8): 172-174.
0 / / Recommend
Add to citation manager EndNote|Reference Manager|ProCite|BibTeX|RefWorks
URL: https://www.jsjkx.com/EN/
https://www.jsjkx.com/EN/Y2010/V37/I8/172
Cited