SNet: A modeling and simulation environment for agent networks based on i* and ConGolog
G. Gans, M. Jarke, G. Lakemeyer, und T. Vits. International Conference on Advanced Information Systems Engineering, 3248, Seite 328--343. Toronto, (Mai 2002)
Zusammenfassung
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
Jahr
2002
Monat
May
Zeitschrift
Lecture Notes in Computer Science
Seiten
328--343
Band
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
}