Published in
Springer Verlag, Lecture Notes in Computer Science, p. 156-171
DOI: 10.1007/978-3-642-00443-8_11
Links
- ORCID
- ORCID
- Springer Verlag
- [kclpure.kcl.ac.uk] | PDF
- [www.researchgate.net] | PDF
- [citeseerx.ist.psu.edu] | PDF
- [citeseerx.ist.psu.edu] | PDF
- [citeseerx.ist.psu.edu] | PDF
- [calcium.dcs.kcl.ac.uk] | PDF
- [www.dcs.kcl.ac.uk] | PDF
- [kclpure.kcl.ac.uk] | PDF
Tools
Towards a Formalisation of Electronic Contracting Environments
,
Simon Miles
Full text: Download
Abstract
The IST-CONTRACT project is in the process of creat- ing an electronic contracting language. One of the goals of this language is that it has formal underpinnings, and formalizations at a number of levels have been created. One of the lowest levels, upon which the other levels are built is the normative level. At this level, we identify how contract clauses (modeled as norms) may evolve over time. In this paper, we describe this formalization, and show how we may associate various states with a norm throughout its lifecycle. We also show how more complex evaluations may be carried out over a norm, and conclude with an example showing the applica- tion of the framework over a contract and its associated norms.