Skip to main content
SpringerLink
Log in

Testing of Autonomous Agents Described as Utility State Machines

  • Conference paper
Applying Formal Methods: Testing, Performance, and M/E-Commerce (FORTE 2004)

Part of the book series: Lecture Notes in Computer Science ((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.

Research supported by the MCyT project MASTER (TIC2003-07848-C02-01), the Junta de Castilla-La Mancha project DISMEF (PAC-03-001) and the Marie Curie RTN TAROT (MCRTN 505121).

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Adi, K., Debbabi, M., Mejri, M.: A new logic for electronic commerce protocols. Theoretical Computer Science 291(3), 223–283 (2003)

    Article  MathSciNet  MATH  Google Scholar 

  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)

    Chapter  Google Scholar 

  3. Chavez, A., Maes, P.: Kasbah: An agent marketplace for buying and selling goods. In: PAAM 1996, pp. 75–90 (1996)

    Google Scholar 

  4. Guttman, R., Moukas, A., Maes, P.: Agent-mediated electronic commerce: A survey. The Knowledge Engineering Review 13(2), 147–159 (1998)

    Article  Google Scholar 

  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)

    Article  Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  8. Ma, M.: Agents in e-commerce. Communications of the ACM 42(3), 79–80 (1999)

    Article  Google Scholar 

  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. 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)

    Chapter  Google Scholar 

  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)

    Article  Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  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 

Download references

Author information

Authors and Affiliations

  1. Dept. Sistemas Informáticos y Programación, Universidad Complutense de Madrid, E-28040, Madrid, Spain

    Manuel Núñez, Ismael Rodríguez & Fernando Rubio

Authors
  1. Manuel Núñez
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ismael Rodríguez
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Fernando Rubio
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Dept. Sistemas Informáticos y Programación Facultad de Informática, Universidad Complutense de Madrid, 28040,, Madrid, Spain

    Manuel Núñez

  2. CIT, Zayed University, Dubai, United Arab Emirates, United Arab Emirates

    Zakaria Maamar

  3. Dept. de Sistemas Informáticos Escuela Politécnica Superior, Universidad Castilla-La Mancha, 02071, Albacete, Spain

    Fernando L. Pelayo

  4. Business Informatics and Systems Engineering, University of Augsburg, Universitätsstraße 16, 86135, Augsburg, Germany

    Key Pousttchi

  5. Dept. Sistemas Informáticos y Computación, Facultad de Informática, Universidad Complutense de Madrid, Madrid, Spain

    Fernando Rubio

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Núñez, M., Rodríguez, I., Rubio, F. (2004). Testing of Autonomous Agents Described as Utility State Machines. 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. https://doi.org/10.1007/978-3-540-30233-9_24

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-30233-9_24

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-23169-1

  • Online ISBN: 978-3-540-30233-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation