eprintid: 863
rev_number: 10
eprint_status: archive
userid: 30
dir: disk0/00/00/08/63
datestamp: 2011-09-13 09:52:21
lastmod: 2011-09-27 11:09:23
status_changed: 2011-09-13 09:52:21
type: book_section
metadata_visibility: show
item_issues_count: 0
creators_name: Bruni, Roberto
creators_name: Foster, Howard
creators_name: Lluch-Lafuente, Alberto
creators_name: Montanari, Ugo
creators_name: Tuosto, Emilio
creators_id: 
creators_id: 
creators_id: alberto.lluch@imtlucca.it
creators_id: 
creators_id: 
title: A formal support to business and architectural design for service-oriented systems 
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: public
abstract: 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. 
date: 2011
date_type: published
series: Lecture Notes in Computer Science
number: 6582
publisher: Springer-Verlag
pagerange: 133-152
id_number: 10.1007/978-3-642-20401-2_7
refereed: TRUE
isbn: 978-3-642-20400-5
book_title: Rigorous software engineering for service-oriented systems: results of the SENSORIA project on software engineering for service-oriented computing
editors_name: Wirsing, Martin
editors_name: Hölzl, Matthias M.
official_url: http://dx.doi.org/10.1007/978-3-642-20401-2_7
citation:   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)  
document_url: http://eprints.imtlucca.it/863/1/Bruni_Foster_Lluch-Lafuente_et_al_2011.pdf