摘要
针对面向业务流程重组的应用服务器(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.
出处
《通信学报》
EI
CSCD
北大核心
2014年第3期47-57,共11页
Journal on Communications
基金
国家自然科学基金资助项目(61363001
91118002
71061001
61162013)
国家民委科研基金资助项目(12BFZ010)
北方民族大学科研基金资助项目(2013XYZ030)~~
关键词
业务流程重组
应用服务器
构件
软件可信性
度量
business process reengineering
application server
component
software trustworthiness
measurement
