TY  - CHAP
T2  - Trustworthy Global Computing (TGC '07)
PB  - Springer
EP  - 203
ID  - eprints156
N2  - 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.
ED  - Barthe, Gilles
ED  - Fournet, Cédric
SN  - 978-3-540-78662-7
Y1  - 2008///
M1  - 4912
UR  - http://dx.doi.org/10.1007/978-3-540-78663-4_14
A1  - Bruni, Roberto
A1  - Lluch-Lafuente, Alberto
A1  - Montanari, Ugo
A1  - Tuosto, Emilio
T3  - Lecture Notes in Computer Science
SP  - 186
TI  - Service Oriented Architectural Design
AV  - none
N1  - The original publication is available at www.springerlink.com
ER  -