Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Peltz, C.: Web services orchestration: A review of emerging technologies, tools, and standards
Pourraz, F., Verjus, H., Oquendo, F.: An architecture-centric approach for managing the evolution of eai services-oriented architecture. In: ICEIS 2006. Eighth International Conference on Enterprise Information Systems, Paphos, Cyprus, pp. 234–241 (2006)
dit Jolicoeur, L.B., Braesch, C., Dindeleux, R., Gaspard, S., Berre, D.L., Leymonerie, F., Montaud, A., Chaudet, C., Haurat, A., Theroude, F.: Final specification of business case 1, scenario and initial requirements. Deliverable D7.1b, ArchWare Consortium (2002)
Estublier, J., Verjus, H., Cunin, P.Y.: Designing and building software federations. In: CBSE - EUROMICRO 2001. 1st Conference on Component Based Software Engineering, Warsaw, Poland, pp. 121–129 (2001)
Cimpan, S., Verjus, H., Oquendo, F.: Cots-based system design using software architectural styles. In: Integrated Design & Process Technology (Special Topic Session Formal Reasoning on Software Components and Component-based Software Architectures), Austin, USA, pp. 127–134 (2003)
Garlan, D., Shaw, M.: An introduction to software architecture. In: Ambriola, V., Tortora, G. (eds.) Advances in Software Engineering and Knowledge Engineering, pp. 1–39. World Scientific Publishing Company, Singapore (1993)
Shaw, M., Garlan, D.: Characteristics of higher-level languages for software architecture. Technical Report CMU-CS-94-210, Carnegie Mellon University, School of Computer Science (1994)
Allen, R.J.: A Formal Approach to Software Architecture. Ph.D. thesis, School of Computer Science, Carnegie Mellon University, Pittsburgh (1997)
Verjus, H., Cimpan, S., Alloui, I., Oquendo, F.: Gestion des architectures évolutives dans archware. In: CAL 2006. 1ère Conférence francophone sur les Architectures Logicielles, Nantes, pp. 41–57 (2006)
Morrison, R., Balasubramaniam, D., Kirby, N., Mickan, K., Oquendo, F., Cimpan, C., Warboys, B., Snowdon, R., Greenwood, M.: Support for evolving software architectures in the archware adl. In: 4th Working IEEE/IFIP Int. Conf. on Software Architecture, Oslo, Norway, pp. 69–78 (2004)
Medvidovic, T.: A classification and comparison framework for software architecture description languages. IEEE Transactions on Software Engineering 26(1), 70–93 (2000)
Consortium, A.: Archware - architecting evolvable software - ist european project 2001-32360
Cimpan, S., Verjus, H.: Challenges in architecture centred software evolution. In: CHASE: Challenges in Software Evolution, Bern, Switzerland, pp. 1–4 (2005)
Oquendo, F., Alloui, I., Cimpan, S., Verjus, H.: The archware adl: Definition of the abstract syntax and formal semantics. Deliverable D1.1b, ArchWare Consortium, ArchWare European RTD Project IST-2001-32360 (2002)
Milner, R.: Communicating and Mobile Systems: The π-calculus. Cambridge University Press, Cambridge (1999)
Verjus, H., Cimpan, S., Telisson, D.: Formalising cots-based federations using software architectural styles. In: ICSSEA 2002. 15th International Conference on Software & Systems Engineering and their Applications, Paris, France, vol. 2, pp. 1–8 (2002)
Salaün, G., Bordeaux, L., Bordeaux, M.S.L., Schaerf, M.: Describing and reasoning on web services using process algebra. In: ICWS, pp. 43–50. IEEE Computer Society, Los Alamitos (2004)
Pourraz, F., Verjus, H.: Diapason: an engineering environment for designing, enacting and evolving service-oriented architectures. In: ICSEA 2007. Proceedings of the International Conference on Software Engineering Advances, IEEE Computer Society, France (accepted for publication 2007)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Pourraz, F., Verjus, H. (2008). Managing Service-Based EAI Architectures Evolution Using a Formal Architecture-Centric Approach. In: Manolopoulos, Y., Filipe, J., Constantopoulos, P., Cordeiro, J. (eds) Enterprise Information Systems. ICEIS 2006. Lecture Notes in Business Information Processing, vol 3. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-77581-2_18
Download citation
DOI: https://doi.org/10.1007/978-3-540-77581-2_18
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-77580-5
Online ISBN: 978-3-540-77581-2
eBook Packages: Computer ScienceComputer Science (R0)