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