软件体系结构的广义视角研究

doi:10.3969/j.issn.1000-3428.2012.23.010

摘要/Abstract

摘要： 从广义视角出发，将一些独立发展的软件领域归结到软件体系结构(SA)领域，包括UML、面向方面程序设计、面向服务体系结构、基于构件的软件工程。考虑它们之间的相互联系、共同性和独特性，给出一种分类框架。指出软件体系结构的发展方向：SA与这些领域的关系，动态SA的机理，特殊领域ADLs的设计，理论基础建立以及工具开发。

关键词: 分类框架, 构件, 形式化方法, 面向对象, 软件体系结构, 软件工程

Abstract: In a general view, some software fields are merged into Software Architecture(SA), such as UML, aspect-oriented programming, service-oriented architecture and component-based software engineering. Considering their relationship, commonality and uniqueness, a classification framework is proposed. Several directions are addressed for further research: investigation of the relationship between SA and the fields, exploration of the mechanisms of dynamic SA, design of ADLs toward specific domains, establishment of the theoretical foundation of SA, and development of supporting tools.

Key words: classification framework, component, formal method, object-orientation, Software Architecture(SA), software engineering

中图分类号:

TP311.5

马苏拉. 软件体系结构的广义视角研究[J]. 计算机工程, 2012, 38(23): 42-46.

MA Su-La. A General View of Software Architecture Research[J]. Computer Engineering, 2012, 38(23): 42-46.

https://www.ecice06.com/CN/Y2012/V38/I23/42

参考文献

