×

zbMATH — the first resource for mathematics

Controlling reuse in pattern-based model-to-model transformations. (English) Zbl 1309.68107
Engels, Gregor (ed.) et al., Graph transformations and model-driven engineering. Essays dedicated to Manfred Nagl on the occasion of his 65th birthday. Berlin: Springer (ISBN 978-3-642-17321-9/pbk). Lecture Notes in Computer Science 5765, 175-201 (2010).
Summary: Model-to-model transformation is a central activity in Model-Driven Engineering that consists of transforming models from a source to a target language. Pattern-based model-to-model transformation is our approach for specifying transformations in a declarative, relational and formal style. The approach relies on patterns describing allowed or forbidden relations between two models. These patterns are compiled into operational mechanisms to perform forward and backward transformations.
Inspired by QVT-Relations, in this paper we incorporate into our framework the so-called check-before-enforce semantics, which checks the existence of suitable elements before creating them (i.e. it promotes reuse). Moreover, we enable the use of keys in order to describe when two elements are considered equal. The presented techniques are illustrated with a bidirectional transformation between Web Services Description Language and Enterprise Java Beans models.
For the entire collection see [Zbl 1200.68006].
MSC:
68Q42 Grammars and rewriting systems
68N99 Theory of software
68R10 Graph theory (including graph drawing) in computer science
Software:
Oracle; WebSphere
PDF BibTeX XML Cite
Full Text: DOI
References:
[1] Akehurst, D.H., Kent, S.: A relational approach to defining transformations in a metamodel. In: Jézéquel, J.-M., Hussmann, H., Cook, S. (eds.) UML 2002. LNCS, vol. 2460, pp. 243–258. Springer, Heidelberg (2002) · Zbl 1018.68518 · doi:10.1007/3-540-45800-X_20
[2] Braun, P., Marschall, F.: Transforming object oriented models with BOTL. ENTCS 72(3) (2003)
[3] de Lara, J., Bardohl, R., Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Attributed graph transformation with node type inheritance. TCS 376(3), 139–163 (2007) · Zbl 1116.68042 · doi:10.1016/j.tcs.2007.02.001
[4] de Lara, J., Guerra, E.: Pattern-based model-to-model transformation. In: Ehrig, H., Heckel, R., Rozenberg, G., Taentzer, G. (eds.) ICGT 2008. LNCS, vol. 5214, pp. 426–441. Springer, Heidelberg (2008) · Zbl 1175.68114 · doi:10.1007/978-3-540-87405-8_29
[5] de Lara, J., Guerra, E.: Formal support for QVT-Relations with coloured Petri nets. In: Schürr, A., Selic, B. (eds.) MODELS 2009. LNCS, vol. 5795, pp. 256–270. Springer, Heidelberg (2009) · Zbl 05617007 · doi:10.1007/978-3-642-04425-0_19
[6] Dehayni, M., Féraud, L.: An approach of model transformation based on attribute grammars. In: Konstantas, D., Léonard, M., Pigneur, Y., Patel, S. (eds.) OOIS 2003. LNCS, vol. 2817, pp. 412–423. Springer, Heidelberg (2003) · doi:10.1007/978-3-540-45242-3_42
[7] Ehrig, H., Ehrig, K., Ermel, C., Hermann, F., Taentzer, G.: Information preserving bidirectional model transformations. In: Dwyer, M.B., Lopes, A. (eds.) FASE 2007. LNCS, vol. 4422, pp. 72–86. Springer, Heidelberg (2007) · Zbl 05270464 · doi:10.1007/978-3-540-71289-3_7
[8] Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of algebraic graph transformation. Springer, Heidelberg (2006) · Zbl 1095.68047
[9] Giese, H., Wagner, R.: From model transformation to incremental bidirectional model synchronization. Software and Systems Modeling 8(1), 21–43 (2009) · Zbl 05672218 · doi:10.1007/s10270-008-0089-9
[10] Greenyer, J., Kindler, E.: Comparing relational model transformation technologies: Implementing Query/View/Transformation with Triple Graph Grammars. Software and Systems Modeling 9(1), 21–46 (2010) · Zbl 05672245 · doi:10.1007/s10270-009-0121-8
[11] Guerra, E., de Lara, J.: Event-driven grammars: Relating abstract and concrete levels of visual languages. Software and Systems Modeling, special section on ICGT 2004 6(3), 317–347 (2007)
[12] Guerra, E., de Lara, J., Orejas, F.: Pattern-based model-to-model transformation: Handling attribute conditions. In: Paige, R.F. (ed.) ICMT 2009. LNCS, vol. 5563, pp. 83–99. Springer, Heidelberg (2009) · Zbl 05572087 · doi:10.1007/978-3-642-02408-5_7
[13] IBM WebSphere, http://www-01.ibm.com/software/websphere/
[14] Kindler, E., Wagner, R.: Triple graph grammars: Concepts, extensions, implementations, and application scenarios. Technical Report TR-RI-07-284, Paderborn University (2007)
[15] Klar, F., Lauder, M., Königs, A., Schürr, A.: Extended triple graph grammars with compatible graph translators. LNCS, pp. 177–203. Springer, Heidelberg (2010) · Zbl 1309.68110
[16] Königs, A., Schürr, A.: Tool integration with triple graph grammars - a survey. ENTCS 148(1), 113–150 (2006)
[17] Mellor, S.J., Scott, K., Uhl, A., Weise, D.: MDA Distilled. Addison-Wesley Object Technology Series (2004)
[18] MTF. Model Transformation Framework, http://www.alphaworks.ibm.com/tech/mtf
[19] OMG: Metamodel and UML profile for Java and EJB specification (2004), http://www.omg.org/cgi-bin/doc?formal/04-02-02.pdf
[20] Oracle containers for J2EE, http://www.oracle.com/technology/tech/java/oc4j
[21] Orejas, F., Guerra, E., de Lara, J., Ehrig, H.: Correctness, completeness and termination of pattern-based model-to-model transformation. In: Kurz, A., Lenisa, M., Tarlecki, A. (eds.) CALCO 2009. LNCS, vol. 5728, pp. 383–397. Springer, Heidelberg (2009) · Zbl 1239.68026 · doi:10.1007/978-3-642-03741-2_26
[22] Orejas, F., Wirsing, M.: On the specification and verification of model transformations. In: Palsberg, J. (ed.) Semantics and Algebraic Specification. LNCS, vol. 5700, pp. 140–161. Springer, Heidelberg (2009) · Zbl 1253.68232 · doi:10.1007/978-3-642-04164-8_8
[23] QVT (2008), http://www.omg.org/spec/QVT/1.0/PDF/ · Zbl 1283.68201
[24] Roman, E., Sriganesh, R.P., Brose, G.: Mastering Enterprise JavaBeans, 3rd edn. Wiley, Chichester (2004)
[25] 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) · doi:10.1007/3-540-59071-4_45
[26] SPEM (2008), http://www.omg.org/cgi-bin/doc?formal/08-04-01.pdf
[27] Stevens, P.: Bidirectional model transformations in QVT: Semantic issues and open questions. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol. 4735, pp. 1–15. Springer, Heidelberg (2007) · Zbl 05314755 · doi:10.1007/978-3-540-75209-7_1
[28] Völter, M., Stahl, T.: Model-driven software development. Wiley, Chichester (2006)
[29] W3C: WSDL v1.1. specification (2001), http://www.w3.org/TR/wsdl
[30] W3C: SOAP v1.2. specification (2007), http://www.w3.org/TR/soap
[31] Winkelmann, J., Taentzer, G., Ehrig, K., Küster, J.M.: Translation of restricted OCL constraints into graph constraints for generating meta model instances by graph grammars. ENTCS 211, 159–170 (2008) · Zbl 1283.68216
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.