Sciweavers

WSC
2004

Computer Automated Multi-Paradigm Modelling for Analysis and Design of Traffic Networks

14 years 25 days ago
Computer Automated Multi-Paradigm Modelling for Analysis and Design of Traffic Networks
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 t 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 thi...
Hans Vangheluwe, Juan de Lara
Added 31 Oct 2010
Updated 31 Oct 2010
Type Conference
Year 2004
Where WSC
Authors Hans Vangheluwe, Juan de Lara
Comments (0)