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

Abstract:

Computer Automated Multi-Paradigm 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 AToM3, A Tool for Multi-formalism 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.

Año de publicación:

2004

Keywords:

Fuente:

scopus