Exploiting Domain-Specific Knowledge to Refine Simulation Specifications

This paper discusses our approach to the problem of refining high-level simulation specifications. Our domain is simulated combat training for tank platoon members. Our input is a high-level specification for a training scenario and our output is an executable specification for the behavior of a network-based combat simulator. Our approach combines a detailed model of the tank-training domain with non-linear planning and constraint satisfaction techniques. Our initial implementation is successful in large part because of our use of domain-knowledge to limit the branching factor of the planner and the constraint satisfaction engine.

• Type: Conference
• Year: 1997
• Where: KBSE
• Authors: David Pautler, Steven Woods, Alex Quilici
• Keywords: Constraint Satisfaction, Constraint Satisfaction Engine, Constraint Satisfaction Techniques, KBSE 1997, Software Engineering