Abstract
Model Transformation has become central to most software engineering activities. It refers to the process of modifying a (usually graphical) model for the purpose of analysis (by its transformation to some other domain), optimization, evolution, migration or even code generation. In this work, we show termination criteria for model transformation based on graph transformation. This framework offers visual and formal techniques based on rules, in such a way that model transformations can be subject to analysis. Previous results on graph transformation are extended by proving the termination of a transformation if the rules applied meet certain criteria. We show the suitability of the approach by an example in which we translate a simplified version of Statecharts into Petri nets for functional correctness analysis.
Juan de Lara, Dániel Varró and Szilvia Varró-Gyapay were partially supported by the Segravis Research Training Network.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
AGG Homepage, http://tfs.cs.tu-berlin.de/agg
Aßmann, U.: Graph Rewrite Systems for Program Optimization. ACM TOPLAS 22(4), 583–637 (2000)
Bardohl, R., Ehrig, H., de Lara, J., Taentzer, G.: Integrating Meta Modelling with Graph Transformation for Efficient Visual Language Definition and Model Manipulation. In: Wermelinger, M., Margaria-Steffen, T. (eds.) FASE 2004. LNCS, vol. 2984, pp. 214–228. Springer, Heidelberg (2004)
Baresi, L., Pezzé, M.: Improving UML with Petri-Nets. ENTCS 44(4) (2001)
Bottoni, P., Koch, M., Parisi-Presicce, F., Taentzer, G.: Termination of High-Level Replacement Units with Application to Model Transformation. In: proceedings of VLFM 2004. ENTCS (2004)
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)
Corradini, A., Montanari, U., Rossi, F., Ehrig, H., Heckel, R., Löwe, M.: Algebraic Approaches to Graph Transformation — Part I: Basic Concepts and Double Pushout Approach. In: [24], pp. 163–245. World Scientific, Singapore (1997)
Gyapay, S.: Model transformation from General Resource Models to Petri nets using graph transformation. Tech. rep., Technical University of Berlin, Dept. of Computer Science (July 2004)
de Lara, J., Taentzer, G.: Automated Model Transformation and its Validation with AToM3 and AGG. In: Blackwell, A.F., Marriott, K., Shimojima, A. (eds.) Diagrams 2004. LNCS (LNAI), vol. 2980, pp. 182–198. Springer, Heidelberg (2004)
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.: Introduction to the Algebraic Theory of Graph Grammars. In: Claus, V., Ehrig, H., Rozenberg, G. (eds.) Graph Grammars 1978. LNCS, vol. 73, pp. 1–69. Springer, Heidelberg (1979)
Ehrig, H., Habel, A., Padberg, J., Prange, U.: Adhesive High-Level Replacement Categories and Systems. In: Ehrig, H., Engels, G., Parisi-Presicce, F., Rozenberg, G. (eds.) ICGT 2004. LNCS, vol. 3256, pp. 144–160. Springer, Heidelberg (2004)
Ehrig, H., Prange, U., Taentzer, G.: Fundamental Theory for Typed Attributed Graph Transformation. In: Ehrig, H., Engels, G., Parisi-Presicce, F., Rozenberg, G. (eds.) ICGT 2004. LNCS, vol. 3256, pp. 161–177. Springer, Heidelberg (2004)
Habel, A., Heckel, R., Taentzer, G.: Graph Grammars with Negative Application Conditions. Special issue of Fundamenta Informaticae 26(3-4), 287–313 (1996)
Harel, D.: Statecharts: A visual formalism for complex systems. Science of Computer Programming 8(3), 231–274 (1987)
Heckel, R., Küster, J., Taentzer, G.: Towards Automatic Translation of UML Models into Semantic Domains. In: Proc. of APPLIGRAPH Workshop on Applied Graph Transformation (AGT 2002) (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)
Object Management Group. UML Profile for Schedulability, Performance and Time, http://www.omg.org
Object Management Group. QVT: Request for Proposal for Queries, Views and Transformations, http://www.omg.org
Pataricza, A.: Semi-decisions in the validation of dependable systems. In: Suppl. Proc. DSN 2001: The International IEEE Conference on Dependable Systems and Networks, Göteborg, Sweden, pp. 114–115 (2001)
Plump, D.: Termination of Graph Rewriting is Undecidable. Fundamenta Informaticae 33(2), 201–209 (1998)
QVT-Partners. Revised submission for MOF 2.0 Query / Views / Transformations RFP., http://qvtp.org
Raistrick, C., Francis, P., Wright, J., Carter, C., Wilkie, I.: Model Driven Architecture with Executable UML. Cambridge University Press, Cambridge (2004), See also the MDA home page at OMG web site, http://www.omg.org/mda/
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)
Süß, J.G., Leicher, A., Busse, S.: OCLPrime – Environment and Language for Model Query, Views and Transformations. In: OCL Workshop at UML 2003, San Francisco (2003)
Varró, D.: A formal semantics of UML Statecharts by model transition systems. In: Corradini, A., Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2002. LNCS, vol. 2505, pp. 378–392. Springer, Heidelberg (2002)
Varró, D.: Automated Model Transformations for the Analysis of IT Systems. Ph.D. thesis, Budapest Univ. of Technology and Economics, Dept. of Measurement and Information Systems (2004)
Varró, D., Varró, G., Pataricza, A.: Designing the automatic transformation of visual languages. Science of Computer Programming 44(2), 205–227 (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ehrig, H., Ehrig, K., de Lara, J., Taentzer, G., Varró, D., Varró-Gyapay, S. (2005). Termination Criteria for Model Transformation . In: Cerioli, M. (eds) Fundamental Approaches to Software Engineering. FASE 2005. Lecture Notes in Computer Science, vol 3442. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-31984-9_5
Download citation
DOI: https://doi.org/10.1007/978-3-540-31984-9_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-25420-1
Online ISBN: 978-3-540-31984-9
eBook Packages: Computer ScienceComputer Science (R0)