Modelling and analysis of traffic networks based on graph transformation
Entity
UAM. Departamento de Ingeniería InformáticaDate
2005Citation
FORMS/FORMAT 2004: Formal Methods for Automation and Safety in Railway and Automotive Systems: proceedings of 5th Symposium FORMS/FORMAT 2004. Braunschweig.ISBN
978-3-9803363-8-3Funded by
Juan de Lara’s work has been partially sponsored by a grant from the E.U. SEGRAVIS research network (HPRN-CT-2002-00) and the Spanish Ministry of Science and Technology (TIC2002-01948). Hans Vangheluwe gratefully acknowledges partial support for this work by a National Sciences and Engineering Research Council of Canada (NSERC) Individual Research Grant.Subjects
Meta-Modelling; Graph Transformation; Domain Specific Visual Languages; Traffic Networks; Petri nets; InformáticaNote
This is an electronic version of the paper presented at the Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems, FORMS/FORMATS 2004 , held in Braunschweig on 2004Abstract
We present the formal definition of a domain specific visual language (Traffic) for the area of
traffic networks. The syntax has been specified by means of meta-modelling. For the semantics, two
approaches have been followed. In the first one, graph transformation is used to specify an operational
semantics. In the second one we include timing information and a denotational semantics is defined in
terms of Timed Transition Petri Nets (TTPN). The transformation from the Traffic formalism into TTPN
was also defined by graph transformation. Both approaches have been used for the analysis of Traffic
models. The ideas have been implemented in the AToM3 tool and are illustrated with examples.
Files in this item
Google Scholar:Lara Jaramillo, Juan de
-
Vangheluwe, Hans
-
Mosterman, Pieter J.
This item appears in the following Collection(s)
Related items
Showing items related by title, author, creator and subject.