Design of Collaborative Information Agents

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.

[1]  Zohar Manna,et al.  Temporal verification of reactive systems - safety , 1995 .

[2]  Eric Dubois.  ALBERT: A Formal Language and Its Supporting Tools for Requirements Engineering , 1998, FASE.

[3]  Matthias Klusch,et al.  Cooperative Information Agents IV, The Future of Information Agents in Cyberspace, 4th International Workshop, CIA 2000, Boston, MA, USA, July 7-9, 2000, Proceedings , 2000, CIA.

[4]  Jan Treur,et al.  Modelling internal dynamic behaviour of BDI agents , 2001 .

[5]  Catholijn M. Jonker,et al.  Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic , 1998, J. Log. Lang. Inf..

[6]  Michael Wooldridge,et al.  On the Formal Specification and Verification of Multi-Agent Systems , 1997, Int. J. Cooperative Inf. Syst..

[7]  Rudi Studer,et al.  Use-cases and scenarios for developing knowledge-based systems , 1998 .

[8]  Axel van Lamsweerde,et al.  Managing Conflicts in Goal-Driven Requirements Engineering , 1998, IEEE Trans. Software Eng..

[9]  D. Christie,et al.  The Logic of Time: A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse , 1985 .

[10]  Jan Treur,et al.  Specification of Behavioural Requirements within Compositional Multi-Agent System Design: Lecture Notes in AI , 1999 .

[11]  Matthias Jarke,et al.  Scenarios in System Development: Current Practice , 1998, IEEE Softw..

[12]  Ian Sommerville,et al.  Requirements Engineering: Processes and Techniques , 1998 .

[13]  Catholijn M. Jonker,et al.  Compositional design and reuse of a generic agent model , 2000, Appl. Artif. Intell..

[14]  Matthias Klusch,et al.  Intelligent Information Agents , 1999, Springer Berlin Heidelberg.

[15]  Catholijn M. Jonker,et al.  Inforamtion Broker Agents in Intelligent Websites , 1999, IEA/AIE.

[16]  Catholijn M. Jonker,et al.  Compositional Verification of Multi-Agent Systems: A Formal Analysis of Pro-activeness and Reactiveness , 1997, Int. J. Cooperative Inf. Syst..

[17]  Magnus Boman,et al.  Multi-Agent System Engineering , 1999, Lecture Notes in Computer Science.

[18]  Stephen Fickas,et al.  Goal-Directed Requirements Acquisition , 1993, Sci. Comput. Program..

[19]  E. Dubois,et al.  From early to late formal requirements: a process-control case study , 1998, Proceedings Ninth International Workshop on Software Specification and Design.

[20]  Pierre-Yves Schobbens,et al.  Formal Models of Agents , 1999, Lecture Notes in Computer Science.

[21]  Patrick Brézillon,et al.  Lecture Notes in Artificial Intelligence , 1999 .

[22]  Moonis Ali,et al.  Multiple Approaches to Intelligent Systems , 1999, Lecture Notes in Computer Science.

[23]  Hans-Erik Eriksson,et al.  UML toolkit , 1997 .

[24]  Axel van Lamsweerde,et al.  Formal refinement patterns for goal-driven requirements elaboration , 1996, SIGSOFT '96.

[25]  Mark Watson,et al.  Understanding UML: the developer's guide: with a Web-based application in Java , 1997 .

[26]  Frances M. T. Brazier,et al.  Principles of Compositional Multi-Agent System Development , 1997 .

[27]  Pattie Maes,et al.  A Real-Life Experiment in Creating an Agent Marketplace , 1997, Software Agents and Soft Computing.

[28]  Nicholas R. Jennings,et al.  Formal Specification of Multi-Agent Systems: A Real-World Case , 1995, ICMAS.

[29]  Zohar Manna,et al.  Temporal Verification of Reactive Systems , 1995, Springer New York.

[30]  Nicholas R. Jennings,et al.  Agent Theories, Architectures, and Languages: A Survey , 1995, ECAI Workshop on Agent Theories, Architectures, and Languages.

[31]  Catholijn M. Jonker,et al.  A Multi-agent Architecture for an Intelligent Website in Insurance , 1999, CIA.

[32]  John S. Gero,et al.  Artificial Intelligence in Design ’98 , 1998, Springer Netherlands.

[33]  Edsger W. Dijkstra,et al.  A Discipline of Programming , 1976 .

[34]  Catholijn M. Jonker,et al.  Cooperative Information Agents IV - The Future of Information Agents in Cyberspace , 2000, Lecture Notes in Computer Science.

[35]  CenterSRI Internationalmartin.  Information Brokering in an Agent Architecture , 1997 .

[36]  Alan M. Davis,et al.  Software Requirements: Objects, Functions and States , 1993 .

[37]  Pattie Maes,et al.  Kasbah: An Agent Marketplace for Buying and Selling Goods , 1996, PAAM.

[38]  Amir Pnueli,et al.  Compositionality: The Significant Difference , 1999, Lecture Notes in Computer Science.