基于UML的商业建模及模型验证机制研究

作     者：段盛 DUAN Sheng

作者机构：湘南学院计算机系湖南郴州423000 

基　　金：湖南省自然科学基金项目(07JJ6107) 湖南省教育厅科研基金项目(07C723) 

出 版 物：《计算机工程与设计》 (Computer Engineering and Design)

年 卷 期：2008年第29卷第12期

页      码：3116-3118页

摘      要：传统的商业建模方法存在无法为商业系统开发提供一个集成的"从概念到代码"的方案的缺陷,为解决在商业建模中存在的问题,提出了使用基于UML的商业建模方法。用实例阐述了该方法的具体步骤,并针对基于UML模型形式化复杂、验证难的问题,进一步提出了一种模型形式化的方法。应用实例和实验结果表明,基于UML建模方法和形式化方法能够减少商业建模的工作量,提高商业软件的开发效率及质量,较好地解决了商业建模中存在的问题。

主 题 词：商业模型 商业过程 统一建模语言 形式化 模型验证 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

D　O　I：10.16208/j.issn1000-7024.2008.12.025

馆 藏 号：203665142...