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

Consistency Analysis among Models Based on Equivalence Theory of Petri net

作　　者：姚淑珍[1] 谭火彬[1] 王春梅[1] 

机构地区：[1]北京航空航天大学软件学院,北京100191

出　　处：《系统仿真学报》2008年第S2期111-113,126,共4页Journal of System Simulation

基　　金："航空电子系统综合技术国防科技重点实验室"和"航空科学基金"联合资助(20085551042)

摘　　要：针对MDA开发模式所面临的模型一致性问题,引入Petri网及其等价理论,提出UML动态模型的行为一致性和结构一致性分析技术。这样当UML视图被形式化地描述为Petri网模型,就可以通过分析Petri网模型的语言等价性、分支等价性来判断出UML视图的一致性,进而检验在UML模型的正确性。研究思路对进一步分析其他类型的模型一致性具有借鉴作用。Facing the consistency problem among models in MDA development mode,the consistency analysis on behavior and structure of dynamic models is studied based on Petri net and its equivalence theory.As UML diagrams are described formally as Petri nets,the consistency and correctness of UML models could be analyzed by evaluating language equivalence and branch equivalence of Petri net.The main idea gives a good foundation to further analyze consistency of other models.

关 键 词：PETRI网 模型 一致性 UML 

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论]