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.

[1]  Marco Ajmone Marsan,et al.  A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems , 1984, TOCS.

[2]  A. Pnueli,et al.  STATEMATE: a working environment for the development of complex reactive systems , 1988, [1988] Proceedings. The Third Israel Conference on Computer Systems and Software Engineering.

[3]  Amir Pnueli,et al.  On the Formal Semantics of Statecharts (Extended Abstract) , 1987, LICS.

[4]  Richard F. Paige,et al.  A Meta-Method for Formal Method Integration , 1997, FME.

[5]  Jörg P. Müller,et al.  COOPERATIVE TRANSPORTATION SCHEDULING : AN APPLICATION DOMAIN FOR DAI , 1996 .

[6]  Marco Ajmone Marsan,et al.  A class of generalised stochastic petri nets for the performance evaluation of multiprocessor systems , 1983, SIGMETRICS '83.

[7]  Klaus Fischer,et al.  Cooperative Transportation Scheduling: An Application Domain for DAI , 1996, Appl. Artif. Intell..

[8]  Yiannis E. Papelis,et al.  HCSM: a framework for behavior and scenario control in virtual environments , 1995, TOMC.

[9]  René David,et al.  Petri nets and grafcet - tools for modelling discrete event systems , 1992 .

[10]  Graeme Smith,et al.  The Object-Z Specification Language , 1999, Advances in Formal Methods.

[11]  K Erol,et al.  APPLICATION OF AGENT TECHNOLOGY TO TRAFFIC SIMULATION , 2000 .

[12]  Michael Jackson,et al.  Conjunction as composition , 1993, TSEM.

[13]  Brahim Chaib-draa,et al.  A simulation approach based on negotiation and cooperation between agents: a case study , 1999, IEEE Trans. Syst. Man Cybern. Part C.