relation: http://eprints.imtlucca.it/863/
title: A formal support to business and architectural design for service-oriented systems 
creator: Bruni, Roberto
creator: Foster, Howard
creator: Lluch-Lafuente, Alberto
creator: Montanari, Ugo
creator: Tuosto, Emilio
subject: QA75 Electronic computers. Computer science
description: 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. 
publisher: Springer-Verlag
contributor: Wirsing, Martin
contributor: Hölzl, Matthias M.
date: 2011
type: Book Section
type: PeerReviewed
format: application/pdf
language: en
identifier: http://eprints.imtlucca.it/863/1/Bruni_Foster_Lluch-Lafuente_et_al_2011.pdf
identifier:   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.   In:  Rigorous software engineering for service-oriented systems: results of the SENSORIA project on software engineering for service-oriented computing.   Lecture Notes in Computer Science  (6582).  Springer-Verlag, pp. 133-152.  ISBN 978-3-642-20400-5      (2011)  
relation: http://dx.doi.org/10.1007/978-3-642-20401-2_7
relation: 10.1007/978-3-642-20401-2_7