Run-time monitoring of electronic contracts
In: http://cosodis.project.ifi.uio.no/publications/atva08.pdf, 2008
Online
academicJournal
Zugriff:
Electronic inter-organizational relationships are governed by contracts regulating their interaction. It is necessary to run-time monitor the contracts, as to guarantee their fulfillment as well as the enforcement of penalties in case of vi-olations. The present work shows how to obtain a run-time monitor for contracts written in CL, a formal specification language which allows to write conditional obligations, permissions and prohibitions over actions. We first give a trace se-mantics for CLwhich formalizes the notion of a trace fulfills a contract. We show how to obtain, for a given contract, an alternating Büchi automaton which accepts exactly the traces that fulfill the contract. This automaton is the basis for obtaining a finite state machine which acts as a run-time monitor for CL contracts. 1
Titel: |
Run-time monitoring of electronic contracts
|
---|---|
Autor/in / Beteiligte Person: | Kyas, Marcel ; Prisacariu, Cristian ; Schneider, Gerardo ; The Pennsylvania State University CiteSeerX Archives |
Link: | |
Zeitschrift: | http://cosodis.project.ifi.uio.no/publications/atva08.pdf, 2008 |
Veröffentlichung: | Springer-Verlag, 2008 |
Medientyp: | academicJournal |
Sonstiges: |
|