| 面向服务的可信软件体系结构代数模型 |
| |
| 引用本文： | 赵会群,孙晶. 面向服务的可信软件体系结构代数模型[J]. 计算机学报, 2010, 33(5). DOI: 10.3724/SP.J.1016.2010.00890 |
| |
| 作者姓名： | 赵会群 孙晶 |
| |
| 作者单位： | 北方工业大学计算机系,北京,100144 |
| |
| 基金项目： | 国家“八六三”高技术研究发展计划项目基金(2007AA010302);;北京市属高等学校人才强教深化计划学术创新团队建设计划;;北京市教委科研计划项目基金(KM200710009009)资助~~ |
| |
| 摘 要： | 针对面向服务体系结构(Service Oriented Architecture,SOA)在形式化和可信属性建模方面的不足,用代数学方法对服务、服务组合以及服务体系结构的属性和行为特征进行抽象,把服务组合解释成组件运算实现,并结合进程代数中算子概念,定义了多种服务组合运算,从而建立SOA的代数模型.在代数模型基础上,进一步对SOA可信属性建模,提出多种SOA可信范式,为可信SOA软件设计提供理论支持.最后介绍了一个应用案例.
|
| 关 键 词： | 服务 服务组合 服务体系结构 抽象代数 进程代数 |
An Algebraic Model of Service Oriented Trustworthy Software Architecture |
| |
| ZHAO Hui-Qun,SUN Jing. An Algebraic Model of Service Oriented Trustworthy Software Architecture[J]. Chinese Journal of Computers, 2010, 33(5). DOI: 10.3724/SP.J.1016.2010.00890 |
| |
| Authors: | ZHAO Hui-Qun SUN Jing |
| |
| Affiliation: | Department of Computer Science/a>;North China University of Technology/a>;Beijing 100144 |
| |
| Abstract: | This paper focuses on the lacks at methodology of describing formal model and trustworthy attributes of the Service Oriented Architecture(SOA in short),abstracts and describes the attributes and the behaviors of Service,Service combination and SOA by algebraic method.By understanding the Service Combination as operation,that is a new ideal,and extending the calculus in Process Algebraic,some Service combination operators are defined and then a formal algebraic model of SOA is proposed.Based this model some ... |
| |
| Keywords: | service service combination service oriented architecture abstract algebra process algebra |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
