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.
|Title of host publication||Rigorous Software Engineering for Service-Oriented Systems : Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing|
|Publisher||Springer Berlin Heidelberg|
|Publication status||Published - 2011|
|Series||Lecture Notes in Computer Science|
Bruni, R., Foster, H., Lluch Lafuente, A., Montanari, U., & Tuosto, E. (2011). A formal support to business and architectural design for service-oriented systems. In Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing (pp. 133-152). Springer Berlin Heidelberg. Lecture Notes in Computer Science, Vol.. 6582 https://doi.org/10.1007/978-3-642-20401-2_7