research-article

Electronic contracting in aircraft aftercare: a case study

Authors:

Felipe Meneguzzi,

Malcolm SmithAuthors Info & Claims

AAMAS '08: Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems: industrial track

Pages 63 - 70

Published: 12 May 2008 Publication History

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.

References

[1]

A. S. Abrahams and J. M. Bacon. A software implementation of Kimbrough's disquotation theory for representing and enforcing electronic commerce contracts. Group Decision and Negotiation, 11(6):487--524, 2002.

[2]

R. H. Bordini, M. Dastani, J. Dix, and A. E. Fallah-Seghrouchni. Multi-Agent Programming: Languages, Platforms and Applications. Springer, 2005.

Digital Library

[3]

M. E. Bratman. Intention, Plans and Practical Reason. Harvard University Press, Cambridge, MA, 1987.

[4]

A. Daskalopulu, T. Dimitrakos, and T. Maibaum. Evidence-based electronic contract performance monitoring. Group Decision and Negotiation, 11(6):469--485, 2002.

[5]

V. Dignum, J. J. Meyer, F. Dignum, and H. Weigand. Formal specification of interaction in agent societies. In Proceedings of the Second Goddard Workshop on Formal Approaches to Agent Based Systems, pages 37--52, 2002.

[6]

A. García-Camino, J.-A. Rodríguez-Aguilar, and W. Vasconcelos. A distributed architecture for norm management in multi-agent systems. In Proceedings of the Workshop on Coordination, Organization, Institutions and Norms in agent systems (COIN), 2007.

[7]

G. K. Giannikis and A. Daskalopulu. Defeasible reasoning with e-contracts. In Proceedings of the IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT '06), pages 690--694, 2006.

Digital Library

[8]

B. Grosof and T. C. Poon. SweetDeal: Representing agent contracts with exceptions using semantic web rules, ontologies, and process descriptions. International Journal of Electronic Commerce, 8(4):61--98, 2004.

Digital Library

[9]

F. F. Ingrand, M. P. Georgeff, and A. S. Rao. An architecture for real-time reasoning and system control. IEEE Expert, Knowledge-Based Diagnosis in Process Engineering, 7(6):33--44, 1992.

Digital Library

[10]

M. Jakob, M. Pěchouček, J. Chábera, S. Miles, M. Luck, N. Oren, M. Kollingbaum, C. Holt, J. Vázquez, P. Storms, and M. Dehn. Case studies for contract-based systems. In Proceedings of the 7th International Conference on Autonomous Agents and Multiagent Systems, 2008.

Digital Library

[11]

L. Kagal. Rei: A policy language for the mecentric project. Technical Report HPL2002270, HP Labs, 2002.

[12]

M. Kollingbaum. Norm-governed Practical Reasoning Agents. PhD thesis, University of Aberdeen, 2005.

[13]

F. Lopez y Lopez, M. Luck, and M. d'Inverno. A normative framework for agent-based systems. In Proceedings of the First International Symposium on Normative Multi-Agent Systems, 2005.

[14]

LostWax. Aerogility. http://www.aerogility.com/, 2007.

[15]

S. Neal, J. Cole, P. F. Linington, Z. Milosevic, S. Gibson, and S. Kulkarni. Identifying requirements for business contract language: a monitoring perspective. In Proceedings of the Seventh IEEE International Enterprise Distributed Object Computing Conference, 2003.

Digital Library

[16]

A. S. Rao. AgentSpeak(L): BDI agents speak out in a logical computable language. In W. V. de Velde and J. W. Perram, editors, Proceedings of the Seventh European Workshop on Modelling Autonomous Agents in a Multi-Agent World, volume 1038 of LNCS, pages 42--55. Springer, 1996.

Digital Library

[17]

L. Xu and M. A. Jeusfeld. Pro-active monitoring of electronic contracts. In Advanced Information Systems Engineering, volume 2681 of LNCS, pages 584--600. Springer, 2003.

Digital Library

Cited By

Chopra ASingh MJonker CMarsella SThangarajah JTuyls K(2016)CustardProceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems10.5555/2936924.2937085(1096-1105)Online publication date: 9-May-2016
https://dl.acm.org/doi/10.5555/2936924.2937085
Ranathunga SCranefield SPurvis M(2011)Integrating expectation monitoring into BDI agentsProceedings of the 9th international conference on Programming Multi-Agent Systems10.1007/978-3-642-31915-0_5(74-91)Online publication date: 3-May-2011
https://dl.acm.org/doi/10.1007/978-3-642-31915-0_5
Chopra AOren NModgil SDesai NMiles SLuck MSingh M(2010)Analyzing contract robustness through a model of commitmentsProceedings of the 11th international conference on Agent-oriented software engineering10.5555/2050167.2050170(17-36)Online publication date: 10-May-2010
https://dl.acm.org/doi/10.5555/2050167.2050170
Show More Cited By

Index Terms

