|Home Latest Advanced Search By Year By Division|
|Not Logged in. Login|
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.
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  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.
Repository Staff Only: item control page