顺序图与状态图的递归语义一致性研究

建模面向对象的软件系统是UML的动态图的重要应用,采用顺序图描述消息传送,动态图描述活动.在大型系统开发过程中,往往存在大量顺序图和状态图,由于语义的缺失,导致这些图形表达涵义模糊不清,特别是在递归的信息传送上,由于表达方式的特点,状态图很容易造成实现过程的歧义甚至死锁.提出了基于ASM的多agent实时控制方法,结合形式化的规则定义,通过多个层次agent控制状态的跃迁,保证状态图在描述复杂信息传送时,能够和顺序图的时序保持一致,这对提高系统的可靠性具有一定的现实意义.

Recursive Semantic Consistency of Sequence Diagram and State Diagram

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.