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

Roberto Bruni, Howard Foster, Alberto Lluch Lafuente, Ugo Montanari, Emilio Tuosto

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review


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.
Original languageEnglish
Title of host publicationRigorous Software Engineering for Service-Oriented Systems : Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing
PublisherSpringer Berlin Heidelberg
Publication date2011
ISBN (Print)978-3-642-20400-5
ISBN (Electronic)978-3-642-20401-2
Publication statusPublished - 2011
Externally publishedYes
SeriesLecture Notes in Computer Science


Dive into the research topics of 'A formal support to business and architectural design for service-oriented systems'. Together they form a unique fingerprint.

Cite this