构件化业务流程重组应用服务器可信属性建模方法研究[权威资料].docVIP

构件化业务流程重组应用服务器可信属性建模方法研究 　　摘　要：针对面向业务流程重组的应用服务器在可信属性建模方面的不足，基于组成应用服务器的构件属性和构件组合行为特征，利用进程代数等相关方法进行抽象，从构件之间的运算角度，定义BPRAS构件运算算子，从而建立BPRAS代数模型，并基于该代数模型，进一步对其支撑的业务流程应用软件可信属性建模，提出多种可信范式，为可信BPRAS软件设计提供理论模型支撑。最后介绍了一个应用实例。 　　关键词：业务流程重组；　应用服务器；　可信属性；　建模方法 　　TN91934；　TP311 A 1004373X（2012 　　伴随着业务流程重组（Business　Process　Reengineering，BPR）的相关理论与技术在农业、工业和服务业信息化领域广泛的应用，用户普遍认可其为业务流程应用软件研发引入较高灵活性和可维护性等优点，同时也对其提高应用软件可信性方面提出了更高的要求。可信软件通常是指在特定环境下其运行行为及其结果符合人们预期，并在受到干扰时仍能提供连续服务的软件［1］。当前学术界和产业界从不同角度，采用不同方法对可信软件相关理论展开大量研究，同时作为研究成果，已有大量相应工具出现。但是上述成果大部分关注于通用软件可信性研究［23］，且还未形成较统一的理解和认识，因而对包括业务流程重组应用服务器（BPR　oriented　Application　Server，BPRAS）在内的特定领域软件可信性指导性和适用性尚显不足。 　　基于以上研究背景，本文重点针对BPRAS这一特定领域软件，以出具验证的业务流程重组为该类领域软件问题域，以该类领域软件所支撑的业务流程应用软件为解域，深入研究业务流程应用软件可信性的形式化方法，对可信业务流程应用软件进行建模，从而提高业务流程应用软件可信性，为可信BPRAS软件设计提供理论模型支撑，并为相关工具软件研发提供方法与技术支持。 　　具体而言，本文采用以下方法完成上述研究工作。首先给出BPRAS元构件和分层构件形式化定义，并在此基础上构建构件运算算子，进而基于构件定义和构件算子给出构件组合的形式化定义；其次，基于构件组合和进程代数理论，建立BPRAS代数模型，并给出基于BPRAS的业务流程应用软件可信性模型的形式化定义，以及由多种可信范式构成的可信业务流程应用软件规范化等级理论模型。 　　毫无疑问，构造可信业务流程应用软件需要系统性的理论与方法，仅依靠BPRAS自身难以完成可信业务流程重组应用软件的研发任务，其关键原因在于BPRAS处理的是已完成重组的业务流程，而重组后的业务流程是否满足用户业务流程重组需求需要流程开发工具出具验证；另一方面，经过对业务流程可信性分析后确定的规范化等级可反馈至流程开发工具，供用户参考，并完善业务流程至更高规范化等级。由此形成BPRAS与出具验证工具［45］协作模型如图1所示。 　　图1　BPRAS与出具验证工具协作模型1　BPRAS构件模型 　　1.1　元构件与分层构件 　　1.1.1　元构件 　　定义1　元构件可定义为四元组C=，其中： 　　（1）　id是构件的标识； 　　（2）　type={I；II；III；...}是构件类型； 　　（3）　body=（Input，Output，Exec：　{ExecI；ExecII；ExecIII；...}）是构件运行体；执行体Exec的各种枚举类型分别对应各种构件类型。 　　（4）　envi=（Protocal_type，Communi_body）是构件通信环境体。 　　1.1.2　表示层构件 　　定义2　表示层构件可定义为四元组CPr=，其中： 　　（1）　Pr_id是构件的标识； 　　（2）　Pr_type={I；II；III}是构件类型；其中I型代表与BPRAS格式保持一致系统需设置报文格式解析模块；II型代表受BPRAS格式控制系统需设置报文格式解析模块；III型代表独立于BPRAS设计报文格式系统； 　　（3）　Pr_body=（Input，Output，Exec：{Split；Explain；Translate}）是构件运行体；执行体Exec的三种枚举类型分别对应I，II，III三种构件类型； 　　（4）　Pr_envi=（Protocal_type，Communi_body）是构件通信环境体。 　　1.1.3　功能层构件 　　定义3　功能层构件可定义为四元组CFu=，其中： 　　（1）　Fu_id是构件的标识； 　　（2）　Fu_type={I；II；III}是构件类型；其中I