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

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

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

作 者： 朱筱筱 董路明   作者单位： 朱筱筱(中国科技大学计算机科学与技术系,合肥,230027)

董路明(中兴通信南京研究所,南京,210012) 

刊 名： 现代图书情报技术  PKU CSSCI 英文刊名： NEW TECHNOLOGY OF LIBRARY AND INFORMATION SERVICE  年，卷(期)： 2004 ""(2)  分类号： N945.12  关键词： 软件工程   建模   着色Petri网   面向对象技术   统一建模语言   对象Petri网模型  

【着色Petri网在UML建模中的应用】相关文章：

模糊Petri网在飞机进近排序中的应用04-27

UML在航天器姿态与轨道控制应用软件需求建模中的应用04-27

基于随机Petri网的FMS建模及其性能分析04-27

铁路应急预案全生命周期管理流程及其Petri网建模技术研究04-26

基于扩展的UML活动图的质量工作流建模04-26

模糊系统辨识方法在TIG焊过程建模中的应用04-27

系统人力资源的Petri网分配模型研究04-27

基于Petri网的工作流优化分析04-27

基于UML的新型农村合作医疗管理信息系统建模04-27

人工神经网络在油漆废水混凝氧化处理建模中的应用04-25