A specification language for traffic modeling and simulation

摘要

A specification language is defined to outline sections of cities as cell spaces. The characterization of the streets includes traffic direction, number of lanes, etc. Once the urban section is outlined, the traffic flow is automatically set up. The models are formally specified, avoiding a high number of errors in the developed application, and the problem solving time is highly reduced. Therefore, a modeler can concentrate in the problem to solve, instead of being in charge of defining a complex simulation system.