Abstract
Complex systems are characterized by components that may have to be described using different notations. For the analysis of such a system, our approach is to transform each component (preserving behaviour) into a single common formalism with appropriate analysis methods. Both source and target notations are described by means of meta-modelling whereas the translation is modelled by means of graph transformation. During the transformation process, the intermediate models can be a blend of elements of the source and target notations, but at the end the resulting model should be expressed in the target notation alone. In this work we propose defining also a meta-model for the intermediate process, in such a way that we can apply some validation methods to the transformation. In particular, we show how to prove functional behaviour (confluence and termination) via critical pair analysis and layering conditions, and discuss other desirable properties of the transformation, namely: syntactic consistency and behaviour preservation. The automation of these concepts has been carried out by combining the AToM3 and AGG tools.
This is a preview of subscription content, log in via an institution to check access.
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
Baresi, L., Mauri, M., Pezze, M.: PLCTools: Graph Transformation Meets PLC Design. Electronic Notes in Theoretical Computer Science, vol. 72(2) (2002)
Bottoni, P., Koch, M., Parisi-Presicce, F., Taentzer, G.: A Visualization of OCL using Collaborations. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol. 2185, p. 257. Springer, Heidelberg (2001)
Bottoni, P., Taentzer, G., Schürr, A.: Efficient Parsing of Visual Languages based on Critical Pair Analysis and Contextual Layered Graph Transformation. In: Proc. Visual Languages 2000, pp. 59–60. IEEE Computer Society, Los Alamitos (2000)
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), 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)
Ehrig, H., Engels, G., Kreowski, H.-J., Rozenbergs, G. (eds.): The Handbook of Graph Grammars and Computing by Graph Transformation, vol. 2. World Scientific, Singapore (1999)
Ermel, C., Bardohl, R.: Scenario Views of Visual Behavior Models in GenGED. In: Proc. GT-VMT 2002, at ICGT 2002, pp. 71–83 (2002)
Fishman, G.S.: Discrete Event Simulation. Modeling, Programming and Analysis. Springer Series in Operations Research (2001)
Gogolla, M., Lindow, A.: Transforming Data Models with UML. In: Omelayenko, B., Klein, M. (eds.) Knowledge Transformation for the Semantic Web, pp. 18–33. IOS Press, Amsterdam (2003)
Gordon, G.: System Simulation, 2nd edn. Prentice-Hall, Englewood Cliffs (1996)
Guerra, E., de Lara, J.: A Framework for the Verification of UML Models. In: Examples using Petri Nets, Proceedings of JISBD 2003, Alicante, pp. 325–334.
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)
Kreowski, H.-J., Kuske, S.: Graph Transformation Units and Modules. In: [6] (1999)
Küster, J.M., Heckel, R., Engels, G.: Defining and and Validating Transformations of UML Models. In: Proc. IEEE Symposium on Visual Languages and Formal Methods (2003)
Meta Object Facility v1.4 Specification and Model Driven Architecture at the OMG web site http://www.omg.org
Plump, D.: Hypergraph Rewriting: Critical Pairs and Undecidability of Confluence. In: Term Graph Rewriting, pp. 201–214. Wiley, Chichester (1993)
Ramchandani, C.: Performance Evaluation of Asynchronous Concurrent Systems by Timed Petri Nets. Ph.D. Thesis, Massachusetts Inst. of Tech., Cambridge (1973)
Rekers, J., Schürr, A.: Defining and parsing visual languages with layered graph grammars. Journal of Visual Languages and Computing 8(1), 27–55 (1997)
Rozenberg, G. (ed.): Handbook of Graph Grammars and Computing by Graph Transformation, vol. 1. World Scientific, Singapore (1997)
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)
Taentzer, G., Ermel, C., Rudolf, M.: The AGG Approach: Language and Tool Environment. In [6] (1999), See also the AGG Home Page http://tfs.cs.tu-berlin.de/agg
Varro, D.: Towards Formal Verification of Model Transformations. In: The PhD Student workshop at Formal Methods for Object Oriented Distributed Systems FMOODS 2002 (2002)
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., Taentzer, G. (2004). Automated Model Transformation and Its Validation Using AToM3 and AGG. In: Blackwell, A.F., Marriott, K., Shimojima, A. (eds) Diagrammatic Representation and Inference. Diagrams 2004. Lecture Notes in Computer Science(), vol 2980. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-25931-2_18
Download citation
DOI: https://doi.org/10.1007/978-3-540-25931-2_18
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-21268-3
Online ISBN: 978-3-540-25931-2
eBook Packages: Springer Book Archive