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|