Abstract
In this note we propose a rigorous analysis of interactions of requesters and providers with matchmakers and front-agents based on formal specification and verification using FSP process algebra and FLTL temporal logic.
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
Bădică, A., Bădică, C.: Formal Specification of Matchmakers, Front-agents, and Brokers in Agent Environments Using FSP. In: Ultes-Nitsche, U., Moldt, D., Augusto, J.C. (eds.) Proc. MSVVEIS 2008 – 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, pp. 9–18. INSTICC Press (2008)
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, vol. 37, pp. 555–578. Springer, Heidelberg (2007)
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), pp. 12–17 (2007)
Bădică, A., Bădică, C.: Formal modeling of agent-based english auctions using finite state process algebra. In: Nguyen, N.T., Grzech, A., Howlett, R.J., Jain, L.C. (eds.) KES-AMSTA 2007. LNCS (LNAI), vol. 4496, pp. 248–257. Springer, Heidelberg (2007)
Decker, K., Sycara, K.P., Williamson, M.: Middle-agents for the internet. In: Proc.of 15th International Joint Conference on Artificial Intelligence IJCAI 1997, vol. 1, pp. 578–583. Morgan Kaufmann, San Francisco (1997)
Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: ICSE 1999: Proc. 21st International Conference on Software Engineering, pp. 411–420. IEEE Computer Society Press, Los Alamitos (1999)
Fasli, M.: Agent Technology For E-Commerce. Wiley, Chichester (2007)
FIPA: Foundation for Physical Agents, http://www.fipa.org
JADE: Java Agent Development Framework, http://jade.cselt.it
Klusch., M., Sycara, K.P.: Brokering and matchmaking for coordination of agent societies: A survey. In: Omicini, A., Zambonelli, F., Klusch, M., Tolksdorf, R. (eds.) Coordination of Internet Agents. Models, Technologies, and Applications, pp. 197–224. Springer, Heidelberg (2001)
Magee, J., Kramer, J.: Concurrency. State Models and Java Programs, 2nd edn. John Wiley & Sons, Chichester (2006)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bădică, A., Bădică, C. (2008). Conceptualizing Interactions with Matchmakers and Front-Agents Using Formal Verification Methods. In: Dochev, D., Pistore, M., Traverso, P. (eds) Artificial Intelligence: Methodology, Systems, and Applications. AIMSA 2008. Lecture Notes in Computer Science(), vol 5253. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-85776-1_36
Download citation
DOI: https://doi.org/10.1007/978-3-540-85776-1_36
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-85775-4
Online ISBN: 978-3-540-85776-1
eBook Packages: Computer ScienceComputer Science (R0)