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

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.
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
Pages133-152
ISBN (Print)978-3-642-20400-5
ISBN (Electronic)978-3-642-20401-2
DOIs
Publication statusPublished - 2011
Externally publishedYes
SeriesLecture Notes in Computer Science
Volume6582
ISSN0302-9743

Cite this

Bruni, R., Foster, H., Lluch Lafuente, A., Montanari, U., & Tuosto, E. (2011). 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 (pp. 133-152). Springer Berlin Heidelberg. Lecture Notes in Computer Science, Vol.. 6582 https://doi.org/10.1007/978-3-642-20401-2_7