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³, 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.