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
|