Controlled experimentation with agents - Models and implementations

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3451 LNAI, Issue , 2005, Pages 292-304

  Röhl, Mathias ^a   Uhrmacher, Adelinde M ^a  

^a UNIVERSITY OF ROSTOCK   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SIMULATION; INTELLIGENT AGENTS; NETWORK PROTOCOLS; SOFTWARE ENGINEERING; SYSTEMS ANALYSIS;

CONTRACT NET PROTOCOL; DEVELOPMENT PROCESS; DISCRETE-EVENT FORMALISM; INTERACTING AGENTS;

MULTI AGENT SYSTEMS;

EID: 26844445714     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11423355_21     Document Type: Conference Paper

References (31)

1. Castro, J., Kolp, M., Mylopoulos, J.: Towards requirements-driven information systems engineering: the Tropos project. Information Systems 27 (2002) 365-389
2. Odell, J., Parunak, H.V.D., Fleischer, M., Breuckner, S.: Agent UML: A formalism for specifying multiagent software systems. In Giunchiglia, F., Odell, J., Weiss, G., eds.: Agent-Oriented Software Engineering III. Volume 2585 of Lecture Notes in Computer Science. Springer (2003) 16-31
3. van der Hoek, W., Wooldrige, M.: Towards a logic of rational agency. Journal of Autonomous Agents and Multi-Agent Systems 11 (2003) 133-157
4. Ryan, M., Schobbens, P.Y.: Agents and roles: Refinement in alternating-time temporal logic. In Meyer, J., Tambe, M., eds.: Intelligent Agents VIII: Agent Theories, Architectures, and Languages. Volume 2333 of Lecture Notes in Artificial Intelligence. Springer-Verlag (2002) 100-114
5. Wooldridge, M., Jennings, N.R.: Pitfalls of agent-oriented development. In: Proceedings of the 2nd International Conference on Autonomous Agents. (1998) 385-391
6. Dam, K.H., Winikoff, M.: Comparing agent-oriented methodologies. In: Proceedings of the Fifth International Bi-Conference Workshop on Agent-Oriented Information Systems, Melbourne (2003)
7. Hilaire, V., Koukam, A., Gruer,:P., Müller, J.P.: Formal specification and prototyping of multi-agent systems. In: ESAW 2000. Volume 1972 of Lecture Notes in Artificial Intelligence. Springer Verlag (2000) 114-127
8. Moro, G., Viroli, M.: On observing and constraining active systems. In: ESAW 2000. Volume 1972 of Lecture Notes in Artificial Intelligence. Springer Verlag (2000) 34-51
9. Wooldridge, M.: The computational complexity of agent design problems. In: Proceedings of the Fourth International Conference of Multi-Agent Systems (ICMAS-2000), Boston (2000) 341-348
10. Lutz, R.: Software engineering for safety: A roadmap. In Finkelstein, A., ed.: ICSE - Future of SE Track, ACM Press (2000) 213-224
11. Schütz, W.: The testability of distributed real-time systems. Kluwer Academic Publishers, Boston / Dordrecht / London (1993)
12. Myers, G.J.: The Art of Software Testing. John Wiley & Sons, Inc. (1979)
13. Wolpert, D.H., Lawson, J.W.: Designing agent collectives for systems with markovian dynamics. In: AAMAS 2002: Autonomous Agents and Multi-Agent Systems. (2002)
14. Montgomery, T.A., Durfee, E.H.: Using MICE to Study Intelligent Dynamic Coordination. In: Second International Conference on Tools for Artificial Intelligence, Washington, DC, Institute of Electrical and Electronics Engineers (1990) 438-444
15. Pollack, M.E.: Planning in Dynamic Environments: The DIPART System. In Tate, A., ed.: Advanced Planning Technology. AAAI (1996)
16. Minsky, M.: Models, minds, machines. In: Proc. IFIP Congress. (1965) 45-49
17. Zeigler, B.P.: Multifacetted Modelling and Discrete Event Simulation. Academic Press, London (1984)
18. Zeigler, B.P.: Theory of Modelling and Simulation. John Wiley, New York (1976)
19. Vangheluwe, H.: DEVS as a common denominator for multi-formalism hybrid system modeling. In: Proceedings of the IEEE International Symposium on Computer Aided Control System Design, Anchorage, Alaska (2000) 129-134
20. Giambiasi, N., Paillet, J.L., Châne, F.: From timed automata to DEVS models. In Chick, S., Sánchez, P., Ferrin, D., Morrice, D., eds.: Proceedings of the 2003 Winter Simulation Conference, New Orleans, USA (2003) 923-931
21. Zeigler, B.P., Praehofer, H., Kim, T.G.: Theory of Modeling and Simulation. 2nd edn. Academic Press, London (2000)
22. Fujimoto, R.M.: Parallel and Distributed Simulation Systems. John Wiley and Sons (2000)
23. Uhrmacher, A.M.: Dynamic Structures in Modeling and Simulation - a Reflective Approach. ACM Transactions on Modeling and Simulation 11 (2001) 206-232
24. Schattenberg, B., Uhrmacher, A.M.: Planning agents in James. Proceedings of the IEEE 89 (2001) 158-173
25. FIPA: FIPA Contract Net Interaction Protocol Specification. http://www.fipa.org/specs/fipa00029 (2002)
26. Anderson, S.D.: Simulation of multiple time-pressured agents. In: Proc. of the Wintersimulation Conference, WSC'97, Atlanta (1997)
27. Browne, S., Dongarra, J., Garner, N., Ho, G.S., Mucci, P.: A portable programming interface for performance evaluation on modern processors. The International Journal of High Performance Computing Applications 14 (2000) 189-204
28. Degenring, D., Röhl, M., Uhrmacher, A.M.: Discrete event, multi-level simulation of metabolite channeling. BioSystems 75 (2004) 29-41
29. Uhrmacher, A.M., Röhl, M., Kullick, B.: The role of reflection in simulating and testing agents: An exploration based on the simulation system James. Applied Artificial Intelligence 16 (2002) 795-811
30. Himmelspach, J., Röhl, M., Uhrmacher, A.: Simulation for Testing Software Agents - An Exploration Based on James. In Chick, S., Sánchez, P., Ferrin, D., Morrice, D., eds.: Proceedings of the 2003 Winter Simulation Conference, New Orleans, USA (2003) 799-807
31. Ewert, U.C., Röhl, M., Uhrmacher, A.M.: What good are deliberative interventions in large scale disasters? Exploring the consequences of crisis managment in pre-modern towns with agent-oriented simulation. In: Agent Based Computational Demography. Physica Verlag (Springer) (2003)