Applying electronic contracting to the aerospace aftercare domain

Felipe Meneguzzi, Sanjay Modgil, Nir Oren, Simon Miles, Michael Luck, Noura Faci

Research output: Contribution to journalArticle

11 Citations (Scopus)

Abstract

The contract project was a European Commission project whose aim was to develop frameworks, components and tools to model, build, verify and monitor distributed electronic business systems based on electronic contracts. In this context, an electronic contract provides a specification of the expected behaviours of individual services, with the assumption that these services are often enacted by autonomous agents. Using the theoretical tools created by the project, in this paper we describe the complete life cycle of instantiating an electronic contracting system using the contract framework within the aerospace aftercare domain. Thus, we use a natural language description of parts of the types of contracts used in this domain to generate individual norms amenable to a computational representation, and how these norms are used to generate a concrete contract monitor. Moreover, we describe a concrete implementation of contract agents in the AgentSpeak(L) language and how these agents interact within a concrete instantiation of contract.
Original languageEnglish
Pages (from-to)1471-1487
Number of pages17
JournalEngineering Applications of Artificial Intelligence
Volume25
Issue number7
Early online date8 Jul 2012
DOIs
Publication statusPublished - Oct 2012

Fingerprint

Concretes
Autonomous agents
Life cycle
Specifications
Industry

Keywords

  • contract
  • norms
  • monitoring
  • BDI
  • ATN

Cite this

Applying electronic contracting to the aerospace aftercare domain. / Meneguzzi, Felipe; Modgil, Sanjay; Oren, Nir; Miles, Simon; Luck, Michael; Faci, Noura.

In: Engineering Applications of Artificial Intelligence, Vol. 25, No. 7, 10.2012, p. 1471-1487.

Research output: Contribution to journalArticle

Meneguzzi, Felipe ; Modgil, Sanjay ; Oren, Nir ; Miles, Simon ; Luck, Michael ; Faci, Noura. / Applying electronic contracting to the aerospace aftercare domain. In: Engineering Applications of Artificial Intelligence. 2012 ; Vol. 25, No. 7. pp. 1471-1487.
@article{abf2bda43f4145d7b876746605ecb616,
title = "Applying electronic contracting to the aerospace aftercare domain",
abstract = "The contract project was a European Commission project whose aim was to develop frameworks, components and tools to model, build, verify and monitor distributed electronic business systems based on electronic contracts. In this context, an electronic contract provides a specification of the expected behaviours of individual services, with the assumption that these services are often enacted by autonomous agents. Using the theoretical tools created by the project, in this paper we describe the complete life cycle of instantiating an electronic contracting system using the contract framework within the aerospace aftercare domain. Thus, we use a natural language description of parts of the types of contracts used in this domain to generate individual norms amenable to a computational representation, and how these norms are used to generate a concrete contract monitor. Moreover, we describe a concrete implementation of contract agents in the AgentSpeak(L) language and how these agents interact within a concrete instantiation of contract.",
keywords = "contract, norms, monitoring, BDI, ATN",
author = "Felipe Meneguzzi and Sanjay Modgil and Nir Oren and Simon Miles and Michael Luck and Noura Faci",
year = "2012",
month = "10",
doi = "10.1016/j.engappai.2012.06.004",
language = "English",
volume = "25",
pages = "1471--1487",
journal = "Engineering Applications of Artificial Intelligence",
issn = "0952-1976",
publisher = "Elsevier Limited",
number = "7",

}

TY - JOUR

T1 - Applying electronic contracting to the aerospace aftercare domain

AU - Meneguzzi, Felipe

AU - Modgil, Sanjay

AU - Oren, Nir

AU - Miles, Simon

AU - Luck, Michael

AU - Faci, Noura

PY - 2012/10

Y1 - 2012/10

N2 - The contract project was a European Commission project whose aim was to develop frameworks, components and tools to model, build, verify and monitor distributed electronic business systems based on electronic contracts. In this context, an electronic contract provides a specification of the expected behaviours of individual services, with the assumption that these services are often enacted by autonomous agents. Using the theoretical tools created by the project, in this paper we describe the complete life cycle of instantiating an electronic contracting system using the contract framework within the aerospace aftercare domain. Thus, we use a natural language description of parts of the types of contracts used in this domain to generate individual norms amenable to a computational representation, and how these norms are used to generate a concrete contract monitor. Moreover, we describe a concrete implementation of contract agents in the AgentSpeak(L) language and how these agents interact within a concrete instantiation of contract.

AB - The contract project was a European Commission project whose aim was to develop frameworks, components and tools to model, build, verify and monitor distributed electronic business systems based on electronic contracts. In this context, an electronic contract provides a specification of the expected behaviours of individual services, with the assumption that these services are often enacted by autonomous agents. Using the theoretical tools created by the project, in this paper we describe the complete life cycle of instantiating an electronic contracting system using the contract framework within the aerospace aftercare domain. Thus, we use a natural language description of parts of the types of contracts used in this domain to generate individual norms amenable to a computational representation, and how these norms are used to generate a concrete contract monitor. Moreover, we describe a concrete implementation of contract agents in the AgentSpeak(L) language and how these agents interact within a concrete instantiation of contract.

KW - contract

KW - norms

KW - monitoring

KW - BDI

KW - ATN

U2 - 10.1016/j.engappai.2012.06.004

DO - 10.1016/j.engappai.2012.06.004

M3 - Article

VL - 25

SP - 1471

EP - 1487

JO - Engineering Applications of Artificial Intelligence

JF - Engineering Applications of Artificial Intelligence

SN - 0952-1976

IS - 7

ER -