A Game-Theoretic Model for Distributed Programming by Contract
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-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 language | English |
---|---|
Title of host publication | Workshop on Games, Business Processes and Models of Interaction |
Number of pages | 12 |
Volume | P-154 |
Publisher | Bonner Köllen Verlag |
Publication date | 2009 |
Pages | 3473-3484 |
Publication status | Published - 2009 |
Event | Workshop on Games, Business Processes and Models of Interaction - Lübeck, Germany Duration: 28 Sep 2009 → 2 Oct 2009 Conference number: 39 |
Conference
Conference | Workshop on Games, Business Processes and Models of Interaction |
---|---|
Nummer | 39 |
Land | Germany |
By | Lübeck |
Periode | 28/09/2009 → 02/10/2009 |
Series | GI Edition: Lecture Notes in Informatics |
---|---|
Volume | P-154 |
ISSN | 1617-5468 |
ID: 14879713