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

共 50 条

[41] A domain specific language for spatial simulation scenarios
de Sousa, Luis Moreira
da Silva, Alberto Rodrigues
GEOINFORMATICA, 2016, 20 (01) : 117 - 149
[42] A Domain-Specific Language for Coordinating Collaboration
Mayr-Dorn, Christoph
Laaber, Christoph
2017 43RD EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA), 2017, : 57 - 60
[43] CGL: A Domain Specific Language For Constraint Generation
Elmenyawi, Marwa A.
Ibrahim, Mostafa E. A.
Salama, Cherif
Hafez, I. M.
2015 TENTH INTERNATIONAL CONFERENCE ON COMPUTER ENGINEERING & SYSTEMS (ICCES), 2015, : 210 - 214
[44] Domain Specific Language for Handling Modular Ontologies
Cabrera Jojoa, Christian Humberto
Marino Drews, Olga
2014 9TH COMPUTING COLOMBIAN CONFERENCE (9CCC), 2014, : 48 - 53
[45] A Domain Specific Language for the Development of Collaborative Systems
Bibbo, Luis Mariano
Garcia, Diego
Pons, Claudia
SCCC 2008: INTERNATIONAL CONFERENCE OF THE CHILEAN COMPUTER SCIENCE SOCIETY, PROCEEDINGS, 2008, : 3 - 12
[46] EriLex: An Embedded Domain Specific Language Generator
Xu, Hao
OBJECTS, MODELS, COMPONENTS, PATTERNS, 2010, 6141 : 192 - 212
[47] CAnDL: A Domain Specific Language for Compiler Analysis
Ginsbach, Philip
Crawford, Lewis
O'Boyle, Michael F. P.
CC'18: PROCEEDINGS OF THE 27TH INTERNATIONAL CONFERENCE ON COMPILER CONSTRUCTION, 2018, : 151 - 162
[48] A Domain Specific Language for Automotive Systems Integration
Oliveira, Renato
Pereira, David
Maia, Claudio
Santos, Pedro
45TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY (IECON 2019), 2019, : 4483 - 4488
[49] Mapping a domain specific language to a platform FPGA
Kulkarni, C
Brebner, G
Schelle, G
41ST DESIGN AUTOMATION CONFERENCE, PROCEEDINGS 2004, 2004, : 924 - 927
[50] Efficient code generation for a domain specific language
Moss, A
Muller, H
GENERATIVE PROGRAMMING AND COMPONENT ENGINEERING, PROCEEDINGS, 2005, 3676 : 47 - 62

← 1 2 3 4 5 →