Logo des Repositoriums

Auflistung nach Autor:in "Filinski, Andrzej"

1 - 1 von 1
  • Konferenzbeitrag
    A game-theoretic model for distributed programming by contract
    (Informatik 2009 – Im Focus das Leben, 2009) Starcke Henriksen, Anders; Hvitved, Tom; Filinski, Andrzej
    We present an extension of the programming-by-contract (PBC) paradigm to a concurrent and distributed environment. Classical PBC is characterized by abso- lute 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.