Advertisement

Design of Collaborative Information Agents

  • Catholijn Jonker
  • Matthias Klusch
  • Jan Treur
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1860)

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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)zbMATHGoogle Scholar
  2. 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. 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. 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)CrossRefGoogle Scholar
  5. 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. 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. 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. 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. 9.
    Dardenne, A., van Lamsweerde, A., Fickas, S.: Goal-directed Requirements Acquisition. Science in Computer Programming 20, 3–50 (1993)zbMATHCrossRefGoogle Scholar
  10. 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. 11.
    Davis, A.M.: Software requirements: Objects, Functions, and States. Prentice Hall, Englewood Cliffs (1993)zbMATHGoogle Scholar
  12. 12.
    Dijkstra, E.W.: A discipline of programming. Prentice Hall, Englewood Cliffs (1976)zbMATHGoogle Scholar
  13. 13.
    Dubois, E.: ALBERT: a Formal Language and its supporting Tools for Requirements Engineering (1998)Google Scholar
  14. 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. 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. 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)CrossRefGoogle Scholar
  17. 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. 18.
    Eriksson, H.E., Penker, M.: UML Toolkit. Wiley Computer Publishing, John Wiley and Sons, Inc., New York (1998)Google Scholar
  19. 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. 20.
    Gero, J.S., Sudweeks, F. (eds): Artificial Intelligence in 1998. Kluwer Academic Publishers, Dordrecht (1998)zbMATHGoogle Scholar
  21. 21.
    Harmon, P., Watson, M.: Understanding UML, the Developer’s Guide. Morgan Kaufmann Publishers, San Francisco (1998)zbMATHGoogle Scholar
  22. 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)CrossRefGoogle Scholar
  23. 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)CrossRefGoogle Scholar
  24. 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)CrossRefGoogle Scholar
  25. 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)CrossRefGoogle Scholar
  26. 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)CrossRefGoogle Scholar
  27. 27.
    Klusch, M. (ed.): Intelligent Information Agents. Springer, Heidelberg (1999)Google Scholar
  28. 28.
    Kontonya, G., Sommerville, I.: Requirements Engineering: Processes and Techniques. John Wiley and Sons, New York (1998)Google Scholar
  29. 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. 30.
    Manna, Z., Pnueli, A.: Temporal Verification of Reactive Systems: Safety. Springer, Heidelberg (1995)Google Scholar
  31. 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. 32.
    Sommerville, I., Sawyer, P.: Requirements Engineering: a good practice guide. John Wiley & Sons, Chichester (1997)zbMATHGoogle Scholar
  33. 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. 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. 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

Copyright information

© Springer-Verlag Berlin Heidelberg 2000

Authors and Affiliations

  • Catholijn Jonker
    • 1
  • Matthias Klusch
    • 2
  • Jan Treur
    • 1
  1. 1.Department of Artificial IntelligenceVrije Universiteit AmsterdamAmsterdamThe Netherlands
  2. 2.German Research Center for Artificial IntelligenceSaarbrückenGermany

Personalised recommendations