Contract Based Multi-party Service Composition

DOI10.1007/978-3-540-75698-9_14zbMath1141.68502OpenAlexW4247054682MaRDI 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

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (14)

On projecting processes into session types ⋮ Contracts as games on event structures ⋮ Compliance in Behavioural Contracts: A Brief Survey ⋮ Contracts for Mobile Processes ⋮ Contracts for cross-organizational workflows as timed dynamic condition response graphs ⋮ Process calculi as a tool for studying coordination, contracts and session types ⋮ Formalisations and applications of BPMN ⋮ Sub-behaviour relations for session-based client/server systems ⋮ Property specifications for workflow modelling ⋮ Relating fair testing and accordance for service replaceability ⋮ A Relative Timed Semantics for BPMN ⋮ A fixed-points based framework for compliance of behavioural contracts ⋮ Deciding Substitutability of Services with Operating Guidelines ⋮ A theory of contracts for strong service compliance

This page was built for publication: Contract Based Multi-party Service Composition