A Game-Theoretic Model for Distributed Programming by Contract

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

We present an extension of the programming-by-contract (PBC) paradigm to a concurrent and distributed environment.  Classical PBC is characterized by absolute conformance of code to its specification, assigning blame in case of failures, and a hierarchical, cooperative decomposition model – none of which extend naturally to a distributed environment with multiple administrative peers. We therefore propose a more nuanced contract model based on quantifiable performance of implementations; assuming responsibility for success; and a fundamentally adversarial model of system integration, where each component provider is optimizing its behavior locally, with respect to potentially conflicting demands.  This model gives rise to a game-theoretic formulation of contract-governed process interactions that supports compositional reasoning about contract conformance.
Original languageEnglish
Title of host publicationWorkshop on Games, Business Processes and Models of Interaction
Number of pages12
VolumeP-154
PublisherBonner Köllen Verlag
Publication date2009
Pages3473-3484
Publication statusPublished - 2009
EventWorkshop on Games, Business Processes and Models of Interaction - Lübeck, Germany
Duration: 28 Sep 20092 Oct 2009
Conference number: 39

Conference

ConferenceWorkshop on Games, Business Processes and Models of Interaction
Nummer39
LandGermany
ByLübeck
Periode28/09/200902/10/2009
SeriesGI Edition: Lecture Notes in Informatics
VolumeP-154
ISSN1617-5468

ID: 14879713