[1] Shaw M, Garlan D. Software Architecture: Perspectives on an Emerging Discipline[M]. [S. l.]: Prentice Hall, 1996.
[2] Garlan D, Shaw M. An Introduction to Software Architecture[M]// Ambriola V, Tortora G. Advances in Software Engineering and Knowledge Engineering. Singapore: World Scientific Publishing Company, 1993.
[3] Perry D, Wolf A. Foundations for the Study of Software Architecture[J]. ACM SIGSOFT Software Engineering Notes, 1992, 17(4): 40-52.
[4] Kruchten P. The 4+1 View Model of Architecture[J]. IEEE Software, 1995, 12(6): 42-50.
[5] Garlan D. Reconciling the Needs of Architectural Description with Object-modeling Notations[J]. Science of Computer Programming, 2002, 44(1): 23-49.
[6] Magee J. Specifying Distributed Software Architectures[C]//Proc. of the 5th European Software Engineering Conference. London, UK: Springer-Verlag, 1995.
[7] Zelesnik G. The UniCon Language Reference Manual[D]. Pittsburgh, USA: School of Computer Science, Carnegie Mellon University, 1996.
[8] Abowd G D. Formalizing Style to Understand Descriptions of Software Architecture[J]. ACM Transactions on Software Engineering and Methodology, 1995, 4(4): 319-364.
[9] Lopes A, Wermelinger M, Fiadeiro J L. High-order Architectural Connectors[J]. ACM Transactions on Software Engineering and Methodology, 2003, 12(1): 64-104.
[10] Kim J S, Garlan D. Analyzing Architectural Styles[J]. Journal of Systems and Software, 2010, 83(7): 1216-1235.
[11] Kruchten P. An Ontology of Architectural Design Decisions[C]// Proc. of the 2nd Workshop Software Variability Management. [S. l.]: IEEE Press, 2004: 54-61.
[12] Inverardi P, Wolf A L. Formal Specification and Analysis of Software Architectures Using the Chemical Abstract Machine Model[J]. IEEE Transactions on Software Engineering, 1995, 21(4): 373-386.
[13] Bidoit M, Sannella D, Tarlecki A. Architectural Specifications in CASL[J]. Formal Aspects of Computing, 2002, 13(3-5): 252-273.
[14] Shaw M. Abstractions for Software Architecture and Tools to Support Them[J]. IEEE Transactions on Software Engineering, 1995, 21(4): 314-335.
[15] Luckham D. Specification and Analysis of System Architecture Using Rapide[J]. IEEE Transactions on Software Engineering, 1995, 21(4): 336-355.
[16] Taylor R N. A Component and Message-based Architectural Style for GUI Software[J]. IEEE Transactions on Software Engineering, 1996, 22(6): 390-406.
[17] Achermann F, Nierstrasz O. A Calculus for Reasoning About Software Composition[J]. IEEE Transactions on Software Engineering, 2005, 31(2-3): 367-396.
[18] Garlan D, Monroe R T, Wile D. ACME: Architectural Description of Component-based Systems[M]//Leavens G T, Sitaraman M. Foundations of Component-based Systems. [S. l.]: Cambridge University Press, 2000.
[19] 朱雪阳, 唐稚松. 基于时序逻辑的软件体系结构描述语言XYZ/ADL[J]. 软件学报, 2003, 14(4): 713-720.
[20] 张波, 冯玉琳, 黄涛. 体系结构描述语言XADL和组合失配检测[J]. 软件学报, 2002, 13(12): 2238-2243.
[21] 张世琨, 王立福, 常欣, 等. 基于层次消息总线的软件体系结构描述语言[J]. 电子学报, 2001, 29(5): 581-584.
[22] 冯耀东, 黄罡, 梅宏. 一种自适应软件体系结构建模及其实施方法[J]. 北京大学学报: 自然科学版, 2008, 44(1): 67-76.
[23] 余萍, 马晓星, 吕建, 等. 一种面向动态软件体系结构的在线演化方法[J]. 软件学报, 2006, 17(6): 1360-1371.
[24] Allen R, Garlan D. A Formal Basis for Architectural Connection[J]. ACM Transactions on Software Engineering and Methodology, 1997, 6(3): 213-249.
[25] Fiadeiro J L, Lopes A. An Algebraic Semantics of Event-based Architectures[J]. Mathematical Structures in Computer Science, 2007, 17(5): 1029-1073.
[26] Fiadeiro J L. Semantics of Transient Connectors in Re-writing Logic[R]. Lisbon, Portugal: Department of Informatics, University of Lisbon, Tech. Rep.: di-fcul-tr-98-9, 1999.
[27] Rademaker A. A Rewriting Semantics for a Software Architecture Description Language[C]//Proc. of SBMF’04. Pernambuco, Brazil: [s. n.], 2004.
[28] Taylor R N, Medvidovic N, Dashofy E M. Software Architecture:
Foundations, Theory, and Practice[M]. [S. l.]: Wiley, 2009.
[29] Kiczales G. Aspect-oriented Programming[C]//Proc. of ECOOP’97. [S. l.]: Springer, 1997: 220-242.
[30] Parviainen P. Model-driven Development: Processes and Prac- tices[Z]. 2009.
[31] Mellor S J, Balcer M J. Executable UML: A Foundation for Model-driven Architecture[M]. [S. l.]: Addison-Wesley, 2002.
[32] Warmer J B, Kleppe A G. The Object Constraint Language: Getting Your Models Ready for MDA[M]. [S. l.]: Addison-Wesley, 2003.
[33] Medvidovic N. Modeling Software Architectures in the Unified Modeling Language[J]. ACM Transactions on Software Engineering and Methodology, 2002, 11(1): 2-57.
[34] Mattsson A, Fitzgerald B, Lundell B, et al. An Approach for Modeling Architectural Design Rules in UML and Its Application to Embedded Software[J]. ACM Transactions on Software Engineering and Methodology, 2012, 21(1): 10-20.
[35] Hayes-Roth B. A Domain-specific Software Architecture for Adaptive Intelligent Systems[J]. IEEE Transactions on Software Engineering, 1995, 21(4): 288-301.
[36] Goedicke M. Designing Runtime Variation Points in Product Line Architectures: Three Cases[J]. Science of Computer Programming, 2004, 53(3): 353-380.
[37] Opdyke W F. Refactoring Object-oriented Frameworks[D]. Champaign, USA: University of Illinois at Urbana-Champaign, 1992.
[38] Bradbury J S. Organizing Definitions and Formalisms of Dynamic Software Architectures[D]. Belfast, Northern Ireland: Queen’s University, 2004.

选择文件类型/文献管理软件名称

选择包含的内容