摘要
建模面向对象的软件系统是UML的动态图的重要应用,采用顺序图描述消息传送,动态图描述活动。在大型系统开发过程中,往往存在大量顺序图和状态图,由于语义的缺失,导致这些图形表达涵义模糊不清,特别是在递归的信息传送上,由于表达方式的特点,状态图很容易造成实现过程的歧义甚至死锁。提出了基于ASM的多agent实时控制方法,结合形式化的规则定义,通过多个层次agent控制状态的跃迁,保证状态图在描述复杂信息传送时,能够和顺序图的时序保持一致,这对提高系统的可靠性具有一定的现实意义。
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 are 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.
出处
《计算机科学》
CSCD
北大核心
2010年第8期172-174,223,共4页
Computer Science
基金
上海市科技发展基金项目(06dz15004-1863)资助
关键词
顺序图
状态图
ASM
递归语义
Sequence diagram, State diagram, Abstract state machine,Recursive semantics
