King's College London

Research portal

Case Studies for Contract-based Systems

Research output: Chapter in Book/Report/Conference proceedingConference paper

Standard

Case Studies for Contract-based Systems. / Jakob, Michal; Pěchouček, Michal ; Chábera, Jiří ; Miles, Simon; Luck, Michael; Oren, Nir; Kollingbaum, Martin; Holt, Camden; Vazquez, Javier; Storms, Patrick; Dehn, Martin.

AAMAS '08 Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems: industrial track. Richland, SC : International Foundation for Autonomous Agents and Multiagent Systems, 2008. p. 55 - 62.

Research output: Chapter in Book/Report/Conference proceedingConference paper

Harvard

Jakob, M, Pěchouček, M, Chábera, J, Miles, S, Luck, M, Oren, N, Kollingbaum, M, Holt, C, Vazquez, J, Storms, P & Dehn, M 2008, Case Studies for Contract-based Systems. in AAMAS '08 Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems: industrial track. International Foundation for Autonomous Agents and Multiagent Systems, Richland, SC , pp. 55 - 62, Seventh International Joint Conference on Autonomous Agents and Multiagent Systems, Industry and Applications Track, 1/01/2008. <http://dl.acm.org/citation.cfm?id=1402806>

APA

Jakob, M., Pěchouček, M., Chábera, J., Miles, S., Luck, M., Oren, N., Kollingbaum, M., Holt, C., Vazquez, J., Storms, P., & Dehn, M. (2008). Case Studies for Contract-based Systems. In AAMAS '08 Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems: industrial track (pp. 55 - 62). International Foundation for Autonomous Agents and Multiagent Systems. http://dl.acm.org/citation.cfm?id=1402806

Vancouver

Jakob M, Pěchouček M, Chábera J, Miles S, Luck M, Oren N et al. Case Studies for Contract-based Systems. In AAMAS '08 Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems: industrial track. Richland, SC : International Foundation for Autonomous Agents and Multiagent Systems. 2008. p. 55 - 62

Author

Jakob, Michal ; Pěchouček, Michal ; Chábera, Jiří ; Miles, Simon ; Luck, Michael ; Oren, Nir ; Kollingbaum, Martin ; Holt, Camden ; Vazquez, Javier ; Storms, Patrick ; Dehn, Martin. / Case Studies for Contract-based Systems. AAMAS '08 Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems: industrial track. Richland, SC : International Foundation for Autonomous Agents and Multiagent Systems, 2008. pp. 55 - 62

Bibtex Download

@inbook{e2e17cbf34494542a6e3b63e2a76056a,
title = "Case Studies for Contract-based Systems",
abstract = "Of the ways in which agent behaviour can be regulated in a multi-agent system, electronic contracting - based on explicit representation of different parties' responsibilities, and the agreement of all parties to them - has significant potential for modern industrial applications. Based on this assumption, the CONTRACT project aims to develop and apply electronic contracting and contract-based monitoring and verification techniques in real world applications. This paper presents results from the initial phase of the project, which focused on requirements solicitation and analysis. Specifically, we survey four use cases from diverse industrial applications, examine how they can benefit from an agent-based electronic contracting infrastructure and outline the technical requirements that would be placed on such an infrastructure. We present the designed CONTRACT architecture and describe how it may fulfil these requirements. In addition to motivating our work on the contract-based infrastructure, the paper aims to provide a much needed community resource in terms of use case themselves and to provide a clear commercial context for the development of work on contract-based system.",
author = "Michal Jakob and Michal P{\v e}chou{\v c}ek and Ji{\v r}{\'i} Ch{\'a}bera and Simon Miles and Michael Luck and Nir Oren and Martin Kollingbaum and Camden Holt and Javier Vazquez and Patrick Storms and Martin Dehn",
year = "2008",
language = "English",
pages = "55 -- 62",
booktitle = "AAMAS '08 Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems",
publisher = "International Foundation for Autonomous Agents and Multiagent Systems",
note = "Seventh International Joint Conference on Autonomous Agents and Multiagent Systems, Industry and Applications Track ; Conference date: 01-01-2008",

}

RIS (suitable for import to EndNote) Download

TY - CHAP

T1 - Case Studies for Contract-based Systems

AU - Jakob, Michal

AU - Pěchouček, Michal

AU - Chábera, Jiří

AU - Miles, Simon

AU - Luck, Michael

AU - Oren, Nir

AU - Kollingbaum, Martin

AU - Holt, Camden

AU - Vazquez, Javier

AU - Storms, Patrick

AU - Dehn, Martin

PY - 2008

Y1 - 2008

N2 - Of the ways in which agent behaviour can be regulated in a multi-agent system, electronic contracting - based on explicit representation of different parties' responsibilities, and the agreement of all parties to them - has significant potential for modern industrial applications. Based on this assumption, the CONTRACT project aims to develop and apply electronic contracting and contract-based monitoring and verification techniques in real world applications. This paper presents results from the initial phase of the project, which focused on requirements solicitation and analysis. Specifically, we survey four use cases from diverse industrial applications, examine how they can benefit from an agent-based electronic contracting infrastructure and outline the technical requirements that would be placed on such an infrastructure. We present the designed CONTRACT architecture and describe how it may fulfil these requirements. In addition to motivating our work on the contract-based infrastructure, the paper aims to provide a much needed community resource in terms of use case themselves and to provide a clear commercial context for the development of work on contract-based system.

AB - Of the ways in which agent behaviour can be regulated in a multi-agent system, electronic contracting - based on explicit representation of different parties' responsibilities, and the agreement of all parties to them - has significant potential for modern industrial applications. Based on this assumption, the CONTRACT project aims to develop and apply electronic contracting and contract-based monitoring and verification techniques in real world applications. This paper presents results from the initial phase of the project, which focused on requirements solicitation and analysis. Specifically, we survey four use cases from diverse industrial applications, examine how they can benefit from an agent-based electronic contracting infrastructure and outline the technical requirements that would be placed on such an infrastructure. We present the designed CONTRACT architecture and describe how it may fulfil these requirements. In addition to motivating our work on the contract-based infrastructure, the paper aims to provide a much needed community resource in terms of use case themselves and to provide a clear commercial context for the development of work on contract-based system.

M3 - Conference paper

SP - 55

EP - 62

BT - AAMAS '08 Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems

PB - International Foundation for Autonomous Agents and Multiagent Systems

CY - Richland, SC

T2 - Seventh International Joint Conference on Autonomous Agents and Multiagent Systems, Industry and Applications Track

Y2 - 1 January 2008

ER -

View graph of relations

© 2018 King's College London | Strand | London WC2R 2LS | England | United Kingdom | Tel +44 (0)20 7836 5454