Andrzej Filinski
Lektor
ORCID: 0000-0002-9174-1861
1 - 1 ud af 1Pr. side: 10
- 2009
- Udgivet
A Game-Theoretic Model for Distributed Programming by Contract
Henriksen, A. S., Hvitved, T. & Filinski, Andrzej, 2009, 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. Bonner Köllen Verlag, Bind P-154. s. 3473-3484 12 s. (GI Edition: Lecture Notes in Informatics, Bind P-154).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
ID: 9314