Run-Time Monitoring of Electronic Contracts

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. 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. The trace semantics of CL formalizes the notion of a trace fulfills a contract. We show how to obtain, for a given contract, an alternating B

• Type: Conference
• Year: 2008
• Where: ATVA
• Authors: Marcel Kyas, Cristian Prisacariu, Gerardo Schneider
• Keywords: ATVA 2008, Contracts, Electronic Inter-organizational Relationships, Hardware, Run-time Monitor