中文摘要：

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

英文摘要：

Aiming at the absence of measurement methods about formalization on trustworthiness attributes of business process reengineering oriented application server （BPRAS）, a cooperation framework of business process modeling and trustworthiness measurement based on BPRAS was proposed. Extracting the features of characteristics and behaviors of components consisting of the application server, an abstraction view of computing between those components based on the framework was presented through process algebraic approaches. Furthermore, relative concepts about its components computing operators were defined in order to construct algebraic model of its software trustworthiness （ST） to support the measurement of trustworthy BPRAS. Finally, an application case was also given.