@incollection{eprints863, pages = {133--152}, author = {Roberto Bruni and Howard Foster and Alberto Lluch-Lafuente and Ugo Montanari and Emilio Tuosto}, number = {6582}, title = {A formal support to business and architectural design for service-oriented systems }, publisher = {Springer-Verlag}, editor = {Martin Wirsing and Matthias M. H{\"o}lzl}, booktitle = {Rigorous software engineering for service-oriented systems: results of the SENSORIA project on software engineering for service-oriented computing}, year = {2011}, series = {Lecture Notes in Computer Science}, abstract = {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. }, url = {http://eprints.imtlucca.it/863/} }