SNet: A Modeling and Simulation Environment for Agent Networks Based on i* and ConGolog

  • Günter Gans
  • Gerhard Lakemeyer
  • Matthias Jarke
  • Thomas Vits
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2348)


SNet is a prototype environment supporting the representation and dynamic evaluation of designs for social networks comprising human, hardware, and software agents. The environment employs metadata management technology to integrate an extended version of the i* formalism for static network modeling with the ConGolog logic-based activity simulator. The paper defines the formal mappings necessary to achieve the integration and describes an operational prototype demonstration. SNet’s intended application domain is requirements management and mediation support for inter-organizational and embedded process systems, as well as simulation support for inter-organizational studies e.g. in hightech entrepreneurship networks.


Agent Network Concurrent Execution Primitive Action Situation Calculus Executable Program 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. [CCGRar]
    A. Cimatti, E. Clarke, F. Giunchiglia, and M. Roveri. NuSMV: a new symbolic model checker. Int. Journal on Software Tools for Technology Transfer (STTT), To appear.Google Scholar
  2. [dGL99]
    G. de Giacomo and H. J. Levesque. An incremental interpreter for high-level programs with sensing. Logical Foundations for Cognitive Agents, pages 86–102, 1999.Google Scholar
  3. [dGLL00]
    G. de Giacomo, Y. Lespérance, and H. J. Levesque. ConGolog, a concurrent programming language based on the situation calculus. Artificial Intelligence, 121(1–2):109–169, 2000.MathSciNetzbMATHCrossRefGoogle Scholar
  4. [DvLF93]
    A. Dardenne, A. van Lamsweerde, and S. Fickas. Goal-directed requirements acquisition. Science of Computer Programming, 20(1–2):3–50, 1993.zbMATHCrossRefGoogle Scholar
  5. [FPMT01]
    A. Fuxman, M. Pistore, J. Mylopoulos, and P. Traverso. Model checking early requirements specifications in tropos. In Proceedings Fifth IEEE International Symposium on Requirements Engineering (RE01), Toronto, Canada, August 27–31 2001.Google Scholar
  6. [GJK+01a]
    G. Gans, M. Jarke, S. Kethers, G. Lakemeyer, L. Ellrich, C. Funken, and M. Meister. Requirements modeling for organization networks: A (distrust-based approach. In Proceedings of the 5th IEEE International Symposium on Requirements Engineering (RE01), pages 154–163, Toronto, Canada, August 2001. Los Alamitos: IEEE Computer Society Press 2001, ISBN 0-7695-1125-2.Google Scholar
  7. [GJK+01b]
    G. Gans, M. Jarke, S. Kethers, G. Lakemeyer, L. Ellrich, C. Funken, and M. Meister. Towards (dis)trust-based simulations of agent networks. In Proceedings of the 4th Workshop on Deception, Fraud, and Trust in Agent Societies, pages 49–60, Montreal, May 2001.Google Scholar
  8. [GL00]
    H. Grosskreutz and G. Lakemeyer. Towards more realistic logic-based robot controllers. In Proc. of AAAI-00, 2000.Google Scholar
  9. [JEG+95]
    Matthias Jarke, Stefan Eherer, Rainer Gallersdörfer, Manfred A. Jeusfeld, and Martin Staudt. ConceptBase-a deductive object base for meta data management. Journal of Intelligent Information Systems, Special Issue on Advances in Deductive Object-Oriented Databases, 4(2):167–192, 1995.Google Scholar
  10. [LKMY99]
    Y. Lespérance, T. G. Kelley, J. Mylopoulos, and E. Yu. Modeling dynamic domains with congolog. In Proceedings of CAiSE-99, June 1999.Google Scholar
  11. [LPR98]
    Hector Levesque, Fiora Pirri, and Ray Reiter. Foundations for the situation calculus. Linköping Electronic Articles in Computer and Information Science, 3(18), 1998.Google Scholar
  12. [LRL+97]
    H. J. Levesque, R. Reiter, Y. Lespérance, F. Lin, and R. Scherl. Golog: A logic programming language for dynamic domains. Journal of Logic Programming, 31(1):59–84, 1997.MathSciNetzbMATHCrossRefGoogle Scholar
  13. [LY]
    L. Liu and E. Yu. OME (Object Modeling Environment),
  14. [MBJK90]
    J. Mylopoulos, A. Borgida, M. Jarke, and M. Koubarakis. Telos-representing knowledge about information systems. ACM Transactions on Information Systems, 8(4):325–362, October 1990.Google Scholar
  15. [McC63]
    John McCarthy. Situations, actions and causal laws. Technical report, Stanford University, 1963. Reprinted 1968 in Minsky, M.(ed.): Semantic Information Processing, MIT Press.Google Scholar
  16. [OSS94]
    A. Oberweis, G. Scherrer, and W. Stucky. INCOME/STAR: Methodology and tools for the development of distributed information systems. Information Systems, 19(8):643–660, 1994.CrossRefGoogle Scholar
  17. [PJ96]
    P. Peters and M. Jarke. Simulating the impact of information flows on networked organizations. In Proceedings of the 17th International Conference on Information Systems, Cleveland, Ohio, USA, pages 421–439, Dezember 1996.Google Scholar
  18. [Sch94]
    A.-W. Scheer. Business Process Engineering-Reference Models for Industrial Companies. Springer Verlag, Berlin, 2 edition, 1994.Google Scholar
  19. [WL01]
    Xiyun Wang and Yves Lespérance. Agent-oriented requirements engineering using ConGolog and i*. In Working Notes of the Agent-Oriented Information Systems (AOIS-2001) Workshop, Montreal, QC, May 2001.Google Scholar
  20. [Yu95]
    E. Yu. Modelling Strategic Relationships for Process Reengineering. PhD thesis, University of Toronto, 1995.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2002

Authors and Affiliations

  • Günter Gans
    • 1
  • Gerhard Lakemeyer
    • 1
  • Matthias Jarke
    • 1
    • 2
  • Thomas Vits
    • 1
  1. 1.Informatik VRWTH AachenAachenGermany
  2. 2.Fraunhofer FITSankt AugustinGermany

Personalised recommendations