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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Compliance verification of agent interaction: a logic-based software tool. Applied Artificial Intelligence 20(2-4), 133–157 (2006)
Baldoni, M., Baroglio, C., Martelli, A., Patti, V., Schifanella, C.: Verifying protocol conformance for logic-based communicating agents. In: Leite, J., Torroni, P. (eds.) CLIMA 2004. LNCS (LNAI), vol. 3487, pp. 196–212. Springer, Heidelberg (2005)
Bentahar, J., Meyer, J.-J.C., Wan, W.: Model checking communicative agent-based systems. Knowledge-Based Systems, Special Issue on Intelligent Software Design 22(3), 142–159 (2009)
Bentahar, J., Labban, J.: An argumentation-driven model for flexible and efficient persuasive negotiation. Group Decision and Negotiation Journal (2009)
Cheng, Z.: Verifying commitment based business protocols and their compositions: Model checking using promela and spin. PhD thesis, North Carolina State University (2006)
Chopra, A.K., Singh, M.P.: Nonmonotonic commitment machines. In: Dignum, F.P.M. (ed.) ACL 2003. LNCS (LNAI), vol. 2922, pp. 183–200. Springer, Heidelberg (2004)
Clarke, E.M., Grumberg, O., Peled, D.A.: Model checking. The MIT Press, Cambridge (1999)
El-Menshawy, M., Bentahar, J., Dssouli, R.: An integrated semantics of social commitments and associated operations. In: 2nd Multi-Agent Logics, Languages, and Organisations Federated Workshops MALLOW 2009 (LADS), vol. 494 (2009)
Fornara, N., Colombetti, M.: Operational specification of a commitment-based agent communication language. In: 1st AAMAS 2002, pp. 535–542. ACM Press, New York (2002)
Lomuscio, A., Raimondi, F.: MCMAS: A model checker for multi-agent systems. In: Hermanns, H., Palsberg, J. (eds.) TACAS 2006. LNCS, vol. 3920, pp. 450–454. Springer, Heidelberg (2006)
Singh, M.P.: Agent communication languages: Rethinking the principles. IEEE Computer Society 31(2), 40–47 (1998)
Singh, M.P.: An ontology for commitments in multi-agent systems: Toward a unification of normative concepts. In: AI and Law, vol. 7, pp. 97–113 (1999)
Singh, M.P.: Semantical considerations on dialectical and pratical commitments. In: 23rd AAAI, pp. 176–181 (2008)
Walton, D.N., Krabbe, E.C.W.: Commitment in dialogue: Basic concepts of interpersonal reasoning. State University of New York Press, NY (1995)
Walton, D.N.: Model checking agent dialogues. In: Leite, J., Omicini, A., Torroni, P., Yolum, p. (eds.) DALT 2004. LNCS (LNAI), vol. 3476, pp. 132–147. Springer, Heidelberg (2005)
Winikoff, M., Liu, W., Harland, J.: Enhancing commitment machines. In: Leite, J., Omicini, A., Torroni, P., Yolum, p. (eds.) DALT 2004. LNCS (LNAI), vol. 3476, pp. 198–220. Springer, Heidelberg (2005)
Wooldridge, M.: Semantic issues in the verification of agent communication Languages. Autonomous Agents and Multi-Agent Systems 3(1), 9–31 (2000)
Yolum, P., Singh, M.P.: Commitment machines. In: Meyer, J.-J.C., Tambe, M. (eds.) ATAL 2001. LNCS (LNAI), vol. 2333, pp. 235–247. Springer, Heidelberg (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
El-Menshawy, M., Bentahar, J., Dssouli, R. (2010). Modeling and Verifying Business Interactions via Commitments and Dialogue Actions. In: Jędrzejowicz, P., Nguyen, N.T., Howlet, R.J., Jain, L.C. (eds) Agent and Multi-Agent Systems: Technologies and Applications. KES-AMSTA 2010. Lecture Notes in Computer Science(), vol 6071. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-13541-5_2
Download citation
DOI: https://doi.org/10.1007/978-3-642-13541-5_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-13540-8
Online ISBN: 978-3-642-13541-5
eBook Packages: Computer ScienceComputer Science (R0)