Modeling and verifying business interactions via commitments and dialogue actions

Authors:
Mohamed El-Menshawy;Jamal Bentahar;Rachida Dssouli
Affiliations:
Concordia University, Department of Electrical and Computer Engineering, Canada;Concordia University, Concordia Institute for Information Systems Eng., Canada;Concordia University, Concordia Institute for Information Systems Eng., Canada
Venue:
KES-AMSTA'10 Proceedings of the 4th KES international conference on Agent and multi-agent systems: technologies and applications, Part II
Year:
2010

Citing 12
Cited 2

Model checking

Model checking
Operational specification of a commitment-based agent communication language

Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Semantic Issues in the Verification of Agent Communication Languages

Autonomous Agents and Multi-Agent Systems
Agent Communication Languages: Rethinking the Principles

Computer
Commitment Machines

ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
Verifying commitment based business protocols and their compositions: model checking using promela and spin

Verifying commitment based business protocols and their compositions: model checking using promela and spin
Model checking communicative agent-based systems

Knowledge-Based Systems
Semantical considerations on dialectical and practical commitments

AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
Model checking agent dialogues

DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
Enhancing commitment machines

DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
Verifying protocol conformance for logic-based communicating agents

CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems
MCMAS: a model checker for multi-agent systems

TACAS'06 Proceedings of the 12th international conference on Tools and Algorithms for the Construction and Analysis of Systems

Model checking commitment protocols

IEA/AIE'11 Proceedings of the 24th international conference on Industrial engineering and other applications of applied intelligent systems conference on Modern approaches in applied intelligence - Volume Part II
Specifying and implementing social Web services operation using commitments

Proceedings of the 27th Annual ACM Symposium on Applied Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.