design level and the implementation one and the
evolution support are two of them. Because COTS
(as well as legacy systems) already exist, we “only”
have to deal with the “glue” between such software
components (COTS, etc.). The approach presented
in this paper innovates by providing a formal
approach for the development, deployment and
enactment of an EAI architecture as well as its
dynamic evolution (Cimpan and Verjus, 2005). This
approach combines an unified approach consisting
in refinement steps from specification to
implementation code generation, and a more
pragmatic approach for which we only focus on the
“glue” that have to guarantee the properties of the
COTS-based system the architect is interested. Our
approach is divided in two parts: (1) the definition of
an architecture that is convenient for the design of
COTS-based systems as well as it is also closed to a
concrete architecture (in our case, a SOA) and (2) an
architecture-centric development process using a
formal ADL as a specification language (that deals
with structural aspects and behavioural aspects -
including business processes).
This approach has been validated in the European
ArchWare project and in an R&D project with
SMEs and manufacturing companies. This work is
now continued in order to provide a formal Domain
Specific Language for describing generic SOA in
terms of formal architectural constructs.
Some works focus on business process description
(van der Aalst et al., 2003) in SOA, mostly using
XML-based languages (such as BPEL4WS (Curbera
et al., 2003), WSFL (Leymann, 2001), etc.); some
other focus on services semantic (
McIlraith et al.,
2001) description (i.e. OWL-S (OWL, 2003),
WSMO (Priest and Roman, 2004), etc.) for services
discovery, selection and composition. Some
consortiums, projects (i.e. SWSI, Knowledge Web),
aim at addressing all of the SOA facets. Interesting
results are expected. As far from now, such works
do not address formal description (van der Aalst et
al., 2003) from an architectural point of view (where
architectural ilities and constraints checking and
validation are supported), nor they cover evolution.
REFERENCES
Allen, R. and Garlan, G., 1997. A formal basis for
architectural connection. ACM Transaction on
Software Engineering and Methodology.
Blanc dit Jolicoeur, L., Braesch, C., Dindeleux, R.,
Gaspard, S., Le Berre, D., Leymonerie, F., Montaud,
A., Chaudet, C., Haurat, A., Théroude, F., 2002. Final
Specification of Business Case 1, Scenario and Initial
Requirements. Deliverable D7.1b, ArchWare project.
Estublier, J., Verjus, H., Cunin P.-Y., 2001. Building
Software Federation. Proceedings of the International
Conference on Parallel and Distributed Processing
Techniques and Applications, Las-Vegas, USA.
Verjus, H., Cîmpan, S., Telisson, D., 2002. Formalising
COTS-based federations using software architectural
styles. In Proceedings of the 15th International
Conference Software & Systems Engineering and their
Applications, December 2-5, Paris, France.
Oquendo F., Alloui I., Cîmpan S., Verjus H., 2002. The
ArchWare ADL: Definition of the Abstract Syntax and
Formal Semantics. ArchWare European RTD Project
IST-2001-32360, Deliverable D1.1b, December.
Cimpan S., Verjus H., Oquendo F., 2003. COTS-based
System Design using Software Architectural Styles,
Integrated Design and Process Technology
(IDPT’03), Austin, USA, December, pp. 127-134.
Cimpan S., Verjus H., 2005. Challenges in Architecture
Centred Software Evolution. CHASE Workshop:
Challenges in Software Evolution, Bern, Switzerland.
Oquendo F., Warboys B., Morrison R., Dindeleux R.,
Gallo F., Garavel H., Occhipinti C., 2004. ArchWare:
Architecting Evolvable Software. In proceedings of
the first European Workshop on Software
Architecture, pages 257-271, St Andrews, UK, May.
ArchWare Consortium, 2001. The EU funded ArchWare –
Architecting Evolvable Software - project :
http://www.arch-ware.org
Robin Milner, 1999. Communicating and Mobile Systems:
the pi-calculus. Cambridge University Press.
Morrison R., Balasubramaniam D., Kirby N.C., Mickan
K., Oquendo F., Cimpan S., Warboys B., Snowdon R.,
Greenwood M., 2004. Support for Evolving Software
Architectures in the ArchWare ADL. 4th Working
IEEE/IFIP Int. Conf. on Software Architecture, Oslo,
Norway, June, pp. 69-78
Medvidovic, N. and Taylor, R.N., 2000. A Classification
and Comparison Framework for Software Architecture
Description Languages. IEEE Transactions on
Software Engineering, January.
McIlraith, S., Son, T., and Zeng, H., 2001. Semantic web
services. IEEE Intelligent Systems, 16(2).
van der Aalst, M.P., Dumas, M., ter Hofstede, A.H.M.,
2003. Web Service Composition Languages: Old
Wine in New Bottles? In Proceedings of 29th IEEE
Euromicro Conference, p. 298.
Leymann, F., 2001. Web Services Flow Language (WSFL
1.0).
Curbera, F., Goland, Y., Klein, J., Leyman, F., Roller, D.,
Thatte, S., Weerawarana, S., 2002. Business Process
Execution Language for Web Services (BPEL4WS)
1.0. http//www.ibm.com/developerworks/library/ws-
bpel.
OWL Services Coalition, 2003. OWL-S: Semantic
Markup for Web Services.
http://www.daml.org/services/owl-s/1.0/owl-s.pdf
Priest, C. and Roman, D., 2004. Web Service Modeling
Ontology - Full (WSMO - Full).
http://www.wsmo.org/2004/d12/.
AN ARCHITECTURE-CENTRIC APPROACH FOR MANAGING THE EVOLUTION OF EAI SERVICES-ORIENTED
ARCHITECTURE
241