A Game-Theoretic Model for Distributed Programming by Contract

Anders Starcke Henriksen; Tom Hvitved; Andrzej Filinski

A Game-Theoretic Model for Distributed Programming by Contract

Anders Starcke Henriksen, Tom Hvitved, Andrzej Filinski

Datalogisk Institut

Abstract

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.

Originalsprog	Engelsk
Titel	Workshop on Games, Business Processes and Models of Interaction
Antal sider	12
Vol/bind	P-154
Forlag	Bonner Köllen Verlag
Publikationsdato	2009
Sider	3473-3484
Status	Udgivet - 2009
Begivenhed	Workshop on Games, Business Processes and Models of Interaction - Lübeck, Tyskland Varighed: 28 sep. 2009 → 2 okt. 2009 Konferencens nummer: 39

Konference

Konference	Workshop on Games, Business Processes and Models of Interaction
Nummer	39
Land/Område	Tyskland
By	Lübeck
Periode	28/09/2009 → 02/10/2009

Navn	GI Edition: Lecture Notes in Informatics
Vol/bind	P-154
ISSN	1617-5468

Adgang til dokumentet

http://www.diku.dk/hjemmesider/ansatte/starcke/pdf/hhf09distributedpbc.pdf

Citationsformater

Henriksen, A. S., Hvitved, T., & Filinski, A. (2009). A Game-Theoretic Model for Distributed Programming by Contract. I Workshop on Games, Business Processes and Models of Interaction: We present an extension of the programming-by-contract (PBC) paradigmto a concurrent and distributed environment. Classical PBC is characterized by absoluteconformance of code to its specification, assigning blame in case of failures, anda hierarchical, cooperative decomposition model – none of which extend naturally toa distributed environment with multiple administrative peers. We therefore propose amore nuanced contract model based on quantifiable performance of implementations;assuming responsibility for success, and a fundamentally adversarial model of systemintegration, where each component provider is optimizing its behavior locally, withrespect to potentially conflicting demands. This model gives rise to a game-theoreticformulation of contract-governed process interactions that supports compositional reasoningabout contract conformance (Bind P-154, s. 3473-3484). Bonner Köllen Verlag. GI Edition: Lecture Notes in Informatics Bind P-154 http://www.diku.dk/hjemmesider/ansatte/starcke/pdf/hhf09distributedpbc.pdf

A Game-Theoretic Model for Distributed Programming by Contract. / Henriksen, Anders Starcke; Hvitved, Tom; Filinski, Andrzej.

Workshop on Games, Business Processes and Models of Interaction: We present an extension of the programming-by-contract (PBC) paradigmto a concurrent and distributed environment. Classical PBC is characterized by absoluteconformance of code to its specification, assigning blame in case of failures, anda hierarchical, cooperative decomposition model – none of which extend naturally toa distributed environment with multiple administrative peers. We therefore propose amore nuanced contract model based on quantifiable performance of implementations;assuming responsibility for success, and a fundamentally adversarial model of systemintegration, where each component provider is optimizing its behavior locally, withrespect to potentially conflicting demands. This model gives rise to a game-theoreticformulation of contract-governed process interactions that supports compositional reasoningabout contract conformance. Bind P-154 Bonner Köllen Verlag, 2009. s. 3473-3484 (GI Edition: Lecture Notes in Informatics, Bind P-154).

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

Henriksen, AS, Hvitved, T & Filinski, A 2009, A Game-Theoretic Model for Distributed Programming by Contract. i Workshop on Games, Business Processes and Models of Interaction: We present an extension of the programming-by-contract (PBC) paradigmto a concurrent and distributed environment. Classical PBC is characterized by absoluteconformance of code to its specification, assigning blame in case of failures, anda hierarchical, cooperative decomposition model – none of which extend naturally toa distributed environment with multiple administrative peers. We therefore propose amore nuanced contract model based on quantifiable performance of implementations;assuming responsibility for success, and a fundamentally adversarial model of systemintegration, where each component provider is optimizing its behavior locally, withrespect to potentially conflicting demands. This model gives rise to a game-theoreticformulation of contract-governed process interactions that supports compositional reasoningabout contract conformance. bind P-154, Bonner Köllen Verlag, GI Edition: Lecture Notes in Informatics, bind P-154, s. 3473-3484, Workshop on Games, Business Processes and Models of Interaction, Lübeck, Tyskland, 28/09/2009. <http://www.diku.dk/hjemmesider/ansatte/starcke/pdf/hhf09distributedpbc.pdf>

