A foundational theory of contracts for multi-party service composition

MaRDI QIDQ3601412zbMATH OpenFDO

Authors Mario Bravetti, Gianluigi Zavattaro

Publication date 10 February 2009

Mathematics Subject Classification ID

Distributed systems (68M14) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Contract Based Multi-party Service Composition
• A theory of contracts for strong service compliance
• A theory of contracts for web services
• Behavioural contracts with request-response operations
• Automata for analysing service contracts

Cited in

(19)

• Process calculi as a tool for studying coordination, contracts and session types
• Trace- and failure-based semantics for responsiveness
• Preserving Contract Satisfiability Under Non-monotonic Composition
• A theory of contracts for web services
• An interface theory for service-oriented design
• An algebraic theory for web service contracts
• Conditions of contracts for separating responsibilities in heterogeneous systems
• Event based choreography
• Fair refinement for asynchronous session types
• A contract language for service-oriented dynamic collaborations
• A theory of contracts for strong service compliance
• Automata for analysing service contracts
• On the potential advantages of exploiting behavioural information for contract-based service discovery and composition
• Conversation types
• Fair asynchronous session subtyping
• Behavioural contracts with request-response operations
• Multiparty testing preorders
• Contract Based Multi-party Service Composition
• The Must Preorder Revisited

Describes a project that uses

Uses Software

• SYNTHESIS

This page was built for publication: A foundational theory of contracts for multi-party service composition

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3601412)