Standard
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. Vol. P-154 Bonner Köllen Verlag, 2009. p. 3473-3484 (GI Edition: Lecture Notes in Informatics, Vol. P-154).
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Harvard
Henriksen, AS, Hvitved, T
& Filinski, A 2009,
A Game-Theoretic Model for Distributed Programming by Contract. in
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. vol. P-154, Bonner Köllen Verlag, GI Edition: Lecture Notes in Informatics, vol. P-154, pp. 3473-3484, Workshop on Games, Business Processes and Models of Interaction, Lübeck, Germany,
28/09/2009. <
https://www.diku.dk/hjemmesider/ansatte/starcke/pdf/hhf09distributedpbc.pdf>
APA
Henriksen, A. S., Hvitved, T.
, & Filinski, A. (2009).
A Game-Theoretic Model for Distributed Programming by Contract. In
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 (Vol. P-154, pp. 3473-3484). Bonner Köllen Verlag. GI Edition: Lecture Notes in Informatics Vol. P-154
https://www.diku.dk/hjemmesider/ansatte/starcke/pdf/hhf09distributedpbc.pdfVancouver
Henriksen AS, Hvitved T, Filinski A. A Game-Theoretic Model for Distributed Programming by Contract. In 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. Vol. P-154. Bonner Köllen Verlag. 2009. p. 3473-3484. (GI Edition: Lecture Notes in Informatics, Vol. P-154).
Author
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. Vol. P-154 Bonner Köllen Verlag, 2009. pp. 3473-3484 (GI Edition: Lecture Notes in Informatics, Vol. P-154).
Bibtex
@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; null ; 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",
}
RIS
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
Y2 - 28 September 2009 through 2 October 2009
ER -
