Menu_Home Home   Menu_Latest Latest   Menu_Search Advanced Search   Menu_Browse_by_Year By Year   Menu_Browse_by_Division By Division
Screen decoration graphicsLogo

Monitoring and Explanation of Contract Execution: A Case Study in the Aerospace Domain

Meneguzzi, Felipe and Modgil, Sanjay and Oren, Nir and Miles, Simon and Luck, Michael and Faci, Nora and Holt, Camden and Smith, Malcolm (2009) Monitoring and Explanation of Contract Execution: A Case Study in the Aerospace Domain. In: Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009): Industry Track. IFAAMAS, pp. 77-84.

PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader


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 [8] 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.

Item Type:Book Section
ID Code:1340
Deposited By:Dr Simon Miles
Deposited On:07 Sep 2009 12:19
Last Modified:07 Sep 2009 12:19

Repository Staff Only: item control page