Monitoring and Explanation of Contract Execution

A Case Study in the Aerospace Domain

Felipe Meneguzzi, Sanjay Modgil, Nir Oren, Simon Miles, Michael Luck, Nora Faci, Camden Holt, Malcolm Smith

Research output: Contribution to conferencePaper

2 Citations (Scopus)

Abstract

In the domain of aerospace aftermarkets, which often has long supply chains that feed into the maintenance of aircraft, contracts are used to establish agreements between aircraft operators and maintenance suppliers. However, violations at the bottom of the supply chain (part suppliers) can easily cascade to the top (aircraft operators), making it difficult to determine the source of the violation, and seek to address it. In this context, we have developed a global monitoring architecture that ensures the detection of norm violations and generates explanations for the origin of violations. In this paper, we describe the implementation and deployment of a global monitor in the aerospace domain of teJakob2008 and show how it generates explanations for violations within the maintenance supply chain. We show how these explanations can be used not only to detect violations at runtime, but also to uncover potential problems in contracts before their deployment, thus improving them.
Original languageEnglish
Pages77-84
Number of pages8
Publication statusPublished - 2009
EventProceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems - Budapest, Hungary
Duration: 10 May 200915 May 2009

Conference

ConferenceProceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems
CountryHungary
CityBudapest
Period10/05/0915/05/09

Fingerprint

Supply chains
Aircraft
Monitoring

Cite this

Meneguzzi, F., Modgil, S., Oren, N., Miles, S., Luck, M., Faci, N., ... Smith, M. (2009). Monitoring and Explanation of Contract Execution: A Case Study in the Aerospace Domain. 77-84. Paper presented at Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems, Budapest, Hungary.

Monitoring and Explanation of Contract Execution : A Case Study in the Aerospace Domain. / Meneguzzi, Felipe; Modgil, Sanjay; Oren, Nir; Miles, Simon; Luck, Michael; Faci, Nora; Holt, Camden; Smith, Malcolm.

2009. 77-84 Paper presented at Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems, Budapest, Hungary.

Research output: Contribution to conferencePaper

Meneguzzi, F, Modgil, S, Oren, N, Miles, S, Luck, M, Faci, N, Holt, C & Smith, M 2009, 'Monitoring and Explanation of Contract Execution: A Case Study in the Aerospace Domain' Paper presented at Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems, Budapest, Hungary, 10/05/09 - 15/05/09, pp. 77-84.
Meneguzzi F, Modgil S, Oren N, Miles S, Luck M, Faci N et al. Monitoring and Explanation of Contract Execution: A Case Study in the Aerospace Domain. 2009. Paper presented at Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems, Budapest, Hungary.
Meneguzzi, Felipe ; Modgil, Sanjay ; Oren, Nir ; Miles, Simon ; Luck, Michael ; Faci, Nora ; Holt, Camden ; Smith, Malcolm. / Monitoring and Explanation of Contract Execution : A Case Study in the Aerospace Domain. Paper presented at Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems, Budapest, Hungary.8 p.
@conference{47ac8f25c3ab487c926495b382583f1d,
title = "Monitoring and Explanation of Contract Execution: A Case Study in the Aerospace Domain",
abstract = "In the domain of aerospace aftermarkets, which often has long supply chains that feed into the maintenance of aircraft, contracts are used to establish agreements between aircraft operators and maintenance suppliers. However, violations at the bottom of the supply chain (part suppliers) can easily cascade to the top (aircraft operators), making it difficult to determine the source of the violation, and seek to address it. In this context, we have developed a global monitoring architecture that ensures the detection of norm violations and generates explanations for the origin of violations. In this paper, we describe the implementation and deployment of a global monitor in the aerospace domain of teJakob2008 and show how it generates explanations for violations within the maintenance supply chain. We show how these explanations can be used not only to detect violations at runtime, but also to uncover potential problems in contracts before their deployment, thus improving them.",
author = "Felipe Meneguzzi and Sanjay Modgil and Nir Oren and Simon Miles and Michael Luck and Nora Faci and Camden Holt and Malcolm Smith",
year = "2009",
language = "English",
pages = "77--84",
note = "Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems ; Conference date: 10-05-2009 Through 15-05-2009",

}

TY - CONF

T1 - Monitoring and Explanation of Contract Execution

T2 - A Case Study in the Aerospace Domain

AU - Meneguzzi, Felipe

AU - Modgil, Sanjay

AU - Oren, Nir

AU - Miles, Simon

AU - Luck, Michael

AU - Faci, Nora

AU - Holt, Camden

AU - Smith, Malcolm

PY - 2009

Y1 - 2009

N2 - In the domain of aerospace aftermarkets, which often has long supply chains that feed into the maintenance of aircraft, contracts are used to establish agreements between aircraft operators and maintenance suppliers. However, violations at the bottom of the supply chain (part suppliers) can easily cascade to the top (aircraft operators), making it difficult to determine the source of the violation, and seek to address it. In this context, we have developed a global monitoring architecture that ensures the detection of norm violations and generates explanations for the origin of violations. In this paper, we describe the implementation and deployment of a global monitor in the aerospace domain of teJakob2008 and show how it generates explanations for violations within the maintenance supply chain. We show how these explanations can be used not only to detect violations at runtime, but also to uncover potential problems in contracts before their deployment, thus improving them.

AB - In the domain of aerospace aftermarkets, which often has long supply chains that feed into the maintenance of aircraft, contracts are used to establish agreements between aircraft operators and maintenance suppliers. However, violations at the bottom of the supply chain (part suppliers) can easily cascade to the top (aircraft operators), making it difficult to determine the source of the violation, and seek to address it. In this context, we have developed a global monitoring architecture that ensures the detection of norm violations and generates explanations for the origin of violations. In this paper, we describe the implementation and deployment of a global monitor in the aerospace domain of teJakob2008 and show how it generates explanations for violations within the maintenance supply chain. We show how these explanations can be used not only to detect violations at runtime, but also to uncover potential problems in contracts before their deployment, thus improving them.

M3 - Paper

SP - 77

EP - 84

ER -