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

Method for trustworthiness modeling of BPRAS

针对面向业务流程重组的应用服务器在可信属性建模方面的不足,基于组成应用服务器的构件属性和构件组合行为特征,利用进程代数等相关方法进行抽象,从构件之间的运算角度,定义BPRAS构件运算算子,从而建立BPRAS代数模型,并基于该代数模型,进一步对其支撑的业务流程应用软件可信属性建模,提出多种可信范式,为可信BPRAS软件设计提供理论模型支撑。最后介绍了一个应用实例。

Aiming at the insufficient of business process re-engineering oriented application server （BPRAS） in trustwor- thiness modeling, based on the attributes of components and the combination behavior features of components consisting of BPRAS, a group of component operating operators is defined through abstraction methods of Process Algebraic and an alge- braic model of BPRAS is established. Based on the algebraic model, the trustworthiness attribute modelling of business processes application software supported by the algebraic model iseondueted, so as to build theoretical footstone for designing the trustworthy application software based on BPRAS. Finally, an application case is introduced to explain how to use the above algebraic model of BPRAS.