Henriksen AS, Hvitved T, Filinski A. A Game-Theoretic Model for Distributed Programming by Contract. I Workshop on Games, Business Processes and Models of Interaction: We present an extension of the programming-by-contract (PBC) paradigmto a concurrent and distributed environment. Classical PBC is characterized by absoluteconformance of code to its specification, assigning blame in case of failures, anda hierarchical, cooperative decomposition model – none of which extend naturally toa distributed environment with multiple administrative peers. We therefore propose amore nuanced contract model based on quantifiable performance of implementations;assuming responsibility for success, and a fundamentally adversarial model of systemintegration, where each component provider is optimizing its behavior locally, withrespect to potentially conflicting demands. This model gives rise to a game-theoreticformulation of contract-governed process interactions that supports compositional reasoningabout contract conformance. Bind P-154. Bonner Köllen Verlag. 2009. s. 3473-3484. (GI Edition: Lecture Notes in Informatics, Bind P-154).

Henriksen, Anders Starcke ; Hvitved, Tom ; Filinski, Andrzej. / A Game-Theoretic Model for Distributed Programming by Contract. Workshop on Games, Business Processes and Models of Interaction: We present an extension of the programming-by-contract (PBC) paradigmto a concurrent and distributed environment. Classical PBC is characterized by absoluteconformance of code to its specification, assigning blame in case of failures, anda hierarchical, cooperative decomposition model – none of which extend naturally toa distributed environment with multiple administrative peers. We therefore propose amore nuanced contract model based on quantifiable performance of implementations;assuming responsibility for success, and a fundamentally adversarial model of systemintegration, where each component provider is optimizing its behavior locally, withrespect to potentially conflicting demands. This model gives rise to a game-theoreticformulation of contract-governed process interactions that supports compositional reasoningabout contract conformance. Bind P-154 Bonner Köllen Verlag, 2009. s. 3473-3484 (GI Edition: Lecture Notes in Informatics, Bind P-154).

@inproceedings{d3d8e320af2911debc73000ea68e967b,

title = "A Game-Theoretic Model for Distributed Programming by Contract",

abstract = "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.",

author = "Henriksen, {Anders Starcke} and Tom Hvitved and Andrzej Filinski",

note = "Abstract findes p{\aa} side 448. Selve artiklen ligger p{\aa} CD-Rom; Workshop on Games, Business Processes and Models of Interaction ; Conference date: 28-09-2009 Through 02-10-2009",

year = "2009",

language = "English",

volume = "P-154",

series = "GI Edition: Lecture Notes in Informatics",

publisher = "Bonner K{\"o}llen Verlag",

pages = "3473--3484",

booktitle = "Workshop on Games, Business Processes and Models of Interaction",

}

TY - GEN

T1 - A Game-Theoretic Model for Distributed Programming by Contract

AU - Henriksen, Anders Starcke

AU - Hvitved, Tom

AU - Filinski, Andrzej

N1 - Conference code: 39

PY - 2009

Y1 - 2009

N2 - 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.

AB - 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.

M3 - Article in proceedings

VL - P-154

T3 - GI Edition: Lecture Notes in Informatics

SP - 3473

EP - 3484

BT - Workshop on Games, Business Processes and Models of Interaction

PB - Bonner Köllen Verlag

T2 - Workshop on Games, Business Processes and Models of Interaction

Y2 - 28 September 2009 through 2 October 2009

ER -

A Game-Theoretic Model for Distributed Programming by Contract

Abstract

Konference

Adgang til dokumentet

Fingeraftryk

Citationsformater