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

Information Systems

Volumn 30, Issue 7, 2005, Pages 587-607

  Gans, Günter ^a   Jarke, Matthias ^a,b   Lakemeyer, Gerhard ^a   Schmitz, Dominik ^a  

^a RWTH AACHEN UNIVERSITY   (Germany)

^b FRAUNHOFER INSTITUTE FOR APPLIED INFORMATION TECHNOLOGY FIT   (Germany)

Author keywords

Agent simulation; Decision theoretic planning; Logics of action; Social networks

Indexed keywords

COMPUTER SIMULATION; DATABASE SYSTEMS; DECISION MAKING; MATHEMATICAL MODELS; METADATA; MULTI AGENT SYSTEMS; SOFTWARE PROTOTYPING;

AGENT-SIMULATION; DECISION-THEORETIC PROGRAMMING; LOGICS OF ACTION; SOCIAL NETWORKS;

COMPUTER NETWORKS;

EID: 21244491630     PISSN: 03064379     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.is.2004.11.006     Document Type: Conference Paper

References (59)

1. A.-W. Scheer Business Process Engineering - Reference Models for Industrial Companies 2nd ed. 1994 Springer Berlin
2. A. Oberweis, G. Scherrer, and W. Stucky INCOME/STAR methodology and tools for the development of distributed information systems Inform. Systems 19 8 1994 643 660
3. P. Peters, and M. Jarke Simulating the impact of information flows on networked organizations Proceedings of the 17th International Conference on Information Systems Cleveland, USA, pp. 421-439 December 1996
4. E. Yu, Modelling Strategic Relationships for Process Reengineering, Ph.D. Thesis, University of Toronto, 1995.
5. A. Fuxman, M. Pistore, J. Mylopoulos, and P. Traverso Model checking early requirements specifications in Tropos Proceedings Fifth IEEE International Symposium on Requirements Engineering (RE01) Toronto, Canada, 27-31 August 2001
6. 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 Proceedings of the 5th IEEE International Symposium on Requirements Engineering (RE01) pp. 154-163, Toronto, Canada August 2001
7. G. Gans, M. Jarke, G. Lakemeyer, and T. Vits SNet a modeling and simulation environment for agent networks based on i * and ConGolog Proceedings of the 14th International Conference on Advanced Information Systems Engineering Toronto, Canada, (CAiSE02), Lecture Notes in Computer Science, vol. 2348, pp. 328-343 May 2002
8. X. Wang, Y. Lespérance, Agent-oriented requirements engineering using ConGolog and i *, Working Notes of the Agent-Oriented Information Systems (AOIS-2001) Workshop, Montreal, QC, May 2001.
9. G. de Giacomo, Y. Lespérance, and H.J. Levesque ConGolog, a concurrent programming language based on the situation calculus Artif. Intell. 121 1-2 2000 109 169
10. M. Jarke, S. Eherer, R. Gallersdörfer, M.A. Jeusfeld, and M. Staudt ConceptBase - a deductive object base for meta data management J. Intell. Inform. Systems 4 2 1995 167 192 (Special Issue on Advances in Deductive Object-Oriented Databases)
11. G. Gans, M. Jarke, G. Lakemeyer, and D. Schmitz Deliberation in a modeling and simulation environment for inter-organizational networks Proceedings of the 15th International Conference on Advanced Information Systems Engineering Klagenfurt, Austria, (CAiSE03), Lecture Notes in Computer Science, vol. 2681, pp. 242-257 June 2003
12. A.-W. Scheer, M. Nüttgens, Information Technologies in Business Reengineering, chapter Business Process (Re-)Engineering: Architectur, Reference Models and Toolset, Uniwerytet Warszawski (Studia Informatyki Gospodarczej), 1995, Warschau, pp. 31-39.
13. W.N. Robinson, Monitoring software requirements using instrumented code, IEEE, Proceedings of the 35th Annual Hawaii International Conference on Systems Sciences, January 7-10, 2002.
14. K. Pohl Continuous documentation of information systems requirements 1999 Habilitationsschrift RWTH Aachen
15. H. Krcmar, Gestaltung von Computer-am-Arbeitsplatz-Systemen. Entwicklung von Alternativen und deren Bewertung durch Simulation. Number 15 in Wirtschaftsinformatik und Quantitative Betriebswirtschaftslehre. Minerva Publikation München, 1984.
16. M. Nicola, and M. Jarke Performance modeling of distributed and replicated databases research survey paper IEEE Trans. Knowledge Data Eng. 12 4 2000 645 672
17. W.M.P. van der Aalst, and K.M. van Hee Business process redesign a Petri-net-based approach Comput. Ind. 29 1-2 1996 15 26
18. W.M.P. van der Aalst, Arthur H.M. ter Hofstede, M. Weske, Business process management: a survey, BPM 2003, Lecture Notes in Computer Science, vol. 2678, Springer, Berlin, 2003, pp. 1-12.
19. IDS Scheer AG, Geschäftsprozesse simulieren, analysieren und optimieren, ARIS Simulation, IDS Scheer, white paper edition, March 2003.
20. P. Fishwick, and B. Zeigler A multimodel methodology for qualitative model engineering ACM Trans. Model. Comput. Simul. 2 1 1992 52 81
21. B. Zeigler Multi-Facetted Modelling and Discrete Event Simulation 1984 Academic Press New York
22. P. Fishwick Simulation Model Design and Execution 1995 Prentice-Hall Englewood Cliffs, NJ
23. H. Elmquist, and S.E. Mattson Modelica - the next generation modeling language - an international design effort First World Congress of System Simulation Singapore 1997
24. P. Peters, Planning and Analysis of Information Flows in Quality Management, Ph.D. Thesis, University of Aachen, Germany, 1997.
25. J. Forrester Industrial Dynamics 1961 MIT Press Cambridge, MA
26. T. Abdel-Hamid Adapting, correcting, and perfecting software estimates a maintenance metaphor IEEE Comput. 26 3 1993 20 31
27. T. Abdel-Hamid A multiproject perspective of single-project dynamics J. Systems Software 22 1993 151 165
28. T. Abdel-Hamid, and S. Madnick Software Project Dynamics 1991 Prentice-Hall Englewood Cliffs, NJ
29. T. Abdel-Hamid, K. Sengupta, and D. Ronan Software project control an experimental investigation of judgement with fallible information IEEE Trans. Software Eng. 19 6 1993 603 612
30. A.M. Uhrmacher, Agent-oriented simulation, Habilitationsschrift, University of Ulm, Juni 1999.
31. A. Chaturvedi, D. Dolk, H.-J. Sebastian, Agent-based simulation and model integration, Workshop on Virtual Environments for Advanced Modeling (VEAM) at the 37th HICSS, 2004.
32. G. Gans, M. Jarke, S. Kethers, G. Lakemeyer, Continuous requirements management for organization networks: a (dis)trust-based approach, Requirements Engineering Journal, Special Issue on selected papers from RE'01, 2003.
33. A. Repenning, AgentSheets: an interactive simulation environment with end-user programmable agents, Interaction 2000, 2000, Tokyo, Japan.
34. A.R. Chaturvedi, and S.R. Mehta Simulations in economics and management Comm. ACM 42 3 1999 60
35. S. Sankaran, T. Bui, A stochastic negotiation model for organizational choice, Workshop on Virtual Environments for Advanced Modeling (VEAM) at the 37th HICSS, 2004.
36. F. Klügl Multiagentensimulation-Konzepte, Werkzeuge, Anwendung April 2001 Addison-Wesley New York
37. W.M.P. van der Aalst Inheritance of interorganizational workflows how to agree to disagree without loosing control Inform. Technol. Manage. 4 4 2003 345 389
38. T. Stockheim, M. Schwind, O. Wendt, and S. Grolik Coordination of supply webs based on dispositive protocols 10th European Conference on Information Systems (ECIS) Gdañsk, Poland June 2002
39. S. Maidorn, The decision to work, to search or to withdraw when markets are incomplete, Fraunhofer Series in Information and Communication Technologies, vol. 4, Shaker (Ph.D. Thesis, University of Bochum, Germany), 2003.
40. A. Dardenne, A. van Lamsweerde, and S. Fickas Goal-directed requirements acquisition Sci. Comput. Progr. 20 1-2 1993 3 50
41. A. Cimatti, E.M. Clarke, E. Giunchiglia, F. Giunchiglia, M. Pistore, M. Roveri, R. Sebastiani, and A. Tacchella NuSMV 2 an opensource tool for symbolic model checking Proceedings of Conference on Computer-Aided Verification (CAV-2002) Copenhagen, Denmark July 2002
42. A. Pnueli, The temporal logic of programs, Proceedings of the 18th IEEE Symposium on Foundation of Computer Science, Providence, RI, 1977, pp. 46-57.
43. S. Berezin, S. Campos, E. Clarke, Compositional reasoning in model checking, Proceedings of COMPOS'97, 1997.
44. Y. Lespérance, T.G. Kelley, J. Mylopoulos, E. Yu, Modeling dynamic domains with ConGolog, Proceedings of CAiSE-99, June 1999.
45. L. Liu, E. Yu, Organization Modeling Environment. WWW, [Accessed 2004/03/04], http://www.cs.toronto.edu/km/ome.
46. J. Mylopoulos, A. Borgida, M. Jarke, and M. Koubarakis Telos - representing knowledge about information systems ACM Trans. Inform. Systems 8 4 1990 325 362
47. G. de Giacomo, H.J. Levesque, An incremental interpreter for high-level programs with sensing, Logical Foundations for Cognitive Agents,1999, pp. 86-102.
48. J. McCarthy, Situations, actions and causal laws. Technical report, Stanford University, 1963 (Reprinted 1968 in Minsky, M.(Ed.): Semantic Information Processing, MIT Press).
49. R. Reiter Knowledge in Action Logical Foundations for Specifying and Implementing Dynamical Systems 2001 MIT Press New York
50. H.J. Levesque, R. Reiter, Y. Lespérance, F. Lin, and R. Scherl Golog a logic programming language for dynamic domains J. Logic Programm. 31 1 1997 59 84
51. M.L. Puterman Markov Decision Processes Discrete Stochastic Dynamic Programming 1994 Wiley New York
52. C. Boutilier, R. Reiter, M. Soutchanski, S. Thrun, Decision-theoretic, high-level agent programming in the situation calculus, AAAI-2000, 17th National Conference on Artificial Intelligence, Austin, Texas, 2000.
53. C. Boutilier, T. Dean, S. Hanks, Decision-theoretic planning: structural assumptions and computational leverage, J. Artif. Intell. Res. 1999.
54. E. Triantaphyllou Multi-Criteria Decision Making Methods A Comparative Study 2000 Kluwer Academic Publishers Dordrecht
55. E. Yu, and L. Liu Modelling trust in the i * strategic actors framework Proceedings of the 3rd Workshop on Deception Fraud and Trust in Agent Societies, Barcelona, Catalonia, Spain (at Agents2000), June, 3-4 2000
56. M. Schoop, and C. Quix DOC.COM a framework for effective negotiation support in electronic marketplaces Comput. Networks 37 2 2001 153 170
57. M. Schoop Electronic markets for architects-the architecture of electronic markets Inform. Systems Frontiers 4 3 2002 285 302
58. M. Jarke, R. Klamma, J. Marock, Zu den Wirkungen des regionalen Kontexts auf Unternehmensgründungen, chapter Gründerausbildung und Gründernetze im Umfeld technischer Hochschulen: ein wirtschaftsinformatischer Versuch, EUL-Verlag, 2003, pp. 115-154.
59. J.S. Monzani, S. Bendahan, Y. Pigneur, Decision and visualization for negotiation, IEEE, Proceedings of the 37th Annual Hawaii International Conference on Systems Sciences, 2004.