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

Authors:
Roberto Bruni;Howard Foster;Alberto Lluch Lafuente;Ugo Montanari;Emilio Tuosto
Affiliations:
Department of Computer Science, University of Pisa, Italy;Imperial College London, UK;IMT Institute for Advanced Studies Lucca, Italy;Department of Computer Science, University of Pisa, Italy;Department of Computer Science, University of Leicester, UK
Venue:
Rigorous software engineering for service-oriented systems
Year:
2011

Citing 9
Cited 1

Software architecture: perspectives on an emerging discipline

Software architecture: perspectives on an emerging discipline
Algebraic approaches to graph transformation. Part I: basic concepts and double pushout approach

Handbook of graph grammars and computing by graph transformation
The rewriting logic semantics project

Theoretical Computer Science
Graph-Based Design and Analysis of Dynamic Software Architectures

Concurrency, Graphs and Models
Hierarchical Design Rewriting with Maude

Electronic Notes in Theoretical Computer Science (ENTCS)
A Service-Oriented UML Profile with Formal Support

ICSOC-ServiceWave '09 Proceedings of the 7th International Joint Conference on Service-Oriented Computing
Service oriented architectural design

TGC'07 Proceedings of the 3rd conference on Trustworthy global computing
Modes for software architectures

EWSA'06 Proceedings of the Third European conference on Software Architecture
Synchronised hyperedge replacement as a model for service oriented computing

FMCO'05 Proceedings of the 4th international conference on Formal Methods for Components and Objects

An operational semantics of BPEL orchestrations integrating web services resource framework

WS-FM'11 Proceedings of the 8th international conference on Web Services and Formal Methods

Quantified Score

Hi-index	0.00

Visualization

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.