摘要： UML是标准的统一建模语言,但缺乏合适的工具对其所建立的模型进行严格定量的分析。CPN(有色Petri网)是严格定义的数学对象,可以模拟和检验用UML描述的系统对象的行为属性。该文以企业销售信息管理系统为实例描述了通过UML进行建模的过程,并用CPN对所建立的模型进行了分析和检验。
关键词:
统一建模语言,
有色Petri网,
静态建模,
动态建模,
状态图
Abstract: UML is a general modeling language, but lacks suitable tools for making strict and quantitative analysis for the models. A colored Petri net is a well-defined mathematics object, and it can simulate and validate the behavioral characteristics of the system object described by UML. This paper describes the process of UML in developing the enterprise marketing information management system, and makes analysis and validation of the model through colored Petri net.
中图分类号:
王海燕
,胡金柱
,张昭理. UML和CPN在企业销售信息管理系统开发中的应用[J]. , 2004, 30(14): 158-160.
WANG Haiyan, HU Jinzhu, ZHANG Zhaoli. Application of UML and CPN in Developing Enterprise Marketing Information Management System[J]. , 2004, 30(14): 158-160.