摘要
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.
出处
《计算机工程》
CAS
CSCD
北大核心
2004年第14期158-160,共3页
Computer Engineering
基金
软件工程国家重点实验室开放基金资助项目(SKLSE04-18)
湖北省重点科技攻关项目(2001AA101C31)
关键词
统一建模语言
有色PETRI网
静态建模
动态建模
状态图
Unified modeling language(UML)
Colored Petri net(CPN)
Static modeling
Dynamic modeling
State chart diagram