Specification of Autonomous Agents in E-commerce Systems

  • Ismael Rodríguez
  • Manuel Núñez
  • Fernando Rubio
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3236)


We present a generic formal framework to specify e-commerce systems. Specifically, we introduce a formalism to represent the behavior of the agents involved in the system. We will concentrate only on the high level behavior, that is, the one related to the economic performance of the agents. Finally, we apply our framework to the specification of the e-commerce system Kasbah.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Bhimani, A.: Securing the commercial Internet. Communications of the ACM 39(6), 29–35 (1996)CrossRefGoogle Scholar
  2. 2.
    Braynov, S.: Tutorial on agent-mediated electronic commerce at AIMSA 2002 (2002)Google Scholar
  3. 3.
    Chavez, A., Maes, P.: Kasbah: An agent marketplace for buying and selling goods. In: PAAM 1996, pp. 75–90 (1996)Google Scholar
  4. 4.
    Dastani, M., Jacobs, N., Jonker, C.M., Treur, J.: Modelling user preferences and mediating agents in electronic commerce. In: Sierra, C., Dignum, F.P.M. (eds.) AgentLink 2000. LNCS (LNAI), vol. 1991, pp. 163–193. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  5. 5.
    Geisler, B., Ha, V., Haddawy, P.: Modeling user preferences via theory refinement. In: Int. Conf. on Intelligent User Interfaces, pp. 87–90. ACM Press, New York (2001)Google Scholar
  6. 6.
    Guttman, R., Moukas, A., Maes, P.: Agent-mediated electronic commerce: A survey. The Knowledge Engineering Review 13(2), 147–159 (1998)CrossRefGoogle Scholar
  7. 7.
    Ha, V., Haddawy, P.: Similarity of personal preferences: Theoretical foundations and empirical analysis. Artificial Intelligence 146(2), 149–173 (2003)MathSciNetCrossRefMATHGoogle Scholar
  8. 8.
    He, M., Jennings, N.R., Leung, H.: On agent-mediated electronic commerce. IEEE Trans. on Knowledge and Data Engineering 15(4), 985–1003 (2003)CrossRefGoogle Scholar
  9. 9.
    López, N., Núñez, M., Rodríguez, I., Rubio, F.: A formal framework for e-barter based on microeconomic theory and process algebras. In: Unger, H., Böhme, T., Mikler, A.R. (eds.) IICS 2002. LNCS, vol. 2346, pp. 217–228. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  10. 10.
    López, N., Núñez, M., Rodríguez, I., Rubio, F.: A multi-agent system for ebarter including transaction and shipping costs. In: 18th ACM Symposium on Applied Computing, SAC 2003, pp. 587–594. ACM Press, New York (2003)CrossRefGoogle Scholar
  11. 11.
    Ma, M.: Agents in e-commerce. Communications of the ACM 42(3), 79–80 (1999)CrossRefGoogle Scholar
  12. 12.
    Núñez, M., Rodríguez, I.: PAMR: A process algebra for the management of resources in concurrent systems. In: FORTE 2001, pp. 169–185. Kluwer Academic Publishers, Dordrecht (2001)Google Scholar
  13. 13.
    Rodríguez, I.: Formal specification of autonomous commerce agents. In: 19th ACM Symposium on Applied Computing, SAC 2004, pp. 774–778. ACM Press, New York (2004)CrossRefGoogle Scholar
  14. 14.
    Sandholm, T.: Agents in electronic commerce: Component technologies for automated negotiation and coalition formation. In: Klusch, M., Weiss, G. (eds.) CIA 1998. LNCS (LNAI), vol. 1435, pp. 113–134. Springer, Heidelberg (1998)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Ismael Rodríguez
    • 1
  • Manuel Núñez
    • 1
  • Fernando Rubio
    • 1
  1. 1.Dept. Sistemas Informáticos y ProgramaciónUniversidad Complutense de MadridMadridSpain

Personalised recommendations