Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

11

ATVA
2008
Springer

favoriteEmaildiscussreport

101views Hardware» more ATVA 2008»

Run-Time Monitoring of Electronic Contracts

13 years 6 months ago

Run-Time Monitoring of Electronic Contracts

Download folk.uio.no

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

Marcel Kyas, Cristian Prisacariu, Gerardo Schneide

Real-time Traffic

ATVA 2008 | Contracts | Electronic Inter-organizational Relationships | Hardware | Run-time Monitor |

claim paper

Related Content

» Towards Open Electronic Contracting

» Proactive Monitoring of Electronic Contracts

» Towards a Monitoring Framework for AgentBased Contract Systems

» Discretionary Enforcement of Electronic Contracts

» Contract Representation for Runtime Monitoring and Enforcement

» Towards an Institutional Environment Using Norms for Contract Performance

» Contract Performance Assessment for Secure and Dynamic Virtual Collaborations

» CallOrdering Constraints

» A framework for monitoring agentbased normative systems

Post Info
More Details (n/a)

Added	12 Oct 2010
Updated	12 Oct 2010
Type	Conference
Year	2008
Where	ATVA
Authors	Marcel Kyas, Cristian Prisacariu, Gerardo Schneider

Comments (0)