Contract representation for run-time monitoring and enforcement
- 15 October 2003
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
Converting a conventional contract into an electronic equivalent that can be executed and enforced by computers is a challenging task. The difficulties are caused by the ambiguities that the original human- oriented text is likely to contain. The conversion process involves the conversion of the original text into mathematical notation. This paper discusses how standard conventional contracts can be described by means of Finite State Machines (FSMs). This mathematical description helps eliminate ambiguities from the original text before the contract is coded into a computer program. The paper describes how to map the rights and obligations extracted from the clauses of the contract into the states, transition and output functions, and input and output symbols of a FSM. The FSM representation can be used to guarantee that the clauses stipulated in the contract are observed when the contract is executed. The paper describes the middleware required for the enactment of the contract represented as a FSM.Keywords
This publication has 8 references indexed in Scilit:
- Policies in accountable contractsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Distributed object middleware to support dependable information sharing between organisationsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Towards formal modeling of e-contractsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Proposed NIST standard for role-based access controlACM Transactions on Information and System Security, 2001
- Modelling legal contracts as processesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2001
- The Ponder Policy Specification LanguagePublished by Springer Nature ,2001
- Law-governed interactionACM Transactions on Software Engineering and Methodology, 2000
- A CORBA Compliant Transactional Workflow System for Internet ApplicationsPublished by Springer Nature ,1998