Modeling and simulation of tests for agents

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

Volumn 4196 LNAI, Issue , 2006, Pages 49-60

  Gierke, Martina ^a   Himmelspach, Jan ^a   Röhl, Mathias ^a   Uhrmacher, Adelinde M ^a  

^a UNIVERSITY OF ROSTOCK   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; COMPUTER SIMULATION; COMPUTER SOFTWARE; SOFTWARE ENGINEERING;

MODEL BASED TESTING; SIMULATION MODEL; SOFTWARE SYSTEMS; SOFTWARE TESTING;

SOFTWARE AGENTS;

EID: 33750276431     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11872283_5     Document Type: Conference Paper

References (25)

1. 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)
2. 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
3. Beizer, B.: Software Testing Techniques. 2nd edn. Van Nostrand Reinhold, New York (1990)
4. Bashir, I., Goel, A.L.: Testing Object-Oriented Software: Life Cycle Solutions. Springer (2000)
5. Prenninger, W., Pretschner, A.: Abstractions for model-based testing. In: Proc. Test and Analysis of Component-based Systems (TACoS'04), Barcelona (2004)
6. Hahn, G., Philipps, J., Pretschner, A., Stauner, T.: Prototype-based tests for hybrid reactive systems. In: Proc. 14th IEEE Intl. Workshop on Rapid System Prototyping (RSP'03), IEEE Computer Society (2003) 78-85
7. Kopetz, H.: Software engineering for real-time: a roadmap. In: ICSE - Future of SE Track, ACM Press (2000) 201-211
8. Himmelspach, J., Uhrmacher, A.M.: A component-based simulation layer for JAMES. In: Proc. of the 18th Workshop on Parallel and Distributed Simulation (PADS), May 16-19, 2004, Kufstein, Austria. (2004) 115-122
9. Zeigler, B.P., Praehofer, H., Kim, T.G.: Theory of Modeling and Simulation. 2nd edn. Academic Press, London (2000)
10. Uhrmacher, A.M.: Dynamic Structures in Modeling and Simulation - a Reflective Approach. ACM Transactions on Modeling and Simulation 11(2) (2001) 206-232
11. Zeigler, B.P.: Multifacetted Modelling and Discrete Event Simulation. Academic Press, London (1984)
12. Röhl, M., Uhrmacher, A.M.: Controlled experimentation with agents - models and implementations. In Gleizes, M.P., Omicini, A., Zambonelli, F., eds.: Post-Proc. of the 5th Workshop on Engineering Societies in the Agents World. Volume 3451 of Lecture Notes in Artificial Intelligence., Springer Verlag (2005) 292-304
13. Pollack, M.E., Brown, L., Colbry, D., McCarthy, C.E., Orosz, C., Peintner, B., Ramakrishnan, S., Tsamardinos, L: Autominder: An Intelligent Cognitive Orthotic System for People with Memory Impairment. Robotics and Autonomous Systems 44 (2003) 273-282
14. Gierke, M.: Coupling Autominder and James. Master's thesis, University of Rostock (2004)
15. Gierke, M., Uhrmacher, A.M.: Modeling Elderly Behavior for Simulation-based Testing of Agent Software. Conceptual Modeling and Simulation CSM 2005 (2005)
16. 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(9-10) (2002) 795-811
17. Rudary, M., Singh, S., Pollack, M.E.: Adaptive Cognitive Orthotics: Combining Reinforcement Learning and Constraint-Based Temporal Reasoning. 21st International Conference on Machine Learning (2004)
18. Sifakis, J., Tripakis, S., Yovine, S.: Building models of real-time systems from application software. Proceedings of the IEEE 91(1) (2003) 100-111
19. MathWorks: Simulink. http://www.mathworks.com/products/simulink/(2005)
20. Pollack, M.E.: Planning in dynamic environments: The DIPART system. In Tate, A., ed.: Advanced Planning Technology: Technological Achievements of the ARPA/Rome Laboratory Planning Initiative, AAAI Press, Menlo Park, CA (1996) 218-225
21. Anderson, S.D.: Simulation of multiple time-pressured agents. In: Proc. of the Wintersimulation Conference, WSC'97, Atlanta (1997)
22. Kitano, H., Tadokoro, S.: RoboCup Rescue: A grand challenge for multiagent and intelligent systems. AI Magazine 22(1) (2001) 39-52
23. Wiles, A.: ETSI testing activities and the use of TTCN-3. Lecture Notes in Computer Science 2078 (2001) 123-128
24. Schattenberg, B., Uhrmacher, A.M.: Planning agents in James. Proceedings of the IEEE 89(2) (2001) 158-173
25. DIANE-Projekt: Dienste in Ad-Hoc-Netzen. http://www.ipd.uni-karlsruhe.de/ DIANE (2005)