Specification of Autonomous Agents in E-commerce Systems

  • Ismael Rodríguez
  • Manuel Núñez
  • Fernando Rubio
Conference paper

DOI: 10.1007/978-3-540-30233-9_3

Part of the Lecture Notes in Computer Science book series (LNCS, volume 3236)
Cite this paper as:
Rodríguez I., Núñez M., Rubio F. (2004) Specification of Autonomous Agents in E-commerce Systems. In: Núñez M., Maamar Z., Pelayo F.L., Pousttchi K., Rubio F. (eds) Applying Formal Methods: Testing, Performance, and M/E-Commerce. FORTE 2004. Lecture Notes in Computer Science, vol 3236. Springer, Berlin, Heidelberg

Abstract

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

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