Abstract
As model transformations are increasingly used in model-driven engineering, the dependability of model transformation systems becomes crucial to model-driven development deliverables. As any other software, model transformations can contain design faults, be used in inappropriate ways, or may be affected by problems arising in the transformation execution environment at run-time. We propose in this paper to introduce exception handling into model transformation languages to increase the dependability of model transformations. We first introduce a classification of different kinds of exceptions that can occur in the context of model transformations. We present an approach in which exceptions are modelled in the transformation language and the transformation designer is given constructs to define exception handlers to recover from exceptional situations. This facilitates the debugging of transformations at design time. It also enables the design of fault-tolerant transformations that continue to work reliably even in the context of design faults, misuse, or faults in the execution environment.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Dony, C.: Exception handling and object-oriented programming: Towards a synthesis. In: ECOOP. SIGPLAN, vol. 25, pp. 322–330. ACM Press, New York (1990)
Goodenough, J.B.: Exception handling: Issues and a proposed notation. Communications of the ACM 18, 683–696 (1975)
Syriani, E., Vangheluwe, H.: DEVS as a Semantic Domain for Programmed Graph Transformation. In: Discrete-Event Modeling and Simulation: Theory and Applications, CRC Press, Boca Raton (2009)
Guerra, E., de Lara, J.: Adding recursion to graph transformation. In: GT-VMT 2007, ECEASST, Braga, vol. 6 (2007)
Zündorf, A., Schürr, A.: Nondeterministic control structures for graph rewriting systems. In: Schmidt, G., Berghammer, R. (eds.) WG 1991. LNCS, vol. 570, pp. 48–62. Springer, Heidelberg (1992)
Object Management Group: Meta Object Facility 2.0 QVT Specification (2008)
Fischer, T., Niere, J., Turunski, L., Zündorf, A.: Story diagrams: A new graph rewrite language based on UML and Java. In: Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.) TAGT 1998. LNCS, vol. 1764, pp. 296–309. Springer, Heidelberg (2000)
Agrawal, A., Karsai, G., Kalmar, Z., Neema, S., Shi, F., Vizhanyo, A.: The design of a language for model transformations. SoSym 5, 261–288 (2006)
Syriani, E., Vangheluwe, H.: De-/re-constructing model transformation languages. In: GT-VMT, ECEASST, Paphos (2010)
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)
Hausmann, J.H., Heckel, R., Taentzer, G.: Detection of conflicting functional requirements in a use case-driven approach. In: ICSE 2002, pp. 105–115. ACM, Orlando (2002)
Gardner, T., Griffin, C., Koehler, J., Hauser, R.: A review of QVT submissions and recommendations towards the final standard. In: MetaModelling for MDA, pp. 178–197 (2003)
Jouault, F., Kurtev, I.: Transforming models with ATL. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol. 3844, pp. 128–138. Springer, Heidelberg (2006)
Kühne, T., Mezei, G., Syriani, E., Vangheluwe, H., Wimmer, M.: Systematic transformation development. In: ECEASST, vol. 21 (2009)
Brambilla, M., Ceri, S., Comai, S., Tziviskou, C.: Exception handling in workflow-driven web applications. In: WWW 2005, Chiba, pp. 170–180 (2005)
Pintér, G., Majzik, I.: Modeling and analysis of exception handling by using UML statecharts. In: Guelfi, N., Reggio, G., Romanovsky, A. (eds.) FIDJI 2004. LNCS, vol. 3409, pp. 58–67. Springer, Heidelberg (2005)
Jouault, F., Allilaire, F., Bézivin, J., Kurtev, I.: ATL: A model transformation tool. Science of Computer Programming, Special Issue on EST 72, 31–39 (2008)
Dvorak, R.: Model transformation with operational QVT. In: EclipseCon 2008 (2008)
France Telecom R&D: SmartQVT (2008)
Varró, D., Balogh, A.: The model transformation language of the VIATRA2 framework. Science of Computer Programming 68, 214–234 (2007)
Syriani, E., Kienzle, J., Vangheluwe, H.: Exceptional transformations. Technical Report SOCS-TR-2010.2, McGill University, School of Computer Science (2010)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Syriani, E., Kienzle, J., Vangheluwe, H. (2010). Exceptional Transformations. In: Tratt, L., Gogolla, M. (eds) Theory and Practice of Model Transformations. ICMT 2010. Lecture Notes in Computer Science, vol 6142. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-13688-7_14
Download citation
DOI: https://doi.org/10.1007/978-3-642-13688-7_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-13687-0
Online ISBN: 978-3-642-13688-7
eBook Packages: Computer ScienceComputer Science (R0)