Monitoring cooperative business contracts in an institutional environment

• Type: Article in International Conference Proceedings Book
• Date: 2009

Authors

Henrique Lopes Cardoso (Author) FEUP; Eugénio Oliveira (Author) FEUP

Conference proceedings International

Title: ICEIS 2009 : PROCEEDINGS OF THE 11TH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS, VOL AIDSS

Pages: 206-211

11th International Conference on Enterprise Information Systems

Milan, ITALY, MAY 06-10, 2009

Indexing

ISI Web of Knowledge - 0 Citations

ISI Web of Science

Scopus - 0 Citations

INSPEC

Scientific classification

FOS: Natural sciences > Computer and information sciences

CORDIS: Physical sciences > Computer science > Computer systems

Other information

Authenticus ID: P-003-QBB

Abstract (EN): 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.

Language: English

Type (Professor's evaluation): Scientific

No. of pages: 6