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 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.
Chapter PDF
Similar content being viewed by others
Keywords
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.
References
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.
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.
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.
A. Dardenne, A. van Lamsweerde, and S. Fickas. Goal-directed requirements acquisition. Science of Computer Programming, 20(1–2):3–50, 1993.
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.
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.
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.
H. Grosskreutz and G. Lakemeyer. Towards more realistic logic-based robot controllers. In Proc. of AAAI-00, 2000.
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.
Y. Lespérance, T. G. Kelley, J. Mylopoulos, and E. Yu. Modeling dynamic domains with congolog. In Proceedings of CAiSE-99, June 1999.
Hector Levesque, Fiora Pirri, and Ray Reiter. Foundations for the situation calculus. Linköping Electronic Articles in Computer and Information Science, 3(18), 1998.
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.
L. Liu and E. Yu. OME (Object Modeling Environment), http://www.cs.toronto.edu/km/ome/.
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.
John McCarthy. Situations, actions and causal laws. Technical report, Stanford University, 1963. Reprinted 1968 in Minsky, M.(ed.): Semantic Information Processing, MIT Press.
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.
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.
A.-W. Scheer. Business Process Engineering-Reference Models for Industrial Companies. Springer Verlag, Berlin, 2 edition, 1994.
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.
E. Yu. Modelling Strategic Relationships for Process Reengineering. PhD thesis, University of Toronto, 1995.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gans, G., Lakemeyer, G., Jarke, M., Vits, T. (2002). SNet: A Modeling and Simulation Environment for Agent Networks Based on i* and ConGolog. In: Pidduck, A.B., Ozsu, M.T., Mylopoulos, J., Woo, C.C. (eds) Advanced Information Systems Engineering. CAiSE 2002. Lecture Notes in Computer Science, vol 2348. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-47961-9_24
Download citation
DOI: https://doi.org/10.1007/3-540-47961-9_24
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43738-3
Online ISBN: 978-3-540-47961-1
eBook Packages: Springer Book Archive