%S Lecture Notes in Computer Science
%A Roberto Bruni
%A Howard Foster
%A Alberto Lluch-Lafuente
%A Ugo Montanari
%A Emilio Tuosto
%E Martin Wirsing
%E Matthias M. H?lzl
%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. 
%L eprints863
%D 2011
%B Rigorous software engineering for service-oriented systems: results of the SENSORIA project on software engineering for service-oriented computing
%N 6582
%R 10.1007/978-3-642-20401-2_7
%T A formal support to business and architectural design for service-oriented systems 
%P 133-152
%I Springer-Verlag