基于Petri网等价理论的模型一致性分析技术

摘要：

针对MDA开发模式所面临的模型一致性问题,引入Petri网及其等价理论,提出UML动态模型的行为一致性和结构一致性分析技术。这样当UML视图被形式化地描述为Petri网模型,就可以通过分析Petri网模型的语言等价性、分支等价性来判断出UML视图的一致性,进而检验在UML模型的正确性。研究思路对进一步分析其他类型的模型一致性具有借鉴作用。

关键词： Petri网 等价理论 结构一致性 形式化地描述

作者: 姚淑珍 谭火彬 王春梅

作者单位: 北京航空航天大学软件学院,北京 100191

会议类型: 国内会议

会议名称: 第十二届全国petri网理论与应用学术年会

会议地点: 天津

会议语种:中文

页码: 111-113,126

在线出版日期: 2009-08-22（万方平台首次上网日期，不代表论文的发表时间）