A Game-Theoretic Model for Distributed Programming by Contract

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

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.
OriginalsprogEngelsk
TitelWorkshop on Games, Business Processes and Models of Interaction
Antal sider12
Vol/bindP-154
ForlagBonner Köllen Verlag
Publikationsdato2009
Sider3473-3484
StatusUdgivet - 2009
BegivenhedWorkshop on Games, Business Processes and Models of Interaction - Lübeck, Tyskland
Varighed: 28 sep. 20092 okt. 2009
Konferencens nummer: 39

Konference

KonferenceWorkshop on Games, Business Processes and Models of Interaction
Nummer39
LandTyskland
ByLübeck
Periode28/09/200902/10/2009
NavnGI Edition: Lecture Notes in Informatics
Vol/bindP-154
ISSN1617-5468

Bibliografisk note

Abstract findes på side 448. Selve artiklen ligger på CD-Rom

ID: 14879713