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

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