@inbook{70b417c7726f4c929da598eb02d2cdb8,
title = "A formal support to business and architectural design for service-oriented systems",
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.",
author = "Roberto Bruni and Howard Foster and \{Lluch Lafuente\}, Alberto and Ugo Montanari and Emilio Tuosto",
year = "2011",
doi = "10.1007/978-3-642-20401-2\_7",
language = "English",
isbn = "978-3-642-20400-5",
series = "Lecture Notes in Computer Science",
publisher = "Springer Berlin Heidelberg",
pages = "133--152",
booktitle = "Rigorous Software Engineering for Service-Oriented Systems",
}