%R 10.1007/978-3-540-78663-4_14
%S Lecture Notes in Computer Science
%D 2008
%V 4912
%O The original publication is available at www.springerlink.com
%I Springer
%P 186-203
%T Service Oriented Architectural Design
%E Gilles Barthe
%E C?dric Fournet
%B Trustworthy Global Computing (TGC '07)
%X We propose Architectural Design Rewriting (ADR), an approach to formalise the development and reconfiguration of software architectures based on term-rewriting. An architectural style consists of a set of architectural elements and operations called productions which define the well-formed compositions of architectures. Roughly, a term built out of such ingredients constitutes the proof that a design was constructed according to the style, and the value of the term is the constructed software architecture. A main advantage of ADR is that it naturally supports style-preserving reconfigurations. The usefulness of our approach is shown by applying ADR to SRML, an emergent paradigm inspired by the Service Component Architecture. We model the complex operation that composes several SRML modules in a single one by means of suitable rewrite rules. Our approach guarantees that the resulting module respects SRML?s metamodel.
%L eprints156
%A Roberto Bruni
%A Alberto Lluch-Lafuente
%A Ugo Montanari
%A Emilio Tuosto