首页 > 期刊 > 系统仿真学报 > 基于Petri网等价理论的模型一致性分析技术 【正文】
摘要:针对MDA开发模式所面临的模型一致性问题,引入Petri网及其等价理论,提出UML动态模型的行为一致性和结构一致性分析技术。这样当UML视图被形式化地描述为Petri网模型,就可以通过分析Petri网模型的语言等价性、分支等价性来判断出UML视图的一致性,进而检验在UML模型的正确性。研究思路对进一步分析其他类型的模型一致性具有借鉴作用。
关键词:petri网 模型 一致性 uml
单位:北京航空航天大学软件学院
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社
相关期刊
相关范文
北大期刊
¥700.00