Abstract
Inter-organizational networks of people, information and communication systems are often described by the interplay between individual goals and actions and the strategic dependencies among individuals and subgroups. Our research aims at improving requirements engineering for such networks by not just representing these goals and dependencies statically, but also by studying the dynamic interactions between both. In previous work, we proposed the prototype environment SNet for the representation and dynamic evaluation of agent-based designs for inter-organizational networks. A key feature of SNet was the automatic translation of extended i* models into the action language ConGolog. While this allowed the simulation of agent networks specified in i*, the resulting agents were purely reactive, which limits the usefulness of the system, in particular as a decision-support tool for network members, who need to evaluate the utility of different courses of action. In this paper we propose to remedy the situation by explicitly incorporating deliberation into the agent design of SNet. At the level of i*, deliberation is represented in terms of goals which are satis.able by different tasks or agents. Utilities are modeled, in part, using the existing concept of softgoals, which are given a quantitative interpretation. At the level of ConGolog, decision-theoretic features are built into the interpreter, which drives the simulations, and the process of delegating tasks to other agents is explicitly represented.
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
C. Boutilier, R. Reiter, M. Soutchanski, and S. Thrun. Decision-theoretic, high-level agent programming in the situation calculus. In AAAI-2000, 17th National Conference on Artificial Intelligence, Austin, Texas, 2000.
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.
C. Funken and M. Meister. Netzwerke als Single Bars, affinity groups und interorganisationales Regime. Freiburg, 2003.
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 (dis-) trust-based approach. In Proceedings of the 5th IEEE International Symposium on Requirements Engineering (RE01), pages 154–163, Toronto, Canada, August 2001.
G. Gans, M. Jarke, G. Lakemeyer, and T. Vits. SNet: A modeling and simulation environment for agent networks based on i* and ConGolog. In Proceedings of the 14th International Conference on Advanced Information Systems Engineering (CAiSE02), LNCS 2348, pages 328–343, Toronto, Canada, May 2002.
M. Jarke, S. Eherer, R. Gallersdörfer, M. A. Jeusfeld, and M. 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.
M. Jarke, R. Klamma, and J. Marock. Zu den Wirkungen des regionalen Kontexts auf Unternehmensgrundungen, chapter Gründerausbildung und Gründernetze im Umfeld technischer Hochschulen: ein wirtschaftsinformatischer Versuch, pages 115–154. EUL-Verlag, 2003.
M. Jarke and H. C. Mayr. Mediengestütztes Anforderungsmanagement. Informatik Spektrum, 25(6):452–464, 2002.
Y. Lespérance, H. J. Levesque, F. Lin, D. Marcu, R. Reiter, and R. B. Scherl. Foundations of a logical approach to agent programming. In ATAL-95, Intelligent Agents II. Workshop on Agent Theories, Architectures, and Languages, 1995.
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. Object Modeling Environment (OME). http://www.cs.toronto.edu/km/ome.
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, December 1996.
Raymond Reiter. Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, 2001.
A.-W. Scheer. Business Process Engineering-Reference Models for Industrial Companies. Springer Verlag, Berlin, 2 edition, 1994.
M. Schoop. Electronic markets for architects-the architecture of electronic markets. Information Systems Frontiers, 4(3):285–302, 2002.
S. Shapiro, Y. Lespérance, and H. J. Levesque. Specifying communicative multi-agent systems with congolog. In Working Notes of the AAAI Fall 1997 Symposium on Communicative Action in Humans and Machines, pages 72–82, Cambridge, MA, Novemeber 1997. AAAI Press.
M. Schoop and C. Quix. Doc.com: a framework for effective negotiation support in electronic marketplaces. Computer Networks, 37(2):153–170, 2001.
E. Triantaphyllou. Multi-Criteria Decision Making Methods: A Comparative Study. Kluwer Academic Publishers, 2000.
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 and L. Liu. Modelling trust in the i* strategic actors framework. In Proceedings of the 3rd Workshop on Deception, Fraud and Trust in Agent Societies, Barcelona, Catalonia, Spain (at Agents-2000), June 3–4 2000.
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
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gans, G., Jarke, M., Lakemeyer, G., Schmitz, D. (2003). Deliberation in a Modeling and Simulation Environment for Inter-organizational Networks. In: Eder, J., Missikoff, M. (eds) Advanced Information Systems Engineering. CAiSE 2003. Lecture Notes in Computer Science, vol 2681. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45017-3_18
Download citation
DOI: https://doi.org/10.1007/3-540-45017-3_18
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40442-2
Online ISBN: 978-3-540-45017-7
eBook Packages: Springer Book Archive