着色Petri网在UML建模中的应用

摘要：

介绍了一种用着色Petri网分析和验证UML模型的方法.该方法把面向对象技术和Petri网理论相结合,构成一种面向对象的着色Petri网模型,简称OPM;并给出了它和UML模型之间相互转换的方法,使得验证分析复杂信息系统的动态行为特征成为可能,是一种具有数学和图形方式相结合的形式化描述.

关键词：软件工程、建模、着色Petri网、面向对象技术、统一建模语言、对象Petri网模型

分类号：N945.12(系统科学)

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

页数：共5页

页码：37-41