基于UML的概念模型的Petri网映射算法研究

摘要：

概念模型的动态部分由于其复杂性不易通过阅读式的审查实施验证,针对采用统一建模语言(UML)描述的概念模型,通过UML时序图模型向Petri网模型的映射,可建立Petri网可执行模型,再对其进行验证.在深入分析UML时序图特点的基础上,针对已有映射方法存在的缺点,提出了基于消息的模型映射算法,并对时序图中的特殊结构(可选、条件、并行、循环),分别提出了其相应的映射算法,并验证了映射的正确性.方法有利于检查模型映射前后的一致性,同时具有可扩展的优点.

关键词：概念模型、统一建模语言、时序图、映射

所属期刊栏目：26

分类号：TP391.9;N945.17(计算技术、计算机技术)

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

页数：共5页

页码：112-116