摘要
介绍了一种用着色Petri网分析和验证UML模型的方法。该方法把面向对象技术和Petri网理论相结合,构成一种面向对象的着色Petri网模型,简称OPM;并给出了它和UML模型之间相互转换的方法,使得验证分析复杂信息系统的动态行为特征成为可能,是一种具有数学和图形方式相结合的形式化描述。
An approach for validation of UML based system modeling by CPN (Colored Petri Net) is described. The Object Oriented Petri net is constructed by combining object -oriented techniques with Petri net theory. In this article,the author also bring out a set of methods on how to mapping UML diagram to Object -Oriented CPN. The modeling of the O -O Petri net not only can reduce the complexity of the model, but also make the modeled system with reusability and easy maintainability.
出处
《现代图书情报技术》
CSSCI
北大核心
2004年第2期37-41,共5页
New Technology of Library and Information Service
关键词
UML
统一建模语言
PETRI网
面向对象技术
软件工程
Software engineering Software tools Model building Colored Petri nets (CPN) Object- oriented techniques Unified modeling language Object Petri net Model (OPM)
