Specifying and Composing Interaction Protocols for Service-Oriented System Modelling

Authors:
João Abreu;Laura Bocchi;José Luiz Fiadeiro;Antónia Lopes
Affiliations:
Department of Computer Science, University of Leicester University Road, Leicester LE1 7RH, UK;Department of Computer Science, University of Leicester University Road, Leicester LE1 7RH, UK;Department of Computer Science, University of Leicester University Road, Leicester LE1 7RH, UK;Department of Informatics, Faculty of Sciences, University of Lisbon Campo Grande, 1749-016 Lisboa, Portugal
Venue:
FORTE '07 Proceedings of the 27th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Year:
2007

Citing 7
Cited 9

Institutions: abstract model theory for specification and programming

Journal of the ACM (JACM)
Categories for Software Engineering

Categories for Software Engineering
The Grid 2: Blueprint for a New Computing Infrastructure

The Grid 2: Blueprint for a New Computing Infrastructure
Designing for Software's Social Complexity

Computer
Algebraic semantics of service component modules

WADT'06 Proceedings of the 18th international conference on Recent trends in algebraic development techniques
Structured co-spans: an algebra of interaction protocols

CALCO'07 Proceedings of the 2nd international conference on Algebra and coalgebra in computer science
A formal approach to service component architecture

WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods

What Do Semantics Matter When the Meat Is Overcooked?

Concurrency, Graphs and Models
Can Component/Service-Based Systems Be Proved Correct?

SOFSEM '09 Proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science
A Model-Checking Approach for Service Component Architectures

FMOODS '09/FORTE '09 Proceedings of the Joint 11th IFIP WG 6.1 International Conference FMOODS '09 and 29th IFIP WG 6.1 International Conference FORTE '09 on Formal Techniques for Distributed Systems
A model for dynamic reconfiguration in service-oriented architectures

ECSA'10 Proceedings of the 4th European conference on Software architecture
The SENSORIA reference modelling language

Rigorous software engineering for service-oriented systems
SENSORIA results applied to the case studies

Rigorous software engineering for service-oriented systems
A formal model for service-oriented interactions

Science of Computer Programming
A logical verification methodology for service-oriented computing

ACM Transactions on Software Engineering and Methodology (TOSEM)
An interface theory for service-oriented design

Theoretical Computer Science

Quantified Score

Hi-index	0.01

Visualization

Abstract

We present and discuss a formal, high-level approach to the specification and composition of interaction protocols for service-oriented systems. This work is being developed within the SENSORIA project as part of a language and formal framework supporting the modelling of complex services at the business level, i.e. independent of the underlying platform and the languages in which services are programmed and deployed. Our approach is based on a novel language and logic of interactions, and a mathematical semantics of composition based on graphs. We illustrate our approach using a case study provided by Telecom Italia, one of our industrial partners in the project.