Computer automated multi-paradigm modelling for analysis and design of traffic networks

Computer automated multiparadigm modelling (CAMPaM) is an enabler for domain-specific analysis and design. Traffic, a new untimed visual formalism for vehicle traffic networks, is introduced. The syntax of traffic models is meta-modelled in the entity-relationship diagrams formalism. From this, augmented with concrete syntax information, a visual modelling environment is synthesized using our CAMPaM tool AToM/sup 3/, a tool for multiformalism and meta-modelling. The semantics of the traffic formalism is subsequently modelled by mapping traffic models onto Petri net models. As models' abstract syntax is graph-like, graph rewriting can be used to transform models. The advantages of a domain-specific formalism such as traffic as opposed to a generic formalism such as Petri nets are presented. We demonstrate how mapping onto Petri nets allows one to employ the vast array of Petri net analysis techniques. A coverability graph is generated and conservation analysis is automated by transforming this graph into an integer linear programming specification.

[1]  Jeff Gray,et al.  Domain-Specific Modeling with Visual Languages , 2004 .

[2]  Mark Minas,et al.  Concepts and realization of a diagram editor generator based on hypergraph transformation , 2002, Sci. Comput. Program..

[3]  Juan de Lara,et al.  AToM3: A Tool for Multi-formalism and Meta-modelling , 2002, FASE.

[4]  Pieter J. Mosterman,et al.  Guest editorial: Special issue on computer automated multi-paradigm modeling , 2002, TOMC.

[5]  Juan de Lara,et al.  Using Meta-Modelling and Graph Grammars to Create Modelling Environments , 2003, Electron. Notes Theor. Comput. Sci..

[6]  H. Vangheluwe.  DEVS as a common denominator for multi-formalism hybrid systems modelling , 2000, CACSD. Conference Proceedings. IEEE International Symposium on Computer-Aided Control System Design (Cat. No.00TH8537).

[7]  Pieter J. Mosterman,et al.  Computer automated multi-paradigm modeling , 2002 .

[8]  Grzegorz Rozenberg,et al.  Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations , 1997 .

[9]  G. Nordstrom,et al.  Specifying graphical modeling systems using constraint-based meta models , 2000, CACSD. Conference Proceedings. IEEE International Symposium on Computer-Aided Control System Design (Cat. No.00TH8537).

[10]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[11]  Juan de Lara,et al.  Defining visual notations and their manipulation through meta-modelling and graph transformation , 2004, J. Vis. Lang. Comput..