Contract-Driven Implementation of Choreographies

Authors:
Mario Bravetti;Ivan Lanese;Gianluigi Zavattaro
Affiliations:
Department of Computer Science, University of Bologna, Italy;Department of Computer Science, University of Bologna, Italy;Department of Computer Science, University of Bologna, Italy
Venue:
Trustworthy Global Computing
Year:
2009

Citing 8
Cited 7

Communicating sequential processes

Communicating sequential processes
Communication and Concurrency

Communication and Concurrency
Fair testing

Information and Computation
Bridging the Gap between Interaction- and Process-Oriented Choreographies

SEFM '08 Proceedings of the 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods
A Foundational Theory of Contracts for Multi-party Service Composition

Fundamenta Informaticae - Fundamentals of Software Engineering 2007: Selected Contributions
A theory for strong service compliance

COORDINATION'07 Proceedings of the 9th international conference on Coordination models and languages
Contract based multi-party service composition

FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
Towards a unifying theory for choreography conformance and contract compliance

SC'07 Proceedings of the 6th international conference on Software composition

Secure Service Composition with Symbolic Effects

SEEFM '09 Proceedings of the 2009 Fourth South-East European Workshop on Formal Methods
Conversation types

Theoretical Computer Science
Modular plans for secure service composition

ARSPA-WITS'10 Proceedings of the 2010 joint conference on Automated reasoning for security protocol analysis and issues in the theory of security
Secure service orchestration in open networks

Journal of Systems Architecture: the EUROMICRO Journal
On global types and multi-party sessions

FMOODS'11/FORTE'11 Proceedings of the joint 13th IFIP WG 6.1 and 30th IFIP WG 6.1 international conference on Formal techniques for distributed systems
Synthesising choreographies from local session types

CONCUR'12 Proceedings of the 23rd international conference on Concurrency Theory
Modular plans for secure service composition

Journal of Computer Security - ARSPA-WITS'10

Quantified Score

Hi-index	0.00

Visualization

Abstract

Choreographies and Contracts are important concepts in Service Oriented Computing. Choreographies are the description of the behaviour of a service system from a global point of view, while contracts are the description of the externally observable message-passing behaviour of a given service. Exploiting some of our previous results about choreography projection and contract refinement, we show how to solve the problem of implementing a choreography via the composition of already available services that are retrieved according to their contracts.