一种面向业务流程模型的仿真验证方法.doc
《一种面向业务流程模型的仿真验证方法.doc》由会员分享,可在线阅读,更多相关《一种面向业务流程模型的仿真验证方法.doc(6页珍藏版)》请在三一文库上搜索。
1、一种面向业务流程模型的仿真验证方法Abstract:SOA software architecture has become the mainstream technology of distributed solutions.As the business process model is the core of SOA system design,it is significantly important whether there are some flaws in it.Therefore,the effective verification method of the busines
2、s process model is quite critical.To meet the verification requirements of the business process model,this paper offers a solution to the collaborative simulation of the heterogeneous model,and puts forward the simulation verification framework of the business process model based on HLA.Through the
3、simulation of the business process and the network deployment,the verification of the function and time characteristics is effectively implemented.The experimental results show that the proposed method can effectively find the design flaws in the business process. Keywords:business process;simulatio
4、n;verification 1 引言(Introduction) ?S着软件开发技术的不断发展,信息系统的功能日新月异。但由于不同软件的开发平台、开发工具、操作系统在体系结构上的紧耦合性,使得物理分散的独立系统形成了所谓的“信息孤岛”。为了有效解决这一问题,需要一种标准化、开放性的体系结构完成从集中式到分布式的转换,在这一背景下,面向服务的体系结构SOA(Service Oriented Architecture)应运而生。 典型的基于SOA的软件开发过程往往首先建立业务流程模型,并以该模型作为系统设计,然后根据该模型,通过服务集成方法来自动或半自动的产生系统实现。因此,业务流程模型的正确性
5、对最终系统质量具有重要影响。根据Ron Patton在软件测试中的论述可知,设计阶段存在的缺陷如果没有及时发现,在系统实现阶段修复该缺陷往往是设计阶段修复缺陷费用的100倍左右1,如果在用户大规模使用时发现该缺陷,修复该缺陷的费用往往是设计阶段修复缺陷费用的万倍以上。由此可见,对业务流程模型开展验证,对提高系统质量和降低软件开发费用大有益处。 2 相关研究(Related research) 目前,最常用的方法是模型检查(Model Checking),即通过搜索系统的状态空间来对模型进行静态的形式化分析。随着模型规范化程度和可执行能力的提升,将测试手段应用于模型验证的方法必将被逐渐重视起来,
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 一种 面向 业务流程 模型 仿真 验证 方法
链接地址:https://www.31doc.com/p-1592253.html