SNet: A modeling and simulation environment for agent networks based on i* and ConGolog
G. Gans, M. Jarke, G. Lakemeyer, and T. Vits. International Conference on Advanced Information Systems Engineering, 3248, page 328--343. Toronto, (May 2002)
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...
International Conference on Advanced Information Systems Engineering
year
2002
month
May
journal
Lecture Notes in Computer Science
pages
328--343
volume
3248
comment
- ConGoLog: Concurrent GoLog
- IndiGoLog: Independent Look-ahead (planning)
- GOlog is a language for expressing the changes in a 'situation' which is a set of conditions pertaining to particular location in time/space.
- fluent: a logical predicate whose value varies during the task
- they've implemented a i* extension that uses IndiGoLog and can be used to run simulations on i* models (with precise semantics).
- no word on where the tool is.
%0 Conference Paper
%1 gans02
%A Gans, G.
%A Jarke, M.
%A Lakemeyer, G.
%A Vits, T.
%B International Conference on Advanced Information Systems Engineering
%C Toronto
%D 2002
%J Lecture Notes in Computer Science
%K agent modeling i-star requirements simulation
%P 328--343
%T SNet: A modeling and simulation environment for agent networks based on i* and ConGolog
%U http://citeseer.ist.psu.edu/670832.html
%V 3248
%X 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...
@inproceedings{gans02,
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...},
added-at = {2006-03-24T16:34:33.000+0100},
address = {Toronto},
author = {Gans, G. and Jarke, M. and Lakemeyer, G. and Vits, T.},
biburl = {https://www.bibsonomy.org/bibtex/290dcb13bfb917c603c95fdc5b4739cd7/neilernst},
booktitle = {International Conference on Advanced Information Systems Engineering},
citeulike-article-id = {389259},
comment = {- ConGoLog: Concurrent GoLog
- IndiGoLog: Independent Look-ahead (planning)
- GOlog is a language for expressing the changes in a 'situation' which is a set of conditions pertaining to particular location in time/space.
- fluent: a logical predicate whose value varies during the task
- they've implemented a i* extension that uses IndiGoLog and can be used to run simulations on i* models (with precise semantics).
- no word on where the tool is.},
description = {sdasda},
interhash = {09e2593f2d26723400fc9f8bbb6bc709},
intrahash = {90dcb13bfb917c603c95fdc5b4739cd7},
journal = {Lecture Notes in Computer Science},
keywords = {agent modeling i-star requirements simulation},
month = May,
pages = {328--343},
priority = {0},
timestamp = {2006-03-24T16:34:33.000+0100},
title = {SNet: A modeling and simulation environment for agent networks based on i* and ConGolog},
url = {http://citeseer.ist.psu.edu/670832.html},
volume = 3248,
year = 2002
}