Electronic contracting in aircraft aftercare: a case study
1. Computing methodologies
  1. Artificial intelligence
    1. Distributed artificial intelligence
      1. Multi-agent systems
2. Software and its engineering
  1. Software creation and management
    1. Designing software

Recommendations

Applying electronic contracting to the aerospace aftercare domain

The contract project was a European Commission project whose aim was to develop frameworks, components and tools to model, build, verify and monitor distributed electronic business systems based on electronic contracts. In this context, an electronic ...
A logical model of directed obligations and permissions to support electronic contracting
Special issue: Formal aspects of digital commerce

In electronic commerce paper-based trade documents are replaced by electronic messages that can be processed automatically by computer applications. Electronic contracting and negotiating is an advanced type of automated processing of electronic ...
AgentSpeak(ER): An Extension of AgentSpeak(L) improving Encapsulation and Reasoning about Goals
AAMAS '18: Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems

In this paper we introduce AgentSpeak(ER), an extension of the AgentSpeak(L) language tailored to support encapsulation. The AgentSpeak(ER) extension aims at improving the style of BDI agent programming along relevant aspects, including program ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

AAMAS '08: Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems: industrial track

May 2008

140 pages

Sponsors

ACM: Association for Computing Machinery
AAAI: Association for the Advancement of Artifical Intelligence

Publisher

International Foundation for Autonomous Agents and Multiagent Systems

Richland, SC

Publication History

Published: 12 May 2008

Check for updates

Author Tags

Qualifiers

Research-article

Conference

AAMAS08

Sponsor:

ACM
AAAI

AAMAS08: 7th International Conference on Autonomous Agents and Multi Agent Systems

May 12 - 16, 2008

Estoril, Portugal

Acceptance Rates

Overall Acceptance Rate 1,155 of 5,036 submissions, 23%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

9
Total Citations
View Citations
149
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 06 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Chopra ASingh MJonker CMarsella SThangarajah JTuyls K(2016)CustardProceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems10.5555/2936924.2937085(1096-1105)Online publication date: 9-May-2016
https://dl.acm.org/doi/10.5555/2936924.2937085
Ranathunga SCranefield SPurvis M(2011)Integrating expectation monitoring into BDI agentsProceedings of the 9th international conference on Programming Multi-Agent Systems10.1007/978-3-642-31915-0_5(74-91)Online publication date: 3-May-2011
https://dl.acm.org/doi/10.1007/978-3-642-31915-0_5
Chopra AOren NModgil SDesai NMiles SLuck MSingh M(2010)Analyzing contract robustness through a model of commitmentsProceedings of the 11th international conference on Agent-oriented software engineering10.5555/2050167.2050170(17-36)Online publication date: 10-May-2010
https://dl.acm.org/doi/10.5555/2050167.2050170
Luck MBarakat LKeppens JMahmoud SMiles SOren NShaw MTaweel A(2009)Flexible behaviour regulation in agent based systemsProceedings of the CARE@AI 2009 and CARE@IAT 2010 international conference on Collaborative agents - research and development10.5555/2022720.2022728(99-113)Online publication date: 1-Dec-2009
https://dl.acm.org/doi/10.5555/2022720.2022728
Vasconcelos WNorman T(2009)Contract Formation through Preemptive Normative Conflict ResolutionProceedings of the 2009 conference on Artificial Intelligence Research and Development: Proceedings of the 12th International Conference of the Catalan Association for Artificial Intelligence10.5555/1671153.1671179(179-188)Online publication date: 22-Jul-2009
https://dl.acm.org/doi/10.5555/1671153.1671179
Vasconcelos WNorman T(2009)Contract Formation through Preemptive Normative Conflict ResolutionProceedings of the 2009 conference on Artificial Intelligence Research and Development: Proceedings of the 12th International Conference of the Catalan Association for Artificial Intelligence10.5555/1659389.1659415(179-188)Online publication date: 22-Jul-2009
https://dl.acm.org/doi/10.5555/1659389.1659415
Modgil SFaci NMeneguzzi FOren NMiles SLuck MSierra CCastelfranchi CDecker KSichman J(2009)A framework for monitoring agent-based normative systemsProceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 110.5555/1558013.1558034(153-160)Online publication date: 10-May-2009
https://dl.acm.org/doi/10.5555/1558013.1558034
Jakob MPěchouček MMiles SLuck M(2008)Case studies for contract-based systemsProceedings of the 7th international joint conference on Autonomous agents and multiagent systems: industrial track10.5555/1402795.1402806(55-62)Online publication date: 12-May-2008
https://dl.acm.org/doi/10.5555/1402795.1402806
Meneguzzi F(2008)Extending agent languages for autonomyProceedings of the 7th international joint conference on Autonomous agents and multiagent systems: doctoral mentoring program10.5555/1402782.1402793(1744-1745)Online publication date: 12-May-2008
https://dl.acm.org/doi/10.5555/1402782.1402793

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents