Standard
Analyzing contract robustness through a model of commitments. /
Chopra, Amit K.; Oren, Nir; Modgil, Sanjay et al.
Agent-Oriented Software Engineering XI: 11th International Workshop, AOSE 2010, Toronto, Canada, May 10-11, 2010, Revised Selected Papers. ed. / Danny Weyns; Marie-Pierre Gleizes. Berlin: Springer, 2011. p. 17-36 (Lecture Notes in Computer Science; Vol. 6788).
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Harvard
Chopra, AK, Oren, N, Modgil, S, Desai, N, Miles, S, Luck, M & Singh, MP 2011,
Analyzing contract robustness through a model of commitments. in D Weyns & M-P Gleizes (eds),
Agent-Oriented Software Engineering XI: 11th International Workshop, AOSE 2010, Toronto, Canada, May 10-11, 2010, Revised Selected Papers. Lecture Notes in Computer Science, vol. 6788, Springer, Berlin, pp. 17-36.
https://doi.org/10.1007/978-3-642-22636-6_2
APA
Chopra, A. K., Oren, N., Modgil, S., Desai, N., Miles, S., Luck, M., & Singh, M. P. (2011).
Analyzing contract robustness through a model of commitments. In D. Weyns, & M-P. Gleizes (Eds.),
Agent-Oriented Software Engineering XI: 11th International Workshop, AOSE 2010, Toronto, Canada, May 10-11, 2010, Revised Selected Papers (pp. 17-36). (Lecture Notes in Computer Science; Vol. 6788). Springer.
https://doi.org/10.1007/978-3-642-22636-6_2
Vancouver
Chopra AK, Oren N, Modgil S, Desai N, Miles S, Luck M et al.
Analyzing contract robustness through a model of commitments. In Weyns D, Gleizes M-P, editors, Agent-Oriented Software Engineering XI: 11th International Workshop, AOSE 2010, Toronto, Canada, May 10-11, 2010, Revised Selected Papers. Berlin: Springer. 2011. p. 17-36. (Lecture Notes in Computer Science). doi: 10.1007/978-3-642-22636-6_2
Author
Chopra, Amit K. ; Oren, Nir ; Modgil, Sanjay et al. /
Analyzing contract robustness through a model of commitments. Agent-Oriented Software Engineering XI: 11th International Workshop, AOSE 2010, Toronto, Canada, May 10-11, 2010, Revised Selected Papers. editor / Danny Weyns ; Marie-Pierre Gleizes. Berlin : Springer, 2011. pp. 17-36 (Lecture Notes in Computer Science).
Bibtex
@inproceedings{e17ad08e1a414279966cf85a461aed05,
title = "Analyzing contract robustness through a model of commitments",
abstract = "We address one of the challenges in developing solutions based on multiagent systems for the problems of cross-organizational business processes and commerce generally. Specifically, we study how to gather and analyze requirements embodied within business contracts using the abstractions from multiagent systems.Commerce is driven by business contracts. Each party to a business contract must be assured that the contract is robust, in the sense that it fulfills its goals and avoids undesirable outcomes. However, real-life business contracts tend to be complex and unamenable both to manual scrutiny and domain-independent scientific methods, making it difficult to provide automated support for determining or improving their robustness. As a result, establishing a contract is nontrivial and adds significantly to the transaction costs of conducting business. If the adoption of multiagent systems approaches in supporting business interactions is to be viable, we need to develop appropriate techniques to enable tools to reason about contracts in relation to their robustness.To this end, we propose a powerful approach to assessing the robustness of contracts, and make two main contributions. First, we demonstrate a novel conceptual model for contracts that is based on commitments. Second, we offer a methodology for (i) creating commitment-based models of contracts from textual descriptions, and (ii) evaluating the contract models for robustness. We validate these contributions via a study of real-world contracts.",
author = "Chopra, {Amit K.} and Nir Oren and Sanjay Modgil and Nirmit Desai and Simon Miles and Michael Luck and Singh, {Munindar P.}",
year = "2011",
doi = "10.1007/978-3-642-22636-6_2",
language = "English",
isbn = "978-3-642-22635-9",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "17--36",
editor = "Danny Weyns and Marie-Pierre Gleizes",
booktitle = "Agent-Oriented Software Engineering XI",
}
RIS
TY - GEN
T1 - Analyzing contract robustness through a model of commitments
AU - Chopra, Amit K.
AU - Oren, Nir
AU - Modgil, Sanjay
AU - Desai, Nirmit
AU - Miles, Simon
AU - Luck, Michael
AU - Singh, Munindar P.
PY - 2011
Y1 - 2011
N2 - We address one of the challenges in developing solutions based on multiagent systems for the problems of cross-organizational business processes and commerce generally. Specifically, we study how to gather and analyze requirements embodied within business contracts using the abstractions from multiagent systems.Commerce is driven by business contracts. Each party to a business contract must be assured that the contract is robust, in the sense that it fulfills its goals and avoids undesirable outcomes. However, real-life business contracts tend to be complex and unamenable both to manual scrutiny and domain-independent scientific methods, making it difficult to provide automated support for determining or improving their robustness. As a result, establishing a contract is nontrivial and adds significantly to the transaction costs of conducting business. If the adoption of multiagent systems approaches in supporting business interactions is to be viable, we need to develop appropriate techniques to enable tools to reason about contracts in relation to their robustness.To this end, we propose a powerful approach to assessing the robustness of contracts, and make two main contributions. First, we demonstrate a novel conceptual model for contracts that is based on commitments. Second, we offer a methodology for (i) creating commitment-based models of contracts from textual descriptions, and (ii) evaluating the contract models for robustness. We validate these contributions via a study of real-world contracts.
AB - We address one of the challenges in developing solutions based on multiagent systems for the problems of cross-organizational business processes and commerce generally. Specifically, we study how to gather and analyze requirements embodied within business contracts using the abstractions from multiagent systems.Commerce is driven by business contracts. Each party to a business contract must be assured that the contract is robust, in the sense that it fulfills its goals and avoids undesirable outcomes. However, real-life business contracts tend to be complex and unamenable both to manual scrutiny and domain-independent scientific methods, making it difficult to provide automated support for determining or improving their robustness. As a result, establishing a contract is nontrivial and adds significantly to the transaction costs of conducting business. If the adoption of multiagent systems approaches in supporting business interactions is to be viable, we need to develop appropriate techniques to enable tools to reason about contracts in relation to their robustness.To this end, we propose a powerful approach to assessing the robustness of contracts, and make two main contributions. First, we demonstrate a novel conceptual model for contracts that is based on commitments. Second, we offer a methodology for (i) creating commitment-based models of contracts from textual descriptions, and (ii) evaluating the contract models for robustness. We validate these contributions via a study of real-world contracts.
U2 - 10.1007/978-3-642-22636-6_2
DO - 10.1007/978-3-642-22636-6_2
M3 - Conference contribution/Paper
SN - 978-3-642-22635-9
T3 - Lecture Notes in Computer Science
SP - 17
EP - 36
BT - Agent-Oriented Software Engineering XI
A2 - Weyns, Danny
A2 - Gleizes, Marie-Pierre
PB - Springer
CY - Berlin
ER -
