%0 Journal Article
%T 顺序图与状态图的递归语义一致性研究
%A 周翔
%A 邵志清？
%J 计算机科学
%D 2010
%X 建模面向对象的软件系统是uml的动态图的重要应用，采用顺序图描述消息传送，动态图描述活动。在大型系统开发过程中，往往存在大量顺序图和状态图，由于语义的缺失，导致这些图形表达涵义模糊不清，特别是在递归的信息传送上，由于表达方式的特点，状态图很容易造成实现过程的歧义甚至死锁。提出了基于asm的多agen、实时控制方法，结合形式化的规则定义，通过多个层次;agent控制状态的跃迁，保证状态图在描述复杂信息传送时，能够和顺序图的时序保持一致，这对提高系统的可靠性具有一定的现实意义。
%K 顺序图
%K 状态图
%K asm
%K 递归语义
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=100836&flag=1