Bruni, Roberto and Foster, Howard and Lluch-Lafuente, Alberto and Montanari, Ugo and Tuosto, Emilio
A formal support to business and architectural design for service-oriented systems.
Rigorous software engineering for service-oriented systems: results of the SENSORIA project on software engineering for service-oriented computing.
Lecture Notes in Computer Science
Springer-Verlag, pp. 133-152.
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.
Actions (login required)