Abstract
This paper presents the role of meta-modelling and graph transformation in our approach for the modelling, analysis and simulation of complex systems. These are made of components that should be described using different formalisms. For the analysis (or simulation) of the system as a whole, each component is transformed into a single common formalism having an appropriate solution method. In our approach we make meta-models of the formalisms and express transformations between them as graph transformation. These concepts have been automated in the AToM3 tool and as an example, we show the analysis of a hybrid system composed of a temperature controlled liquid in a vessel. The liquid is initially described using differential equations whose behaviour can be abstracted and represented as a Statechart. The controller is modelled by means of a Statechart and the temperature as a Petri net. The Statechart models are translated into Petri nets and joined with the temperature model to form a single Petri net, for which its reachability graph is calculated and Model-Checking techniques are used to verify its properties.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
AGG home page, http://tfs.cs.tu-berlin.de/agg/
Bardohl, R., Ermel, C., Weinhold, I.: AGG and GenGED: Graph Transformation-Based Specification and Analysis Techniques for Visual Languages. In: Proc. GraBaTs 2002. Electronic Notes in Theoretical Computer Science, vol. 72(2) (2002)
Baresi, L., Pezze, M.: Improving UML with Petri nets. Electronic Notes in Theoretical Computer Science, vol. 44(4) (2001)
Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)
de Lara, J., Vangheluwe, H.: AToM3: A Tool for Multi-Formalism Modelling and Meta-Modelling. In: Kutsche, R.-D., Weber, H. (eds.) FASE 2002. LNCS, vol. 2306, pp. 174–188. Springer, Heidelberg (2002), See also the AToM3 home page http://atom3.cs.mcgill.ca
de Lara, J., Vangheluwe, H.: Computer Aided Multi-Paradigm Modelling to process Petri Nets and Statecharts. In: Corradini, A., Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2002. LNCS, vol. 2505, pp. 239–253. Springer, Heidelberg (2002)
Heckel, R., Küster, J.M., Taentzer, G.: Confluence of Typed Attributed Graph Transformation Systems. In: Corradini, A., Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2002. LNCS, vol. 2505, pp. 161–176. Springer, Heidelberg (2002)
Minas, M.: Bootstrapping Visual Components of the DiaGen Specification Tool with DiaGen. In: Proceedings of AGTIVE 2003 (Applications of Graph Transformation with Industrial Relevance), Charlottesville, USA, pp. 391–406 (2003), See also the DiaGen home page http://www2.informatik.uni-erlangen.de/DiaGen/
Schürr, A.: Specification of Graph Translators with Triple Graph Grammars. In: Mayr, E.W., Schmidt, G., Tinhofer, G. (eds.) WG 1994. LNCS, vol. 903, pp. 151–163. Springer, Heidelberg (1995)
Vangheluwe, H., de Lara, J., Mosterman, P.: An Introduction to Multi-Paradigm Modelling and Simulation. In: Proc. AIS 2002, pp. 9–20 (2002), SCS International
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
de Lara, J., Guerra, E., Vangheluwe, H. (2004). Meta-Modelling, Graph Transformation and Model Checking for the Analysis of Hybrid Systems. In: Pfaltz, J.L., Nagl, M., Böhlen, B. (eds) Applications of Graph Transformations with Industrial Relevance. AGTIVE 2003. Lecture Notes in Computer Science, vol 3062. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-25959-6_21
Download citation
DOI: https://doi.org/10.1007/978-3-540-25959-6_21
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22120-3
Online ISBN: 978-3-540-25959-6
eBook Packages: Springer Book Archive