Managing Service-Based EAI Architectures Evolution Using a Formal Architecture-Centric Approach

The development of large software applications (like EAI solution) is oriented toward the interoperation of existing software components (like COTS and legacy systems). COTS-based systems are built in ad-hoc manner and it is not possible to reason on them no more it is possible to demonstrate if such systems satisfy properties and/or quality attributes. On the other hand, software architecture domain aims at providing formal languages for the description of software systems allowing checking properties (formal analysis) and to reason about software architecture models. The paper proposes an approach that consists in formalizing, deploying and evolving Service-based EAI architectures. For that purpose, the ArchWare environment and engineering languages (especially the ArchWare formal ADL, based on the π-calculus) and accompanied tools are used.

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

[2]  Flávio Oquendo,et al.  Gestion des architectures évolutives dans ArchWare , 2006, CAL.

[3]  Mary Shaw,et al.  An Introduction to Software Architecture , 1993, Advances in Software Engineering and Knowledge Engineering.

[4]  Hervé Verjus,et al.  Diapason: an Engineering Approach for Designing, Executing and Evolving Service-Oriented Architectures , 2007, International Conference on Software Engineering Advances (ICSEA 2007).

[5]  Gwen Salaün,et al.  Describing and reasoning on Web services using process algebra , 2004 .

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

[7]  Robin Milner,et al.  Communicating and mobile systems - the Pi-calculus , 1999 .

[8]  Flávio Oquendo,et al.  An Architecture-Centric Approach for Managing the Evolution of EAI Services-Oriented Architecture , 2006, ICEIS.

[9]  Mary Shaw,et al.  Characteristics of Higher-Level Languages for Software Architecture. , 1994 .

[10]  Pierre-Yves Cunin,et al.  Designing and building software federations , 2001, Proceedings 27th EUROMICRO Conference. 2001: A Net Odyssey.

[11]  Flávio Oquendo,et al.  Support for evolving software architectures in the ArchWare ADL , 2004, Proceedings. Fourth Working IEEE/IFIP Conference on Software Architecture (WICSA 2004).

[12]  Shi-Kuo Chang,et al.  Advances in Software Engineering and Knowledge Engineering , 1993, Series on Software Engineering and Knowledge Engineering.