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

被引：4

作者：

朱筱筱

董路明

机构：

[1] 中国科技大学计算机科学与技术系,中兴通信南京研究所合肥,南京

来源：

关键词：

软件工程; 建模; 着色Petri网; 面向对象技术; 统一建模语言; 对象Petri网模型;

D O I：

暂无

中图分类号：

TP311.52 [];

学科分类号：

081202 ; 0835 ;

摘要：

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

引用

页码：37 / 41

页数：5