relation: http://eprints.imtlucca.it/156/ title: Service Oriented Architectural Design creator: Bruni, Roberto creator: Lluch-Lafuente, Alberto creator: Montanari, Ugo creator: Tuosto, Emilio subject: QA75 Electronic computers. Computer science description: 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. publisher: Springer contributor: Barthe, Gilles contributor: Fournet, Cédric date: 2008 type: Book Section type: PeerReviewed identifier: Bruni, Roberto and Lluch-Lafuente, Alberto and Montanari, Ugo and Tuosto, Emilio Service Oriented Architectural Design. In: Trustworthy Global Computing (TGC '07). Lecture Notes in Computer Science, 4912 . Springer, pp. 186-203. ISBN 978-3-540-78662-7 (2008) relation: http://dx.doi.org/10.1007/978-3-540-78663-4_14 relation: 10.1007/978-3-540-78663-4_14