UML和CPN在企业销售信息管理系统开发中的应用  

Application of UML and CPN in Developing Enterprise Marketing Information Management System

作　　者：王海燕[1,2] 胡金柱[1,2] 张昭理[1,2] 

机构地区：[1]华中师范大学计算机系,武汉430079 [2]软件工程国家重点实验室,武汉430072

出　　处：《计算机工程》2004年第14期158-160,共3页Computer Engineering

基　　金：软件工程国家重点实验室开放基金资助项目(SKLSE04-18);湖北省重点科技攻关项目(2001AA101C31)

摘　　要：UML是标准的统一建模语言,但缺乏合适的工具对其所建立的模型进行严格定量的分析。CPN(有色Petri网)是严格定义的数学对象,可以模拟和检验用UML描述的系统对象的行为属性。该文以企业销售信息管理系统为实例描述了通过UML进行建模的过程,并用CPN对所建立的模型进行了分析和检验。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.

关 键 词：统一建模语言 有色PETRI网 静态建模 动态建模 状态图 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]