MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

SNet: A Modeling and Simulation Environment for Agent Networks based on i* and ConGolog (2002) [8 citations — 2 self]

by Günter Gans ,  Gerhard Lakemeyer ,  Matthias Jarke ,  Thomas Vits
In Proceedings of the 14th International Conference on Advanced Information Systems Engineering (CAiSE02), LNCS 2348
Add To MetaCart

Abstract:

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 logicbased activity simulator. The paper de nes 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.

Citations

308 Goal-directed requirements acquisition – Dardenne, Lamsweerde, et al. - 1993
269 Modelling Strategic Relationships for Process Reengineering – Yu - 1995
195 Telos: Representing Knowledge About Information Systems – Mylopoulos, Borgida, et al. - 1990
154 actions and causal laws – Situations - 1963
152 ConGolog: A concurrent programming language based on the situation calculus – Giacomo, Lespérance, et al.
76 NUSMV : a new symbolic model checker – Cimatti, Clarke, et al. - 2000
73 H.J.: An incremental interpreter for high-level programs with sensing – Giacomo, Levesque - 1999
68 Business Process Engineering: Reference Models for Industrial Enterprises – Scheer - 1994
26 cc-golog: Towards more realistic logic-based robot controllers – Grosskreutz, Lakemeyer - 2000
23 Y.: Agent-oriented requirements engineering using congolog and i – Wang, Lespérance - 2001
22 INCOME/STAR: Methodology and Tools for the Development of Distributed Information Systems – Oberweis, Scherrer, et al. - 1994
15 Modeling dynamic domains with ConGolog – Lespérance, Kelley, et al. - 1999
3 Model checking early requirements speci in Tropos – Fuxman, Pistore, et al. - 2001
3 Foundations for the situation calculus. Linkoping Electronic Articles in Computer and – Levesque, Pirri, et al. - 1998
2 Simulating the impact of information on networked organizations – Peters, Jarke - 1996
1 OME (Object Modeling Environment), http://www.cs.toronto.edu/km/ome – Liu, Yu