顺序图与状态图的一致性研究

【摘要】： 本文深入研究了顺序图与状态图之间一致性的相关问题,总结了解决一致性验证的一般方法,提出了一种基于状态基的顺序图和状态图一致性验证的方法。这种方法从状态图的特性出发,将状态图描述成语法表达式,将顺序图描述成动作序列的轨迹形式,用语法表达式对相关的轨迹进行检验,确定两者之间的一致性。通过一个示例来实现这种一致性检查的方法。 本文对状态图和顺序图的一致性验证采取的方法立足于状态图的特性,用状态区分事件动作序列形成语法规则,再对顺序图的消息序列进行相应的描述,利用语法分析得到分析结果。方法不但简单、直观,而且不需要增加额外的信息,并且可以利用现有的语法分析工具。具有一定的应用价值。