Deliberation in a metadata-based modeling and simulation environment for inter-organizational networks

In the emerging field of database centric business process management, 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 simulation 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. In this paper, we explicitly incorporate deliberation into the agent design of SNet. At the level of i* deliberation is represented in terms of goals which are satisfiable 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.

[1]  W.M.P. van der Aalst,et al.  Business process redesign: a Petri-net-based approach , 1996 .

[2]  Bernard P. Zeigler,et al.  Multifacetted Modelling and Discrete Event Simulation , 1984 .

[3]  Marco Pistore,et al.  NuSMV 2: An OpenSource Tool for Symbolic Model Checking , 2002, CAV.

[4]  Matthias Jarke,et al.  Simulating the Impact of Information Flows in Networked Organizations , 1996, ICIS.

[5]  A. Scheer Business Process Engineering: Reference Models for Industrial Enterprises , 1994 .

[6]  Hector J. Levesque,et al.  ConGolog, a concurrent programming language based on the situation calculus , 2000, Artif. Intell..

[7]  Fred Kröger,et al.  Temporal Logic of Programs , 1987, EATCS Monographs on Theoretical Computer Science.

[8]  Bernard P. Zeigler,et al.  A multimodel methodology for qualitative model engineering , 1992, TOMC.

[9]  Alok R. Chaturvedi,et al.  Simulations in economics and management , 1999, CACM.

[10]  Gerhard Lakemeyer,et al.  Continuous requirements management for organisation networks: a (dis)trust-based approach , 2003, Requirements Engineering.

[11]  Yves Pigneur,et al.  Decision and visualization for negotiation , 2004, 37th Annual Hawaii International Conference on System Sciences, 2004. Proceedings of the.

[12]  Tung X. Bui,et al.  A stochastic negotiation model for organizational choice , 2004, 37th Annual Hawaii International Conference on System Sciences, 2004. Proceedings of the.

[13]  K Abdel-HamidTarek,et al.  Software Project Control , 1993 .

[14]  Martin L. Puterman,et al.  Markov Decision Processes: Discrete Stochastic Dynamic Programming , 1994 .

[15]  Helmut Krcmar,et al.  Gestaltung von Computer-am-Arbeitsplatz-Systemen: Entwicklung von Alternativen u. deren Bewertung durch Simulation , 1984 .

[16]  Evangelos Triantaphyllou,et al.  Multi-criteria Decision Making Methods: A Comparative Study , 2000 .

[17]  Mareike Schoop,et al.  Electronic Markets for Architects—The Architecture of Electronic Markets , 2002, Inf. Syst. Frontiers.

[18]  Matthias Jarke,et al.  Telos: representing knowledge about information systems , 1990, TOIS.

[19]  Hilding Elmqvist,et al.  Modelica—The next generation modeling language, an international effort , 1997 .

[20]  Yves Lespérance,et al.  Agent-Oriented Requirements Engineering Using ConGolog and i* , 2001 .

[21]  Alex M. Andrew,et al.  Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems , 2002 .

[22]  Tarek K. Abdel-Hamid,et al.  Adapting, correcting, and perfecting software estimates: a maintenance metaphor , 1993, Computer.

[23]  Craig Boutilier,et al.  Decision-Theoretic, High-Level Agent Programming in the Situation Calculus , 2000, AAAI/IAAI.

[24]  William N. Robinson,et al.  Monitoring software requirements using instrumented code , 2002, Proceedings of the 35th Annual Hawaii International Conference on System Sciences.

[25]  J. McCarthy Situations, Actions, and Causal Laws , 1963 .

[26]  M. Jarke,et al.  Requirements modeling for organization networks: a (dis)trust-based approach , 2001, Proceedings Fifth IEEE International Symposium on Requirements Engineering.

[27]  Wil M.P. van der Aalst,et al.  Inheritance of Interorganizational Workflows: How to Agree to Disagree Without Loosing Control? , 2003 .

[28]  Matthias Jarke,et al.  ConceptBase — A deductive object base for meta data management , 1995, Journal of Intelligent Information Systems.

[29]  Marco Pistore,et al.  Model checking early requirements specifications in Tropos , 2001, Proceedings Fifth IEEE International Symposium on Requirements Engineering.

[30]  Julius T. Tou,et al.  Information Systems , 1973, GI Jahrestagung.

[31]  H. Elmqvist,et al.  MODELICA — THE NEXT GENERATION MODELING LANGUAGE AN INTERNATIONAL DESIGN EFFORT Hilding Elmqvist , 1997 .

[32]  Eric Yu,et al.  Modelling Trust in the i* Strategic Actors Framework , 2000 .

[33]  M P Van Der AalstW. Inheritance of Interorganizational Workflows , 2003 .

[34]  Alexander Repenning AgentSheets: an Interactive Simulation Environment with End-User Programmable Agents , 2000 .

[35]  Stephen Fickas,et al.  Goal-Directed Requirements Acquisition , 1993, Sci. Comput. Program..

[36]  Craig Boutilier,et al.  Decision-Theoretic Planning: Structural Assumptions and Computational Leverage , 1999, J. Artif. Intell. Res..

[37]  Michael Schwind,et al.  Coordination Of Supply Webs Based On Dispositive Protocols , 2002, ECIS.

[38]  Marvin Minsky,et al.  Semantic Information Processing , 1968 .

[39]  Adelinde M. Uhrmacher,et al.  Agent-oriented simulation , 2003 .

[40]  Gerhard Lakemeyer,et al.  SNet: A Modeling and Simulation Environment for Agent Networks Based on i* and ConGolog , 2002, CAiSE.

[41]  Hector J. Levesque,et al.  GOLOG: A Logic Programming Language for Dynamic Domains , 1997, J. Log. Program..

[42]  Lin Liu,et al.  Modelling Trust for System Design Using the i* Strategic Actors Framework , 2000, Trust in Cyber-societies.

[43]  Mathias Weske,et al.  Business Process Management: A Survey , 2003, Business Process Management.

[44]  Stuart E. Madnick,et al.  Software Project Dynamics: An Integrated Approach , 1991 .

[45]  J. Forrester Industrial Dynamics , 1997 .

[46]  Tarek K. Abdel-Hamid A multiproject perspective of single-project dynamics , 1993, J. Syst. Softw..

[47]  John Mylopoulos,et al.  Modeling Dynamic Domains with ConGolog , 1999, CAiSE.

[48]  Christoph Quix,et al.  DOC.COM: a framework for effective negotiation support in electronic marketplaces , 2001, Comput. Networks.

[49]  Kishore Sengupta,et al.  Software Project Control: An Experimental Investigation of Judgment with Fallible Information , 1993, IEEE Trans. Software Eng..

[50]  Wolffried Stucky,et al.  INCOME/STAR: Methodology and Tools for the Development of Distributed Information Systems , 1994, Inf. Syst..

[51]  Matthias Jarke,et al.  Performance Modeling of Distributed and Replicated Databases , 2000, IEEE Trans. Knowl. Data Eng..

[52]  Wil M. P. van der Aalst,et al.  Inheritance of Interorganizational Workflows: How to Agree to Disagree Without Loosing Control? , 2003, Inf. Technol. Manag..

[53]  Sérgio Vale Aguiar Campos,et al.  Compositional Reasoning in Model Checking , 1997, COMPOS.

[54]  Gerhard Lakemeyer,et al.  Deliberation in a Modeling and Simulation Environment for Inter-organizational Networks , 2003, CAiSE.

[55]  Hector J. Levesque,et al.  An Incremental Interpreter for High-Level Programs with Sensing , 1999 .