Behavioural contracts with request-response operations

DOI10.1016/j.scico.2011.10.007zbMath1264.68117OpenAlexW2012814857MaRDI QIDQ1951636

Gianluigi Zavattaro, Lucia Acciai, Michele Boreale

Publication date: 6 June 2013

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2011.10.007

zbMATH Keywords

expressivenessservice-oriented computingbehavioural contractsclient-service compliance

Mathematics Subject Classification ID

Theory of programming languages (68N15) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (3)

A fixed-points based framework for compliance of behavioural contracts ⋮ Automata for Analysing Service Contracts ⋮ Unnamed Item

This page was built for publication: Behavioural contracts with request-response operations