| 基于UML的商业建模及模型验证机制研究 |
| |
| 引用本文： | 段盛. 基于UML的商业建模及模型验证机制研究[J]. 计算机工程与设计, 2008, 29(12) |
| |
| 作者姓名： | 段盛 |
| |
| 作者单位： | 湘南学院,计算机系,湖南,郴州,423000 |
| |
| 基金项目： | 湖南省自然科学基金 , 湖南省教育厅资助项目 |
| |
| 摘 要： | 传统的商业建模方法存在无法为商业系统开发提供一个集成的"从概念到代码"的方案的缺陷,为解决在商业建模中存在的问题,提出了使用基于UML的商业建模方法.用实例阐述了该方法的具体步骤,并针对基于UML模型形式化复杂、验证难的问题,进一步提出了一种模型形式化的方法.应用实例和实验结果表明,基于UML建模方法和形式化方法能够减少商业建模的工作量,提高商业软件的开发效率及质量,较好地解决了商业建模中存在的问题.
|
| 关 键 词： | 商业模型 商业过程 统一建模语言 形式化 模型验证 |
Study of UML-based business modeling and model verification |
| |
| DUAN Sheng. Study of UML-based business modeling and model verification[J]. Computer Engineering and Design, 2008, 29(12) |
| |
| Authors: | DUAN Sheng |
| |
| Affiliation: | DUAN Sheng(Department of Computer , Science,Xiangnan College,Chenzhou 423000,China) |
| |
| Abstract: | Traditional business modeling methods have a limitation,that they can't offer business system implementation a integrated solution of from concept to code,to solve problems in business modeling,a UML-based business modeling method is proposed,the concrete steps of this method using instance is described,and a model formalization method is proposed to solve the formalization com-plexity and the validation difficulty of UML-based model formalization,as application instances and experimentations show,the UML-b... |
| |
| Keywords: | business model business process unified modeling language formalization model validation |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
