摘要
传统的商业建模方法存在无法为商业系统开发提供一个集成的"从概念到代码"的方案的缺陷,为解决在商业建模中存在的问题,提出了使用基于UML的商业建模方法。用实例阐述了该方法的具体步骤,并针对基于UML模型形式化复杂、验证难的问题,进一步提出了一种模型形式化的方法。应用实例和实验结果表明,基于UML建模方法和形式化方法能够减少商业建模的工作量,提高商业软件的开发效率及质量,较好地解决了商业建模中存在的问题。
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 complexity and the validation difficulty of UML-based model formalization, as application instances and experimentations show, the UML- based method and formalization method reduced the workload of business modeling, improved the development efficiency and quality, and solved the problem in existed business modeling methods.
出处
《计算机工程与设计》
CSCD
北大核心
2008年第12期3116-3118,共3页
Computer Engineering and Design
基金
湖南省自然科学基金项目(07JJ6107)
湖南省教育厅科研基金项目(07C723)
关键词
商业模型
商业过程
统一建模语言
形式化
模型验证
business model
business process
unified modeling language
formalization
model validation
