![](bga.png)
6 Conclusions and Future Work
In this paper we applied a formal framework based on FSP process algebra for mod-
eling a system that contains requesters, providers and middle-agents. We considered
three types of middle-agents: Matchmaker, Front-agent, and Broker. For each system
we checked the resulting model with the help of LTSA analysis tool.
We also identified some paths for continuing this research: i) modeling of more
complex systems containing more types of middle-agents; ii) introduction and analysis
of qualitative properties of agent systems.
References
1. Alagar, V., Holliday, J.: Agent types and their formal descriptions. Technical Report COEN-
2002-09-19A, Santa Clara University. Computer Engineering Department, (2002).
2. B˘adic˘a, C., Ganzha, M., Paprzycki, M.: Developing a Model Agent-based E-Commerce Sys-
tem. In: E-Service Intelligence: Methodologies, Technologies and Applications, Studies in
Computational Intelligence 37, Springer, (2007) 555–578.
3. B˘adic˘a, A., B˘adic˘a, C., Lit¸oiu, L.: Middle-Agents Interactions as Finite State Processes:
Overview and Example: In Proc.16
th
IEEE International Workshops on Enabling Technolo-
gies: Infrastructure for Collaborative Enterprises (WETICE 2007), (2007) 12–17.
4. B˘adic˘a, A., B˘adic˘a, 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: Proceed-
ings of the 15
th
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 Sys-
tems 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 standardiza-
tion. In: I. J. Timm, M. Berger, S. Poslad, and S. Kirn (Eds.): Proc. of the Int. Workshop on
Multi-Agent Interoperability – MAI’02. 25
th
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 (2
nd
ed.). John Wiley
& Sons (2006).
12. Milner, R. Communicating and Mobile Systems: The π-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 Perspec-
tive, 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
4
th
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.
18