Contract Based Multi-party Service Composition
From MaRDI portal
Publication:3508527
DOI10.1007/978-3-540-75698-9_14zbMath1141.68502MaRDI QIDQ3508527
Gianluigi Zavattaro, Mario Bravetti
Publication date: 1 July 2008
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-75698-9_14
68M10: Network design and communication in computer systems
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
A Relative Timed Semantics for BPMN, Sub-behaviour relations for session-based client/server systems, Contracts as games on event structures, Formalisations and applications of BPMN, Property specifications for workflow modelling, Relating fair testing and accordance for service replaceability, Process calculi as a tool for studying coordination, contracts and session types, A fixed-points based framework for compliance of behavioural contracts, Contracts for cross-organizational workflows as timed dynamic condition response graphs, On projecting processes into session types, Contracts for Mobile Processes, Compliance in Behavioural Contracts: A Brief Survey, Deciding Substitutability of Services with Operating Guidelines, A theory of contracts for strong service compliance