Multi-view Metamodeling of Software Architecture Behavior

Component based development is recognized now as a powerful tool to manage actual systems’ technological complexity. The success key factor of this discipline is the high level abstracting of systems’ structural and behavioral constituents. On the other hand, enhancing software architectures simplicity and clarity by separating several concerns is a useful technique to manage complexity. In order to have a complete system specification, a rigorous behavior description is needed. Behavioral concepts and their use in architectural specification are in a fast evolution and have become so numerous, so it becomes difficult to elicit and manage them. For these purposes, we present in this paper, a generalized meta-model of behavioral aspects, that indexes the various architectural behavior concepts in classes, in a generic way. To enable more sophisticated and consistent analysis of architecture behavior we have separated behavioral concepts into packages basing on four functional perspectives: interface, static behavior, dynamic behavior, and interaction protocols. We show that our proposed meta-model allows having a general, a unified and an adaptable view of behavioral concepts required in software architecture description from all functional viewpoints.

[1]  Robert L. Nord,et al.  Describing Software Architecture with UML , 1999, WICSA.

[2]  Richard N. Taylor,et al.  A Component- and Message-Based Architectural Style for GUI Software , 1995, 1995 17th International Conference on Software Engineering.

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

[4]  Ivar Jacobson,et al.  The Unified Modeling Language User Guide , 1998, J. Database Manag..

[5]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

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

[7]  Nenad Medvidovic,et al.  Multi-view Software Component Modeling for Dependability , 2003, WADS.

[8]  Jeannette M. Wing,et al.  Specification matching of software components , 1995, TSEM.

[9]  Jean Bézivin,et al.  AMW: a generic model weaver , 2005 .

[10]  MOURAD OUSSALAH,et al.  A Multi-Paradigm Approach to Describe Software Systems , 2004 .

[11]  GarlanDavid,et al.  Exploiting style in architectural design environments , 1994 .

[12]  David Garlan.  An Introduction to the Aesop System , 1995 .

[13]  Nazareno Aguirre,et al.  A Temporal Logic Approach for Component Based System Specification and Reasoning , 2002 .

[14]  Andrew William Roscoe,et al.  The Theory and Practice of Concurrency , 1997 .

[15]  Bashar Nuseibeh,et al.  Expressing the relationships between multiple views in requirements specification , 1993, ICSE '93.

[16]  David Garlan,et al.  Reconciling the needs of architectural description with object-modeling notations , 2000, Sci. Comput. Program..

[17]  Jeannette M. Wing,et al.  A behavioral notion of subtyping , 1994, TOPL.

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

[19]  C LuckhamDavid,et al.  Specification and Analysis of System Architecture Using Rapide , 1995 .

[20]  Recommended Practice for Architectural Description of Software-Intensive Systems , 1999 .

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

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

[23]  Nenad Medvidovic,et al.  Modeling software architectures in the Unified Modeling Language , 2002, TSEM.

[24]  Marcio S. Dias,et al.  Software architecture analysis based on statechart semantics , 2000, Tenth International Workshop on Software Specification and Design. IWSSD-10 2000.

[25]  Mohamed Tahar Kimour,et al.  Integrating behavioral aspect into COSA architecture , 2007, SEDE.

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

[27]  Roshanak Roshandel Nenad Medvidovic,et al.  Modeling Multiple Aspects of Software Components , 2003 .

[28]  Alfred Strohmeier,et al.  Towards a UML Profile for Software Architecture Descriptions , 2000, UML.

[29]  Frantisek Plasil,et al.  SOFA/DCUP: architecture for component trading and dynamic updating , 1998, Proceedings. Fourth International Conference on Configurable Distributed Systems (Cat. No.98EX159).

[30]  Philippe Kruchten,et al.  The 4+1 View Model of Architecture , 1995, IEEE Softw..

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

[32]  Mohamed Graiet,et al.  Adaptation d'UML2.0 à l'ADL Wright , 2006, CAL.

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