Abstract
We study the development of a distributed, agent-based, simulation environment where autonomous agents execute e-commerce contracts. We present a multi-agent architecture in which contracts are represented as a set of commitments that an agent must be capable of monitoring and reason with in order to be able to verify that the contract is not violated during interaction. We employ the JADE agent platform to build the multi-agent simulation infrastructure, and the Reactive Event Calculus to provide agent reasoning for monitoring and verification of contracts. We then experimentally evaluate the performance of our system by analysing the time and memory requirements as the number of agents increases, and by looking whether the behaviours of agents have any significant effect on the system’s overall performance.
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
Krishna, P.R., Karlapalem, K., Chiu, D.K.W.: An erec framework for e-contract modeling, enactment and monitoring. Data Knowl. Eng. 51(1), 31–58 (2004)
Kafalı, Ö., Torroni, P.: Exception diagnosis in multiagent contract executions. Annals of Mathematics and Artificial Intelligence 64(1), 73–107 (2012)
Yolum, P., Singh, M.P.: Flexible protocol specification and execution: Applying event calculus planning using commitments. In: Proceedings of the 1st International Conference on Autonomous Agents and Multiagent Systems (AAMAS), pp. 527–534 (2002)
Faci, N., Modgil, S., Oren, N., Meneguzzi, F., Miles, S., Luck, M.: Towards a monitoring framework for agent-based contract systems. In: Klusch, M., Pěchouček, M., Polleres, A. (eds.) CIA 2008. LNCS (LNAI), vol. 5180, pp. 292–305. Springer, Heidelberg (2008)
McGinnis, J., Stathis, K., Toni, F.: A formal model of agent-oriented virtual organisations and their formation. Multiagent and Grid Systems 7(6), 291–310 (2011)
Singh, M.P.: An ontology for commitments in multiagent systems: Toward a unification of normative concepts. Artificial Intelligence and Law 7, 97–113 (1999)
Kafalı, Ö., Yolum, P.: A distributed treatment of exceptions in multiagent contracts. In: Proceedings of the 9th International Workshop on Declarative Agent Languages and Technologies, DALT (2011)
Chesani, F., Mello, P., Montali, M., Torroni, P.: Commitment tracking via the reactive event calculus. In: Proceedings of the 21st International Joint Conference on Artifical Intelligence (IJCAI), pp. 91–96 (2009)
El Menshawy, M., Bentahar, J., Qu, H., Dssouli, R.: On the verification of social commitments and time. In: Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS), pp. 483–490 (2011)
Bellifemine, F., Poggi, A., Rimassa, G., Turci, P.: An object-oriented framework to realize agent systems. In: WOA Workshop: From Objects to Agents, pp. 52–57 (2000)
Chopra, A.K., Singh, M.P.: Multiagent commitment alignment. In: Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems (AAMAS), pp. 937–944 (2009)
Chesani, F., Mello, P., Montali, M., Torroni, P.: Monitoring time-aware social commitments with reactive event calculus. In: 20th European Meeting on Cybernetics and Systems Research, 7th International Symposium ”From Agent Theory to Agent Implementation” (AT2AI-7), pp. 447–452 (2010)
Kowalski, R., Sergot, M.: A logic-based calculus of events. New Generation Computing 4(1), 67–95 (1986)
Malone, T.W., Crowston, K., Herman, G. (eds.): Organizing Business Knowledge: The MIT Process Handbook. MIT Press, Cambridge (2003)
Kakas, A.C., Mancarella, P., Sadri, F., Stathis, K., Toni, F.: Declarative agent control. In: Leite, J., Torroni, P. (eds.) CLIMA 2004. LNCS (LNAI), vol. 3487, pp. 96–110. Springer, Heidelberg (2005)
Bragaglia, S., Chesani, F., Mello, P., Montali, M., Torroni, P.: Reactive event calculus for monitoring global computing applications. In: Artikis, A., Craven, R., Kesim Çiçekli, N., Sadighi, B., Stathis, K. (eds.) Sergot Festschrift 2012. LNCS (LNAI), vol. 7360, pp. 123–146. Springer, Heidelberg (2012)
Grefen, P., Aberer, K., Ludwig, H., Hoffner, Y.: Crossflow: Cross-organizational workflow management in dynamic virtual enterprises. International Journal of Computer Systems Science & Engineering 15, 277–290 (2000)
Urovi, V., Stathis, K.: Playing with agent coordination patterns in MAGE. In: Padget, J., Artikis, A., Vasconcelos, W., Stathis, K., da Silva, V.T., Matson, E., Polleres, A. (eds.) COIN 2009. LNCS, vol. 6069, pp. 86–101. Springer, Heidelberg (2010)
Molina-jimenez, C., Shrivastava, S., Solaiman, E., Warne, J.: Contract representation for run-time monitoring and enforcement. In: Proc. IEEE Int. Conf. on E-Commerce (CEC), pp. 103–110. IEEE (2003)
Grosof, B.N., Poon, T.C.: Sweetdeal: Representing agent contracts with exceptions using xml rules, ontologies, and process descriptions, pp. 340–349. ACM Press (2003)
Sadri, F., Stathis, K., Toni, F.: Normative KGP agents. Computational & Mathematical Organization Theory 12(2-3), 101–126 (2006)
Fornara, N., Colombetti, M.: Specifying and enforcing norms in artificial institutions. In: Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), pp. 1481–1484 (2008)
Kafalı, Ö., Günay, A., Yolum, P.: \(\mathcal{PROTOSS}\): A run time tool for detecting \(\mathcal{PR}\)ivacy vi\(\mathcal{O}\)la\(\mathcal{T}\)ions in \(\mathcal{O}\)nline \(\mathcal{S}\)ocial network\(\mathcal{S}\). In: IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining (2012)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Wood, D., Kafalı, Ö., Stathis, K. (2013). \(\cal{DIESECT}\): A \(\cal{DI}\)stributed \(\cal{E}\)nvironment for \(\cal{S}\)imulating \(\cal{E}\)-commerce \(\cal{C}\)ontrac\(\cal{T}\)s. In: Huemer, C., Lops, P. (eds) E-Commerce and Web Technologies. EC-Web 2013. Lecture Notes in Business Information Processing, vol 152. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-39878-0_4
Download citation
DOI: https://doi.org/10.1007/978-3-642-39878-0_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-39877-3
Online ISBN: 978-3-642-39878-0
eBook Packages: Computer ScienceComputer Science (R0)