Multi-agent approach to modeling and simulation of urban transportation systems

This work presents an approach to the modeling and simulation of urban public transport network. The main aspects of the approach are: agent orientation, a combined use of the Object-Z and Statechart formal languages . We show that the adoption of formal languages currently encountered in the software engineering field facilitates the construction of the simulation model and introduces new benefits, such as the reuse of model components. Additionally, formal languages allow one to verify some qualitative properties related to the correctness of the model before facing the simulation phase. Also, the formal approach allows for rapid construction and execution of the simulation itself by using industrial working environments such as Statemate