A foundational theory of contracts for multi-party service composition

zbMATH Open1154.68336MaRDI QIDQ3601412FDOQ3601412

Authors: Mario Bravetti, Gianluigi Zavattaro 

Publication date: 10 February 2009

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

Mathematics Subject Classification ID

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

Cited In (19)

• Process calculi as a tool for studying coordination, contracts and session types
• Preserving Contract Satisfiability Under Non-monotonic Composition
• Trace- and failure-based semantics for responsiveness
• 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
• Fair refinement for asynchronous session types
• Event based choreography
• 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
• Multiparty testing preorders
• Behavioural contracts with request-response operations
• Contract Based Multi-party Service Composition
• The Must Preorder Revisited

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)