Electronic contracting in aircraft aftercare: A case study

Felipe Meneguzzi; Simon Miles; Michael Luck; Camden Holt; Malcolm Smith

Electronic contracting in aircraft aftercare: A case study

Felipe Meneguzzi, Simon Miles, Michael Luck, Camden Holt, Malcolm Smith

Computing Science

Research output: Chapter in Book/Report/Conference proceeding › Published conference contribution

Abstract

Distributed systems comprised of autonomous self-interested entities require some sort of control mechanism to ensure the predictability of the interactions that drive them. This is certainly true in the aerospace domain, where manufacturers, suppliers and operators must coordinate their activities to maximise safety and profit, for example. To address this need, the notion of norms has been proposed which, when incorporated into formal electronic documents, allow for the specification and deployment of contract-driven systems. In this context, we describe the CONTRACT framework and architecture for exactly this purpose, and describe a concrete instantiation of this architecture as a prototype system applied to an aerospace aftercare scenario.

Original language	English
Title of host publication	Proceedings of the 7th International Conference on Autonomous Agents and Multiagent Systems
Subtitle of host publication	AAMAS 2008
Pages	63-70
Number of pages	8
Publication status	Published - 2008

Access to Document

https://dl.acm.org/doi/10.5555/1402795.1402807

Cite this

@inproceedings{ed450cbd5bc6494eb3fd5f2997d7a8e0,

title = "Electronic contracting in aircraft aftercare: A case study",

abstract = "Distributed systems comprised of autonomous self-interested entities require some sort of control mechanism to ensure the predictability of the interactions that drive them. This is certainly true in the aerospace domain, where manufacturers, suppliers and operators must coordinate their activities to maximise safety and profit, for example. To address this need, the notion of norms has been proposed which, when incorporated into formal electronic documents, allow for the specification and deployment of contract-driven systems. In this context, we describe the CONTRACT framework and architecture for exactly this purpose, and describe a concrete instantiation of this architecture as a prototype system applied to an aerospace aftercare scenario.",

author = "Felipe Meneguzzi and Simon Miles and Michael Luck and Camden Holt and Malcolm Smith",

note = "Conference: 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), Estoril, Portugal, May 12-16, 2008, Industry and Applications Track Proceedings",

year = "2008",

language = "English",

pages = "63--70",

booktitle = "Proceedings of the 7th International Conference on Autonomous Agents and Multiagent Systems",

}

TY - GEN

T1 - Electronic contracting in aircraft aftercare

T2 - A case study

AU - Meneguzzi, Felipe

AU - Miles, Simon

AU - Luck, Michael

AU - Holt, Camden

AU - Smith, Malcolm

N1 - Conference: 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), Estoril, Portugal, May 12-16, 2008, Industry and Applications Track Proceedings

PY - 2008

Y1 - 2008

N2 - Distributed systems comprised of autonomous self-interested entities require some sort of control mechanism to ensure the predictability of the interactions that drive them. This is certainly true in the aerospace domain, where manufacturers, suppliers and operators must coordinate their activities to maximise safety and profit, for example. To address this need, the notion of norms has been proposed which, when incorporated into formal electronic documents, allow for the specification and deployment of contract-driven systems. In this context, we describe the CONTRACT framework and architecture for exactly this purpose, and describe a concrete instantiation of this architecture as a prototype system applied to an aerospace aftercare scenario.

AB - Distributed systems comprised of autonomous self-interested entities require some sort of control mechanism to ensure the predictability of the interactions that drive them. This is certainly true in the aerospace domain, where manufacturers, suppliers and operators must coordinate their activities to maximise safety and profit, for example. To address this need, the notion of norms has been proposed which, when incorporated into formal electronic documents, allow for the specification and deployment of contract-driven systems. In this context, we describe the CONTRACT framework and architecture for exactly this purpose, and describe a concrete instantiation of this architecture as a prototype system applied to an aerospace aftercare scenario.

M3 - Published conference contribution

SP - 63

EP - 70

BT - Proceedings of the 7th International Conference on Autonomous Agents and Multiagent Systems

ER -

Electronic contracting in aircraft aftercare: A case study

Abstract

Access to Document

Fingerprint

Cite this