Formal Specification of Matchmakers, Front-agents, and Brokers in Agent Environments using FSP

Amelia Bădică, Costin Bădică

2008

Abstract

The aim of the paper is to precisely characterize types of middle-agents – matchmakers, brokers and front-agents by formally modeling their interactions with requesters and providers. Our approach is based on conceptualizing these interactions by formal specification using FSP process algebra. The main result is the development of formal specification models of middle-agents that help designers and developers by improving their understanding of available types of middle-agents (including matchmakers, front-agents and brokers) and enable the formal analysis of software agent systems that incorporate middle-agents.

References

  1. Alagar, V., Holliday, J.: Agent types and their formal descriptions. Technical Report COEN2002-09-19A, Santa Clara University. Computer Engineering Department, (2002).
  2. Ba?dica?, 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.
  3. Ba?dica?, A., Ba?dica?, C., Li¸toiu, 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.
  4. Ba?dica?, A., Ba?dica?, 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, LNAI 4496, Springer (2007) 248-257.
  5. 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.
  6. 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.
  7. Fasli, M.: Agent Technology For E-Commerce. Wiley, (2007).
  8. Hoare, C.A.R.: Communicating Sequential Processes. Prentice Hall International Series in Computer Science, Hemel Hempstead. (1985).
  9. Hristozova, M., Lister, K., and Sterling, L.: Middle-agents - towards theoretical standardization. In: I. J. Timm, M. Berger, S. Poslad, and S. Kirn (Eds.): Proc. of the Int. Workshop on Multi-Agent Interoperability - MAI'02. 25th German Conference on Artif.Intel. (KI'2002), http://www.informatik.uni-bremen.de/agki/www/astap02/mai02-ws.pdf , (2002) 65-80.
  10. 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.
  11. Magee, J., Kramer, J.: Concurrency. State Models and Java Programs (2nd ed.). John Wiley & Sons (2006).
  12. Milner, R. Communicating and Mobile Systems: The p-calculus, Cambridge University Press, Cambridge. (1999).
  13. Rouff, C., Rash, J., Hinchey, M., and Truszkowski, W.: Formal Methods at NASA Goddard Space Flight Center. In: Rouff, C.A. et al. (Eds.): Agent Technology from a Formal Perspective, NASA Monographs in Systems and Software Engineering, Springer (2006) 287-309.
  14. Wong, H.C., Sycara, K.: A taxonomy of middle-agents for the internet. In Proceedings of the 4th International Conference on MultiAgent Systems (ICMAS-2000), Washington, DC, USA, IEEE Computer Society. (2000) 465-466. An extended version of the paper is available at http://www.cs.cmu.edu/˜softagents/papers/ExtMiddleAgentsICMAS.pdf.
Download


Paper Citation


in Harvard Style

Bădică A. and Bădică C. (2008). Formal Specification of Matchmakers, Front-agents, and Brokers in Agent Environments using FSP . In Proceedings of the 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2008) ISBN 978-989-8111-43-2, pages 9-18. DOI: 10.5220/0001729100090018


in Bibtex Style

@conference{msvveis08,
author={Amelia Bădică and Costin Bădică},
title={Formal Specification of Matchmakers, Front-agents, and Brokers in Agent Environments using FSP},
booktitle={Proceedings of the 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2008)},
year={2008},
pages={9-18},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001729100090018},
isbn={978-989-8111-43-2},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2008)
TI - Formal Specification of Matchmakers, Front-agents, and Brokers in Agent Environments using FSP
SN - 978-989-8111-43-2
AU - Bădică A.
AU - Bădică C.
PY - 2008
SP - 9
EP - 18
DO - 10.5220/0001729100090018