Chapter

Applying Formal Methods: Testing, Performance, and M/E-Commerce

Volume 3236 of the series Lecture Notes in Computer Science pp 30-43

Specification of Autonomous Agents in E-commerce Systems

  • Ismael RodríguezAffiliated withDept. Sistemas Informáticos y Programación, Universidad Complutense de Madrid
  • , Manuel NúñezAffiliated withDept. Sistemas Informáticos y Programación, Universidad Complutense de Madrid
  • , Fernando RubioAffiliated withDept. Sistemas Informáticos y Programación, Universidad Complutense de Madrid

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.