|
Vol: 54(68) No: 1 / March 2009 Formalizing Agent Interactions in Matchmaking Processes Using FSP and FLTL Amelia Bădica Department of Business Information Systems, University of Craiova, Faculty of Economics and Business Administration, Str.A.I.Cuza 13, 200585 Craiova, Romania, e-mail: ameliabd@yahoo.com Costin Badica Department of Software Engineering, University of Craiova, Faculty of Automation, Computers and Electronics, Bvd.Decebal 107, 200440 Craiova, Romania, e-mail: badica_costin@software.ucv.ro, web: http://software.ucv.ro/~badica_costin Keywords: software agent, interaction protocol, matchmaking, formal specification and verification, process algebra Abstract In this note we clarify interaction requirements of requesters, providers and matchmakers in software agent environments by proposing their formal specification and verification using FSP process algebra and FLTL temporal logic. References [1] Bădică, C., Ganzha, M., Paprzycki, M.: Developing a Model Agent-based E-Commerce System. In: E-Service Intelligence: Methodologies, Technologies and Applications, Studies in Computational Intelligence 37, Springer, (2007) 555-578.. [2] Bădică, A., Bădică, C., Liţoiu, L.: Middle-Agents Interactions as Finite State Processes: Overview and Example: In Proc.16th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2007), (2007) 12-17.. [3] Bădică, A., Bădică, C.: Formal modeling of agent-based English auctions using finite state process algebra. In: N.Nguyen et al. (Eds.): Agent and Multi-Agent Systems: Technologies and Applications. Proc. KES-AMSTA\'2007, Lecture Notes in Artificial Intelligence 4496, Springer (2007) 248-257.. [4] Decker, K., Sycara, K.P., and Williamson, M.: Middle-agents for the internet. In: Proceedings of the 15th Int.Joint Conf.on Artif.Intel. IJCAI\'97, vol.1, Morgan Kaufmann, (1997) 578-583.. [5] Esterline, A., Rorie, T., and Homaifar, A.: A Process-Algebraic Agent Abstraction. In: Rouff, C.A. et al. (Eds.): Agent Technology from a Formal Perspective. NASA Monographs in Systems and Software Engineering, Springer (2006) 88-137.. [6] Fasli, M.: Agent Technology For E-Commerce. Wiley, (2007).. [7] JADE: Java Agent Development Framework. http://jade.cselt.it [8] Klusch. M., Sycara, K.P.: Brokering and matchmaking for coordination of agent societies: A survey. In Omicini, A., Zambonelli, F., Klusch, M., and Tolksdorf, R. (Eds.): Coordination of Internet Agents. Models, Technologies, and Applications, Springer (2001) 197-224. [9] Magee, J., Kramer, J.: Concurrency. State Models and Java Programs (2nd ed.). John Wiley & Sons (2006). [10] Dwyer, M.B., Avrunin, G.S., and Corbett, J.C.. Patterns in property specifications for finite-state verification. In ICSE’99: Proceedings of the 21st international conference on Software engineering. IEEE Computer Society, (1999) 411–420. |