论文部分内容阅读
本文分析UML状态图和顺序图的并行结构特征,利用Petri网的并行结构单元来描述状态图的并行域和顺序图的并行片段。论文引入Petri网语言及其等价性理论来验证状态图和顺序图的一般行为一致性,并针对具有并发成分的UML模型,基于Petri网进程和出现网理论,提出面向UML模型并行结构特征的行为一致性分析技术。论文所研究的一致性研究方法可进一步推广到UML模型的其他视图之间的一致性验证。