Testing of Autonomous Agents Described as Utility State Machines

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

Abstract

We introduce a methodology to test autonomous agents described by means of utility state machines. In contrast with the classical approach for testing state machines, we will use other utility state machines as test. In fact, the machine playing the role of the test will be in charge of guiding the IUT so that it performs the operations (i.e. exchanges of resources) indicated by the specification.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Adi, K., Debbabi, M., Mejri, M.: A new logic for electronic commerce protocols. Theoretical Computer Science 291(3), 223–283 (2003)MathSciNetCrossRefMATHGoogle Scholar
  2. 2.
    Cavalli, A., Maag, S.: Automated test scenarios generation for an e-barter system. In: 19th ACM Symposium on Applied Computing, SAC 2004, pp. 795–799. ACM Press, New York (2004)CrossRefGoogle 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.
    Guttman, R., Moukas, A., Maes, P.: Agent-mediated electronic commerce: A survey. The Knowledge Engineering Review 13(2), 147–159 (1998)CrossRefGoogle Scholar
  5. 5.
    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
  6. 6.
    López, N., Núñez, M., Rodríguez, I., Rubio, F.: 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
  7. 7.
    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
  8. 8.
    Ma, M.: Agents in e-commerce. Communications of the ACM 42(3), 79–80 (1999)CrossRefGoogle Scholar
  9. 9.
    Núñnez, 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
  10. 10.
    Padget, J.A., Bradford, R.J.: A pi-calculus model of a spanish fish market - preliminary report. In: Noriega, P., Sierra, C. (eds.) AMET 1998 and AMEC 1998. LNCS (LNAI), vol. 1571, pp. 166–188. Springer, Heidelberg (1999)CrossRefGoogle Scholar
  11. 11.
    Probert, R.L., Chen, Y., Cappa, M., Sims, P., Gahaziadeh, B.: Formal verification and validation for e-commerce: Theory and best practices. Journal of Information and Software Technology 45(11), 763–777 (2003)CrossRefGoogle Scholar
  12. 12.
    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
  13. 13.
    Rodríguez, I., Núñez, M., Rubio, F.: Specification of autonomous agents in e-commerce systems. In: Núñez, M., Maamar, Z., Pelayo, F.L., Pousttchi, K., Rubio, F. (eds.) FORTE 2004. LNCS, vol. 3236, pp. 30–44. Springer, Heidelberg (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

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

Personalised recommendations