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

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