论文信息 - Intelligent Contracting Agents Language

Intelligent Contracting Agents Language

This paper presents ongoing work in the definition of a contracting language, which can be used not only to specify agreed behaviour in service-oriented architectures but also for agentmediated systems. The contract clauses are based in deontic notions such as obligations, permissions and prohibitions. The language not only covers the contract document itself but several layers of communication, including the messages and the protocols for contract handling. An example of usage is presented.

[1] Marek Sergot. CHAPTER 1 – THE REPRESENTATION OF LAW IN COMPUTER PROGRAMS , 1991 .

[2] Trevor J. M. Bench-Capon. Knowledge-based systems and legal applications , 1991 .

[3] Hans Weigand,et al. Specification by Refinement and Agreement: Designing Agent Interaction Using Landmarks and Contracts , 2002, ESAW.

[4] Heiko Ludwig,et al. Web Service Level Agreement (WSLA) Language Specification , 2003 .

[5] Adrian Paschke. RBSLA A declarative Rule-based Service Level Agreement Language based on RuleML , 2005, International Conference on Computational Intelligence for Modelling, Control and Automation and International Conference on Intelligent Agents, Web Technologies and Internet Commerce (CIMCA-IAWTIC'06).

[6] Jens Dietrich,et al. A Logic Based SLA Management Framework , 2005 .

[7] Michael Luck,et al. Modelling and Administration of Contract-Based Systems , 2008 .

[8] Huib Aldewereld,et al. Autonomy vs. Conformity: An Institutional Perspective on Norms and Protocols , 2007, The Knowledge Engineering Review.