Skip to main content
SpringerLink
Log in

Design of Collaborative Information Agents

  • Conference paper
Cooperative Information Agents IV - The Future of Information Agents in Cyberspace (CIA 2000)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 1860))

Included in the following conference series:

Abstract

Effective development of nontrivial systems of collaborative information agents requires that an in-depth analysis is made resulting in (1) specification of requirements at different levels of the system, (2) specification of design structures, and (3) a systematic verification. To support a widespread use of intelligent information agents for the Internet, the challenges are (1) to identify and classify a variety of instances of the different types of reusable (requirement, design and proof) patterns, (2) build libraries of them, and (3) provide corresponding easy-to-use plug-in information agent components to the common user. In a simplified example it is shown which types of reusable requirements patterns, design patterns, and proof patterns can be exploited, and how these patterns relate to each other.

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. van Benthem, J.F.A.K.: The Logic of Time: A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse. Reidel, Dordrecht (1983)

    MATH  Google Scholar 

  2. Brazier, F.M.T., Cornelissen, F., Jonker, C.M., Treur, J.: Compositional Specification of a Reusable Co-operative Agent Model International Journal of Cooperative Information Systems (2000) (in press)

    Google Scholar 

  3. Brazier, F.M.T., Dunin-Keplicz, B., Jennings, N.R., Treur, J.: Formal specification of Multi-Agent Systems: a real World Case. In: Lesser, V. (ed.) Proceedings of the First International Conference on Multi-Agent Systems, ICMAS 1995, pp. 25–32. MIT Press, Menlo Park (1995); Extended version in: M. Huhns, M. Singh, (eds.), International Journal of Cooperative Information Systems, special issue on Formal Methods in Cooperative Information Systems: Multi-Agent Systems, vol. 6, pp. 67–94 (1997)

    Google Scholar 

  4. Brazier, F.M.T., Dunin-Keplicz, B.M., Treur, J., Verbrugge, L.C.: Modelling Internal Dynamic Behaviour of BDI agents. In: Meyer, J.-J.C., Schobbens, P.-Y. (eds.) ModelAge-WS 1997. LNCS (LNAI), vol. 1760, pp. 36–56. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  5. Brazier, F.M.T., Jonker, C.M., Treur, J.: Principles of Compositional Multi-agent System Development. In: Cuena, J. (ed.) Proceedings of the 15th IFIP World Computer Congress, WCC 1998. Conference on Information Technology and Knowledge Systems, IT&KNOWS 1998, pp. 347–360. IOS Press, Amsterdam (2000) (to be published)

    Google Scholar 

  6. Brazier, F.M.T., Jonker, C.M., Treur, J.: Compositional Design and Reuse of a Generic Agent Model. Applied Artificial Intelligence Journal (2000) (in press)

    Google Scholar 

  7. Chavez, A., Maes, P., Kasbah, P.M.: An Agent Marketplace for Buying and Selling goods. In: Proceedings of the First International Conference on the Practical Application of Intelligent Agents and Multi-Agent Technology, PAAM 1996, pp. 75–90. The Practical Application Company Ltd. Blackpool (1996)

    Google Scholar 

  8. Chavez, A., Dreilinger, D., Gutman, R., Maes, P.: A Real-Life Experiment in Creating an Agent Market Place. In: Proceedings of the Second International Conference on the Practical Application of Intelligent Agents and Multi-Agent Technology, PAAM 1997, pp. 159–178. The Practical Application Company Ltd. Blackpool (1997)

    Google Scholar 

  9. Dardenne, A., van Lamsweerde, A., Fickas, S.: Goal-directed Requirements Acquisition. Science in Computer Programming 20, 3–50 (1993)

    Article  MATH  Google Scholar 

  10. Darimont, R., van Lamsweerde, A.: Formal Refinement Patterns for Goal-Driven Requirements Elaboration. In: Proc. of the Fourth ACM Symposium on the Foundation of Software Engineering (FSE4), pp. 179–190 (1996)

    Google Scholar 

  11. Davis, A.M.: Software requirements: Objects, Functions, and States. Prentice Hall, Englewood Cliffs (1993)

    MATH  Google Scholar 

  12. Dijkstra, E.W.: A discipline of programming. Prentice Hall, Englewood Cliffs (1976)

    MATH  Google Scholar 

  13. Dubois, E.: ALBERT: a Formal Language and its supporting Tools for Requirements Engineering (1998)

    Google Scholar 

  14. Dubois, E., Du Bois, P., Zeippen, J.M.: A Formal Requirements Engineering Method for Real-Time, Concurrent, and Distributed Systems. In: Proceedings of the Real-Time Systems Conference, RTS 1995 (1995)

    Google Scholar 

  15. Dubois, E., Yu, E., Petit, M.: From Early to Late Formal Requirements. In: Proceedings IWSSD 1998. IEEE Computer Society Press, Los Alamitos (1998)

    Google Scholar 

  16. Engelfriet, J., Jonker, C.M., Treur, J.: Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic. In: Rao, A.S., Singh, M.P., Müller, J.P. (eds.) ATAL 1998. LNCS (LNAI), vol. 1555, pp. 177–194. Springer, Heidelberg (1999) ; (Extended version in Journal of Logic, Language and Information) (to appear 2000)

    Chapter  Google Scholar 

  17. Erdmann, M., Studer, R.: Use-Cases and Scenarios for Developing Knowledge-based Systems. In: Cuena, J. (ed.) Proceedings of the 15th IFIP World Computer Congress, WCC 1998. Conference on Information Technologies and Knowledge Systems, IT&KNOWS, pp. 259–272 (1998)

    Google Scholar 

  18. Eriksson, H.E., Penker, M.: UML Toolkit. Wiley Computer Publishing, John Wiley and Sons, Inc., New York (1998)

    Google Scholar 

  19. Fisher, M., Wooldridge, M.: International Journal of Cooperative Information Systems, In: M. Huhns, M. Singh (eds.), On the Formal Specification and Verification of Multi-Agent Systems. special issue on Formal Methods in Cooperative Information Systems: Multi-Agent Systems, vol. 6, pp. 67–94 (1997)

    Google Scholar 

  20. Gero, J.S., Sudweeks, F. (eds): Artificial Intelligence in 1998. Kluwer Academic Publishers, Dordrecht (1998)

    MATH  Google Scholar 

  21. Harmon, P., Watson, M.: Understanding UML, the Developer’s Guide. Morgan Kaufmann Publishers, San Francisco (1998)

    MATH  Google Scholar 

  22. Herlea, D.E., Jonker, C.M., Treur, J., Wijngaards, N.J.E.: Specification of Behavioural Requirements within Compositional Multi-Agent System Design. In: Garijo, F.J., Boman, M. (eds.) MAAMAW 1999. LNCS, vol. 1647, pp. 8–27. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  23. Jonker, C.M., Treur, J.: Compositional Verification of Multi-Agent Systems: a Formal Analysis of Pro-activeness and Reactiveness. In: de Roever, W.-P., Langmaack, H., Pnueli, A. (eds.) COMPOS 1997. LNCS, vol. 1536, pp. 350–380. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

  24. Jonker, C.M., Lam, R.A., Treur, J.: A Multi-Agent Architecture for an Intelligent Website in Insurance. In: Klusch, M., Shehory, O., Weiss, G. (eds.) CIA 1999. LNCS (LNAI), vol. 1652, pp. 86–100. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  25. Jonker, C.M., Treur, J.: Information Broker Agents in Intelligent Websites. In: Imam, I., Kodratoff, Y., El-Dessouki, A., Ali, M. (eds.) IEA/AIE 1999. LNCS (LNAI), vol. 1611, pp. 430–439. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  26. Jonker, C.M., Vollebregt, A.M.: ICEBERG: Exploiting Context in Information Brokering Agents. In: Klusch, M., Kerschberg, L. (eds.) CIA 2000. LNCS (LNAI), vol. 1860, pp. 27–38. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  27. Klusch, M. (ed.): Intelligent Information Agents. Springer, Heidelberg (1999)

    Google Scholar 

  28. Kontonya, G., Sommerville, I.: Requirements Engineering: Processes and Techniques. John Wiley and Sons, New York (1998)

    Google Scholar 

  29. van Lamsweerde, A., Darimont, R., Letier, E.: Managing Conflicts in Goal-Driven Requirements Engineering. IEEE Transactions on Software Engineering, Special Issue on Managing Inconsistency in Software Engineering (1998)

    Google Scholar 

  30. Manna, Z., Pnueli, A.: Temporal Verification of Reactive Systems: Safety. Springer, Heidelberg (1995)

    Google Scholar 

  31. Martin, D., Moran, D., Oohama, H., Cheyer, A.: Information Brokering in an Agent Architecture. In: Proceedings of the Second International Conference on the Practical Application of Intelligent Agents and Multi-Agent Technology, PAAM 1997, pp. 467–486. The Practical Application Company Ltd, Blackpool (1997)

    Google Scholar 

  32. Sommerville, I., Sawyer, P.: Requirements Engineering: a good practice guide. John Wiley & Sons, Chichester (1997)

    MATH  Google Scholar 

  33. Tsvetovatyy, M., Gini, M.: Toward a Virtual Marketplace: Architectures and Strategies. In: Proceedings of the First International Conference on the Practical Application of Intelligent Agents and Multi-Agent Technology, PAAM 1996, pp. 597–613. The Practical Application Company Ltd. Blackpool (1996)

    Google Scholar 

  34. Weidenhaupt, K., Pohl, M., Jarke, M., Haumer, P.: Scenarios in system development: current practice. IEEE Software, 34–45 (March/April 1998)

    Google Scholar 

  35. Wooldridge, M., Jennings, N.R.: Agent Theories, Architectures, and Languages: a survey. In: Wooldridge, M.J., Jennings, N.R. (eds.) ECAI 1994 and ATAL 1994. LNCS, vol. 890, pp. 1–39. Springer, Heidelberg (1995)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Artificial Intelligence, Vrije Universiteit Amsterdam, De Boelelaan 1081a, 1081 HV, Amsterdam, The Netherlands

    Catholijn Jonker & Jan Treur

  2. German Research Center for Artificial Intelligence, Stuhlsatzenhausweg 3, 66123, Saarbrücken, Germany

    Matthias Klusch

Authors
  1. Catholijn Jonker
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Matthias Klusch
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Jan Treur
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. German Research Center for Artificial Intelligence, Stuhlsatzenhausweg 3, 66123, Saarbruecken, Germany

    Matthias Klusch

  2. E-Center for E-Business and Department of Computer Science Volgenau School of Information Technology and Engineering George Mason University, Fairfax, Virginia, USA

    Larry Kerschberg

Rights and permissions

Reprints and permissions

Copyright information

© 2000 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Jonker, C., Klusch, M., Treur, J. (2000). Design of Collaborative Information Agents. In: Klusch, M., Kerschberg, L. (eds) Cooperative Information Agents IV - The Future of Information Agents in Cyberspace. CIA 2000. Lecture Notes in Computer Science(), vol 1860. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-45012-2_24

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-45012-2_24

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-45012-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation