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 | AAMAS '08 Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems |
Subtitle of host publication | industrial track |
Place of Publication | Richland, SC |
Publisher | International Foundation for Autonomous Agents and Multiagent Systems |
Pages | 63-70 |
Number of pages | 8 |
Publication status | Published - 2008 |
Event | Seventh International Joint Conference on Autonomous Agents and Multiagent Systems, Industry and Applications Track - Duration: 1 Jan 2008 → … |
Conference
Conference | Seventh International Joint Conference on Autonomous Agents and Multiagent Systems, Industry and Applications Track |
---|---|
Period | 1/01/2008 → … |