Please use this identifier to cite or link to this item: http://hdl.handle.net/10216/15196
Author(s): Henrique Lopes Cardoso
Eugénio Oliveira
Title: Monitoring cooperative business contracts in an institutional environment
Issue Date: 2009
Abstract: The automation of B2B processes is currently a hot research topic. In particular, multi-agent systems have been used to address this arena, where agents can represent enterprises in an interaction environment, automating tasks such as contract negotiation and enactment. Contract monitoring tools are becoming more important as the level of automation of business relationships increase. When business is seen as a joint activity that aims at pursuing a common goal, the successful execution of the contract benefits all involved parties, and thus each of them should try to facilitate the compliance of their partners. Taking into account these concerns and inspecting international legislation over trade procedures, in this paper we present an approach to model contractual obligations: obligations are directed from bearers to counterparties and have flexible deadlines. We formalize the semantics of such obligations using temporal logic, and we provide rules that allow for monitoring them. The proposed implementation is based on a rule-based forward chaining production system.
Subject: Sistema de computadores, Ciências da computação e da informação
Computer systems, Computer and information sciences
URI: http://hdl.handle.net/10216/15196
Source: ICEIS 2009 : PROCEEDINGS OF THE 11TH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS, VOL AIDSS
Document Type: Artigo em Livro de Atas de Conferência Internacional
Rights: openAccess
License: https://creativecommons.org/licenses/by-nc/4.0/
Appears in Collections:FEUP - Artigo em Livro de Atas de Conferência Internacional

Files in This Item:
File Description SizeFormat 
58314.pdf187.63 kBAdobe PDFThumbnail
View/Open


This item is licensed under a Creative Commons License Creative Commons