A formal support to business and architectural design for service-oriented systems

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)

Preview

PDF - Draft Version Download (536kB) | Preview

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.

Item Type:	Book Section
Identification Number:	https://doi.org/10.1007/978-3-642-20401-2_7
Subjects:	Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Research Area:	Computer Science and Applications
Depositing User:	Users 30 not found.
Date Deposited:	13 Sep 2011 09:52
Last Modified:	27 Sep 2011 11:09
URI:	http://eprints.imtlucca.it/id/eprint/863

Actions (login required)

Edit Item