MONITORING COOPERATIVE BUSINESS CONTRACTS IN AN INSTITUTIONAL ENVIRONMENT

Henrique Lopes Cardoso, Eugénio Oliveira

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.

References

  1. Emerson, E. A. (1990). Temporal and modal logic. In Leeuwen, J. v., editor, Handbook of Theoretical Computer Science, volume B: Formal Models and Semantics, pages 995-1072. North-Holland Pub. Co./MIT Press.
  2. Friedman-Hill, E. (2003). Jess in Action. Manning Publications Co.
  3. Herrestad, H. and Krogh, C. (1995). Obligations directed from bearers to counterparties. In Proceedings of the 5th international conference on Artificial intelligence and law, pages 210-218, College Park, Maryland, United States. ACM.
  4. Lopes Cardoso, H. and Oliveira, E. (2009). A contextbased institutional normative environment. In Hubner, J., Matson, E., Boissier, O., and Dignum, V., editors, Coordination, Organizations, Institutions, and Norms in Agent Systems IV, LNAI 5428, pages 140- 155. Springer.
  5. Tan, Y.-H. and Thoen, W. (1998). Modeling directed obligations and permissions in trade contracts. In Proceedings of the Thirty-First Annual Hawaii International Conference on System Sciences, Volume 5. IEEE Computer Society.
Download


Paper Citation


in Harvard Style

Lopes Cardoso H. and Oliveira E. (2009). MONITORING COOPERATIVE BUSINESS CONTRACTS IN AN INSTITUTIONAL ENVIRONMENT . In Proceedings of the 11th International Conference on Enterprise Information Systems - Volume 2: ICEIS, ISBN 978-989-8111-85-2, pages 206-211. DOI: 10.5220/0002005302060211


in Bibtex Style

@conference{iceis09,
author={Henrique Lopes Cardoso and Eugénio Oliveira},
title={MONITORING COOPERATIVE BUSINESS CONTRACTS IN AN INSTITUTIONAL ENVIRONMENT},
booktitle={Proceedings of the 11th International Conference on Enterprise Information Systems - Volume 2: ICEIS,},
year={2009},
pages={206-211},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002005302060211},
isbn={978-989-8111-85-2},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 11th International Conference on Enterprise Information Systems - Volume 2: ICEIS,
TI - MONITORING COOPERATIVE BUSINESS CONTRACTS IN AN INSTITUTIONAL ENVIRONMENT
SN - 978-989-8111-85-2
AU - Lopes Cardoso H.
AU - Oliveira E.
PY - 2009
SP - 206
EP - 211
DO - 10.5220/0002005302060211