TY - GEN
T1 - Modeling and verifying business interactions via commitments and dialogue actions
AU - El-Menshawy, Mohamed
AU - Bentahar, Jamal
AU - Dssouli, Rachida
PY - 2010
Y1 - 2010
N2 - A variety of business interactions in open environments can be captured in terms of creation and manipulation of social commitments among the agents. Such interactions include B2B and B2C processes and contracts as realized via web services and other technologies. Also, the interaction protocols are formulated in terms of commitments to regulate agents' behaviors. However, such protocols can benefit from a stronger treatment of flexible interactions via dialogue actions to capture a rich variety of real-life business scenarios. This paper addresses the challenges of modeling and verifying business interactions using commitments and actions on such commitments augmented with dialogue actions to reconcile conflicts and reason about the validity of such commitments. We introduce the NetBill protocol taken from e-business domain to demonstrate the specification of a new class of formal protocols for agent negotiation. Finally, we use the MCMAS symbolic model checker to automatically verify this protocol against some given properties. We present the implementation and experimental results of this protocol and its verification.
AB - A variety of business interactions in open environments can be captured in terms of creation and manipulation of social commitments among the agents. Such interactions include B2B and B2C processes and contracts as realized via web services and other technologies. Also, the interaction protocols are formulated in terms of commitments to regulate agents' behaviors. However, such protocols can benefit from a stronger treatment of flexible interactions via dialogue actions to capture a rich variety of real-life business scenarios. This paper addresses the challenges of modeling and verifying business interactions using commitments and actions on such commitments augmented with dialogue actions to reconcile conflicts and reason about the validity of such commitments. We introduce the NetBill protocol taken from e-business domain to demonstrate the specification of a new class of formal protocols for agent negotiation. Finally, we use the MCMAS symbolic model checker to automatically verify this protocol against some given properties. We present the implementation and experimental results of this protocol and its verification.
UR - http://www.scopus.com/inward/record.url?scp=77954615336&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-13541-5_2
DO - 10.1007/978-3-642-13541-5_2
M3 - Conference contribution
AN - SCOPUS:77954615336
SN - 3642135404
SN - 9783642135408
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 11
EP - 21
BT - Agent and Multi-Agent Systems
T2 - 4th KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications, KES-AMSTA 2010
Y2 - 23 June 2010 through 25 June 2010
ER -