An algebraic model of service oriented trustworthy software architecture

被引：4
|
作者：
Zhao H.-Q. [1 ]
Sun J. [1 ]
机构：
[1] Department of Computer Science, North China University of Technology
来源：
Jisuanji Xuebao/Chinese Journal of Computers | 2010年 / 33卷 / 05期
关键词：
Abstract algebra; Process algebra; Service; Service combination; Service oriented architecture;
D O I：
10.3724/SP.J.1016.2010.00890
中图分类号：
学科分类号：
摘要：
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 trustworthy attributes are analyzed and a few Trustworthy Normal Formats is proposed. All above viewpoints construct theoretical footstone for designing trustworthy SOA. At last a case study is introduced to explain how the above algebraic model can be used.
引用
收藏
页码：890 / 899
页数：9
相关论文
共 13 条
  • [1] Chen H.-W., Wang J., Dong W., High confidence software engineering technologies, Acta Electronica Sinica, 31, 12, pp. 1933-1938, (2003)
  • [2] Reference Model for Service Oriented Architecture 1.0, (2006)
  • [3] Ma Z.-Y., Chen H.-J., Service oriented architecture reference model, Chinese Journal of Computers, 29, 7, pp. 1011-1019, (2006)
  • [4] Zhu L., Zhou M.-H., Liu T.-C., Mei H., A permission management model in service oriented architecture model, Chinese Journal of Computers, 28, 4, pp. 677-685, (2005)
  • [5] Liu F.-F., Shi Y.-L., Zhang L., Shi B.-L., Substitution analysis of Web service composition via process algebra, Chinese Journal of Computers, 30, 11, pp. 2033-2039, (2007)
  • [6] Martin W., Sensoria process calculi for service-oriented computing, LNCS 4661, pp. 30-50, (2007)
  • [7] Mei H., Shen J.-R., Progress of research on software architecture, Journal of Software, 7, 6, pp. 1257-1275, (2006)
  • [8] Medvidovic N., Taylor R.N., A classification and comparison framework for software architecture description languages, IEEE Transactions on Software Engineering, 26, 1, pp. 156-168, (2000)
  • [9] James I., Paul C., David G., Richard N., Bradley S., Jaime O., Documenting component and connector views with UML2.0, Software Engineering Institute, (2004)
  • [10] Jie R., Taylor R.N., A secure software architecture description language, Proceedings of the Workshop on Software Security Assurance Tools, Techniques, and Metrics, pp. 82-90, (2006)
12