C3: A Metamodel for Architecture Description Language based on First-order Connector Types

To provide hierarchical description from different software architectural viewpoints we need more than one abstraction hierarchy and connection mechanisms to support the interactions among components. Also,ion hierarchy and connection mechanisms to support the interactions among components. Also, these mechanisms will support the refinement and traceability of architectural elements through the different levels of each hierarchy. Current methods and tools provide poor support for the challenge posed by developing system using hierarchical description. This paper describes an architecture-centric approach allowing the user to describe the logical architecture view where a physical architecture view is generated automatically for all application instances of the logical architecture.

[1]  Flávio Oquendo,et al.  ArchWare: Architecting Evolvable Software , 2004, EWSA.

[2]  David Garlan,et al.  Acme: architectural description of component-based systems , 2000 .

[3]  Steve Vestal,et al.  Domain-Specific Software Architectures for Guidance, Navigation and Control , 1996, Int. J. Softw. Eng. Knowl. Eng..

[4]  José M. Troya,et al.  Specification and Refinement of Dynamic Software Architectures , 1999, WICSA.

[5]  강문설.  [서평]「The Unified Modeling Language User Guide」 , 1999 .

[6]  Jeff Magee,et al.  Dynamic structure in software architectures , 1996, SIGSOFT '96.

[7]  David Garlan,et al.  Exploiting style in architectural design environments , 1994, SIGSOFT '94.

[8]  Mary Shaw,et al.  Abstractions and implementations for architectural connections , 1996, Proceedings of International Conference on Configurable Distributed Systems.

[9]  Nenad Medvidovic.  Moving Architectural Description from Under the Technology Lamppost , 2006, EUROMICRO-SEAA.

[10]  Mary Shaw,et al.  Abstractions for Software Architecture and Tools to Support Them , 1995, IEEE Trans. Software Eng..

[11]  Steve Vestal,et al.  Using an architecture description language for quantitative analysis of real-time systems , 2002, WOSP '02.

[12]  David Garlan,et al.  A formal basis for architectural connection , 1997, TSEM.

[13]  Mónica Pinto,et al.  A Dynamic Component and Aspect-Oriented Platform , 2005, Comput. J..

[14]  Richard N. Taylor,et al.  A comprehensive approach for the development of modular software architecture description languages , 2005, TSEM.

[15]  Mary Shaw.  Procedure Calls Are the Assembly Language of Software Interconnection: Connectors Deserve First-Class Status , 1993, ICSE Workshop on Studies of Software Design.

[16]  Peyman Oreizy,et al.  A Component- and Message-Based Architectural Style for GUI Software , 1995, 1995 17th International Conference on Software Engineering.

[17]  Xiaolei Qian,et al.  Correct Architecture Refinement , 1995, IEEE Trans. Software Eng..

[18]  David Garlan,et al.  Acme: an architecture description interchange language , 2010, CASCON.

[19]  Richard N. Taylor,et al.  A Classification and Comparison Framework for Software Architecture Description Languages , 2000, IEEE Trans. Software Eng..

[20]  David C. Luckham,et al.  Rapide: A language and toolset for simulation of distributed systems by partial orderings of events , 1997, Partial Order Methods in Verification.

[21]  Mourad Oussalah,et al.  An explicit definition of connectors for component-based software architecture , 2004, Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004..

[22]  Nenad Medvidovic,et al.  Towards a taxonomy of software connectors , 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.

[23]  Mourad Oussalah,et al.  Towards an Approach for Building Reliable Architectures , 2007, 2007 IEEE International Conference on Information Reuse and Integration.

[24]  Robert A. Riemenschneider,et al.  Introduction to SADL 1.0: A Language for Specifying Software Architecture Hierarchies , 1997 .

[25]  Peyman Oreizy,et al.  Using object-oriented typing to support architectural design in the C2 style , 1996, SIGSOFT '96.

[26]  Richard N. Taylor,et al.  Architecture-based specification-time software evolution , 1999 .

[27]  Robert J. Allen.  A formal approach to software architecture , 1997 .

[28]  Dimitra Giannakopoulou,et al.  Behaviour Analysis of Software Architectures , 1999, WICSA.

[29]  Jeff Magee,et al.  The Koala Component Model for Consumer Electronics Software , 2000, Computer.

[30]  Alexander L. Wolf,et al.  Acm Sigsoft Software Engineering Notes Vol 17 No 4 Foundations for the Study of Software Architecture , 2022 .

[31]  David Garlan,et al.  A Formal Approach to Software Architectures , 1992, IFIP Congress.

[32]  David Garlan,et al.  A compositional approach for constructing connectors , 2001, Proceedings Working IEEE/IFIP Conference on Software Architecture.

[33]  Flávio Oquendo.  π-ADL: an Architecture Description Language based on the higher-order typed π-calculus for specifying dynamic and mobile software architectures , 2004, SOEN.

[34]  Naranker Dulay,et al.  Specifying Distributed Software Architectures , 1995, ESEC.

[35]  Richard N. Taylor,et al.  A language and environment for architecture-based software development and evolution , 1999, Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002).