通信学报

• 学术论文 • 上一篇    下一篇

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

韩强1,2,3,袁玉宇1,2   

  1. 1. 北京邮电大学 计算机学院,北京 100876; 2. 北京邮电大学 可信分布式计算与服务教育部重点实验室,北京 100876; 3. 北方民族大学 计算机科学与工程学院,宁夏 银川 750021
  • 出版日期:2014-03-25 发布日期:2014-03-15
  • 基金资助:
    国家自然科学基金资助项目(61363001, 91118002, 71061001, 61162013);国家民委科研基金资助项目(12BFZ010);北方民族大学科研基金资助项目(2013XYZ030)

Research on trustworthiness measurement approaches of component based BPRAS

  • Online:2014-03-25 Published:2014-03-15

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

Abstract: 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.

No Suggested Reading articles found!