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)

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

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)