%0 Journal Article
%T 构件化业务流程重组应用服务器可信性度量方法研究
%A 韩强1
%A 袁玉宇1
%J 通信学报
%D 2014
%X ？针对面向业务流程重组的应用服务器（bpras,businessprocessre-engineeringorientedapplicationserver）的可信性度量方法形式化方面的不足，给出了bpras的业务流程建模与可信性度量协作框架，并在此框架基础上，提取组成应用服务器的构件属性和构件组合行为特征，通过进程代数等相关方法进行抽象，从构件之间的运算角度，定义bpras构件运算算子，从而建立bpras代数模型，并进一步对其支撑的业务流程应用软件可信性进行建模，提出多种可信范式，为可信bpras软件可信性度量方法提供理论支撑。最后介绍了一个应用实例。
%U http://www.joconline.com.cn/CN/abstract/abstract150229.shtml