构件化业务流程重组应用服务器可信性度量方法研究

摘要：

针对面向业务流程重组的应用服务器（BPRAS, business process re-engineering oriented application server）的可信性度量方法形式化方面的不足，给出了 BPRAS 的业务流程建模与可信性度量协作框架，并在此框架基础上，提取组成应用服务器的构件属性和构件组合行为特征，通过进程代数等相关方法进行抽象，从构件之间的运算角度，定义BPRAS构件运算算子，从而建立BPRAS代数模型，并进一步对其支撑的业务流程应用软件可信性进行建模，提出多种可信范式，为可信BPRAS软件可信性度量方法提供理论支撑。最后介绍了一个应用实例。

关键词：业务流程重组、应用服务器、构件、软件可信性、度量

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金资助项目61363001,91118002,71061001,61162013；国家民委科研基金资助项目12BFZ010；北方民族大学科研基金资助项目2013XYZ030 @@@@The National Natural Science Foundation of China61363001,91118002,71061001,61162013;The Science Foundation of State Nationalities Affairs Commission12BFZ010;The Science Foundation of Beifang University of Nationalities2013XYZ030

在线出版日期：2014-04-09（万方平台首次上网日期，不代表论文的发表时间）

页数：共11页

页码：47-57