%0 Book Section
%A Bruni, Roberto
%A Foster, Howard
%A Lluch-Lafuente, Alberto
%A Montanari, Ugo
%A Tuosto, Emilio
%B Rigorous software engineering for service-oriented systems: results of the SENSORIA project on software engineering for service-oriented computing
%D 2011
%E Wirsing, Martin
%E Hölzl, Matthias M.
%F eprints:863
%I Springer-Verlag
%N 6582
%P 133-152
%S Lecture Notes in Computer Science
%T A formal support to business and architectural design for service-oriented systems 
%U http://eprints.imtlucca.it/863/
%X Architectural Design Rewriting (ADR) is an approach for the design of software architectures developed within Sensoria by reconciling graph transformation and process calculi techniques. The key feature that makes ADR a suitable and expressive framework is the algebraic handling of structured graphs, which improves the support for specification, analysis and verification of service-oriented architectures and applications. We show how ADR is used as a formal ground for high-level modelling languages and approaches developed within Sensoria.