Dealing with contract violations: formalism and domain specific language

被引：26

作者：

Governatori, G ^{[1
]}

Milosevic, Z ^{[1
]}

机构：

[1] Univ Queensland, Sch Informat Technol & Elect Engn, Brisbane, Qld 4072, Australia

来源：

Ninth IEEE International EDOC Enterprise Computing Conference, Proceedings | 2005年

关键词：

D O I：

10.1109/EDOC.2005.13

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

This paper presents a formal system for reasoning about violations of obligations in contracts. The system is based on the formalism for the representation of contrary-to-duty obligations. These are the obligations that take place when other obligations are violated as typically applied to penalties in contracts. The paper shows how this formalism can be mapped onto the key policy concepts of a contract specification language. This language, called Business Contract Language (BCL) was previously developed to express contract conditions of relevance for run time contract monitoring. The aim of this mapping is to establish a formal underpinning for this key subset of BCL.

引用

页码：46 / 57

页数：12

共 18 条

[1] BERRY A, 2005, INT J COOPERATIVE IN, V14
[2] Carmo J., 2002, HDB PHILOS LOGIC, P265, DOI DOI 10.1007/978-94-010-0387-2_4
[3] Farrell ADH, 2004, FIRST IEEE INTERNATIONAL WORKSHOP ON ELECTRONIC CONTRACTING, PROCEEDINGS, P17
[4] Normative autonomy and normative co-ordination: Declarative power, representation, and mandate
Jonathan Gelati
Antonino Rotolo
Giovanni Sartor
Guido Governatori
[J]. Artificial Intelligence and Law, 2004, 12 (1-2) : 53 - 81
[5] Representing business contracts in ruleML
Governatori, G
[J]. INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS, 2005, 14 (2-3) : 181 - 216
[6] GOVERNATORI G, 2002, DELTAEON 02, P97
[7] GROSOF BN, 2003, 1I WWW, P340
[8] Herrestad H., 1995, Fifth International Conference on Artificial Intelligence and Law. Proceedings of the Conference, P210, DOI 10.1145/222092.222243
[9] *ISO IEC, 2002, IS15415 ISOIEC
[10] *ISO IEC, 107461 ISOIEC

← 1 2 →