一种面向业务流程模型仿真验证方法.docVIP

一种面向业务流程模型的仿真验证方法 　　摘 要：基于SOA软件构架成为分布式解决方案的主流技术，业务流程模型是SOA系统设计的核心，其是否存在缺陷对系统具有重要影响，因此，如何对业务流程进行验证成为一个关键问题。本文围绕业务流程模型验证需求，针对异构模型的联合仿真问题，提出基于HLA的业务流程模型仿真验证框架，通过对业务流程和网络部署进行仿真，有效对业务流程的功能和时间特性进行验证。相关实验表明，本文提出的方法能够有效发现业务流程中存在的设计缺陷。 　　关键词：业务流程；仿真；验证 　　中图分类号：TP316 文献标识码：A 　　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 business 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 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；simulation；verification 　　1 引言（Introduction） 　　?S着软件开发技术的不断发展，信息系统的功能日新月异。但由于不同软件的开发平台、开发工具、操作系统在体系结构上的紧耦合性，使得物理分散的独立系统形成了所谓的“信息孤岛”。为了有效解决这一问题，需要一种标准化、开放性的体系结构完成从集中式到分布式的转换，在这一背景下，面向服务的体系结构SOA（Service Oriented Architecture）应运而生。 　　典型的基于SOA的软件开发过程往往首先建立业务流程模型，并以该模型作为系统设计，然后根据该模型，通过服务集成方法来自动或半自动的产生系统实现。因此，业务流程模型的正确性对最终系统质量具有重要影响。根据Ron Patton在《软件测试》中的论述可知，设计阶段存在的缺陷如果没有及时发现，在系统实现阶段修复该缺陷往往是设计阶段修复缺陷费用的100倍左右[1]，如果在用户大规模使用时发现该缺陷，修复该缺陷的费用往往是设计阶段修复缺陷费用的万倍以上。由此可见，对业务流程模型开展验证，对提高系统质量和降低软件开发费用大有益处。 　　2 相关研究（Related research） 　　目前，最常用的方法是模型检查（Model Checking），即通过搜索系统的状态空间来对模型进行静态的形式化分析。随着模型规范化程度和可执行能力的提升，将测试手段应用于模型验证的方法必将被逐渐重视起来，例如可执行UML模型的测试。 　　（1）静态的模型检查方法 　　模型检查主要是对有限状态的系统模型进行静态的形式化分析，通过搜索系统的状态空间来检查该系统是否满足期望的性质。如果系统模型不能满足某一规格说明会给出反例。现有模型检查方法主要有基于语义网络的方法、基于PI-演算的方法、基于Petri网的方法和基于模型检测的方法。这些验证方法通过将系统转化为形式化的模型（如Petri网和自动机模型），借助模型检测器等自动化工具，验证协议和服务