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

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