TY  - CHAP
ED  - Wirsing, Martin
ED  - Hölzl, Matthias M.
SP  - 133
ID  - eprints863
SN  - 978-3-642-20400-5
PB  - Springer-Verlag
Y1  - 2011///
T2  - Rigorous software engineering for service-oriented systems: results of the SENSORIA project on software engineering for service-oriented computing
AV  - public
A1  - Bruni, Roberto
A1  - Foster, Howard
A1  - Lluch-Lafuente, Alberto
A1  - Montanari, Ugo
A1  - Tuosto, Emilio
EP  - 152
N2  - 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. 
T3  - Lecture Notes in Computer Science
TI  - A formal support to business and architectural design for service-oriented systems 
UR  - http://dx.doi.org/10.1007/978-3-642-20401-2_7
ER  -