Deliberation in a metadata-based modeling and simulation environment for inter-organizational networks
暂无分享,去创建一个
Gerhard Lakemeyer | Matthias Jarke | Dominik Schmitz | Günter Gans | G. Lakemeyer | M. Jarke | G. Gans | D. Schmitz
[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 .