Skip to main content

Bidirectional Method Patterns for Language Editor Migration

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 10890))

Abstract

Language editors play an important role in a Model-Driven Engineering context, as they enable the productive use of Domain Specific Languages (DSLs). To support language editor development, numerous language editor frameworks exist including extensible UML tools such as Enterprise Architect and textual language editor frameworks such as Xtext. When maintaining DSL-based software systems, language editor migration is an important task, which can be well supported with bidirectional transformation (bx) languages. There currently exists, however, no systematic guidelines describing why, when, and how bx languages can be leveraged for language editor migration. In this paper, therefore, we analyse the problem and solution domains for language editor migration, identifying and describing a set of reusable solution strategies that support assessing the potential and advantages of using bx languages in this context.

This is a preview of subscription content, log in via an institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Notes

  1. 1.

    www.emoflon.org.

  2. 2.

    http://www.sparxsystems.com/.

  3. 3.

    http://www.eclipse.org/Xtext/.

  4. 4.

    https://www.eclipse.org/emf/compare.

References

  1. Amelunxen, C., Königs, A., Rötschke, T., Schürr, A.: MOFLON: a standard-compliant metamodeling framework with graph transformations. In: Rensink, A., Warmer, J. (eds.) ECMDA-FA 2006. LNCS, vol. 4066, pp. 361–375. Springer, Heidelberg (2006). https://doi.org/10.1007/11787044_27

    Chapter  Google Scholar 

  2. Anjorin, A., Lauder, M., Patzina, S., Schürr, A.: eMoflon: leveraging EMF and professional CASE tools. In: Informatik 2011. LNI, vol. 192, p. 281. Gesellschaft für Informatik (GI) (2011)

    Google Scholar 

  3. Anjorin, A., Yigitbas, E., Leblebici, E., Schürr, A., Lauder, M., Witte, M.: Description languages for consistency management scenarios based on examples from the industry automation domain. Art Sci. Eng. Program. 2(3), 1–32 (2018). Article 7

    Article  Google Scholar 

  4. Bisbal, J., Lawless, D., Bing, W., Grimson, J.: Legacy information systems: issues and directions. IEEE Softw. 16(5), 103–111 (1999)

    Article  Google Scholar 

  5. Blouin, D., Plantec, A., Dissaux, P., Singhoff, F., Diguet, J.-P.: Synchronization of models of rich languages with triple graph grammars: an experience report. In: Di Ruscio, D., Varró, D. (eds.) ICMT 2014. LNCS, vol. 8568, pp. 106–121. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-08789-4_8

    Chapter  Google Scholar 

  6. Cicchetti, A., Di Ruscio, D., Eramo, R., Pierantonio, A.: JTL: a bidirectional and change propagating transformation language. In: Malloy, B., Staab, S., van den Brand, M. (eds.) SLE 2010. LNCS, vol. 6563, pp. 183–202. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-19440-5_11

    Chapter  Google Scholar 

  7. Czarnecki, K., Foster, J.N., Hu, Z., Lämmel, R., Schürr, A., Terwilliger, J.F.: Bidirectional transformations: a cross-discipline perspective. In: Paige, R.F. (ed.) ICMT 2009. LNCS, vol. 5563, pp. 260–283. Springer, Heidelberg (2009). https://doi.org/10.1007/978-3-642-02408-5_19

    Chapter  Google Scholar 

  8. da Silva, A.R.: Model-driven engineering: a survey supported by the unified conceptual model. Comput. Lang. Syst. Struct. 43, 139–155 (2015)

    Google Scholar 

  9. Diskin, Z.: Algebraic models for bidirectional model synchronization. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., Völter, M. (eds.) MODELS 2008. LNCS, vol. 5301, pp. 21–36. Springer, Heidelberg (2008). https://doi.org/10.1007/978-3-540-87875-9_2

    Chapter  Google Scholar 

  10. Diskin, Z., Wider, A., Gholizadeh, H., Czarnecki, K.: Towards a rational taxonomy for increasingly symmetric model synchronization. In: Di Ruscio, D., Varró, D. (eds.) ICMT 2014. LNCS, vol. 8568, pp. 57–73. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-08789-4_5

    Chapter  Google Scholar 

  11. Engels, G., Sauer, S.: A meta-method for defining software engineering methods. In: Engels, G., Lewerentz, C., Schäfer, W., Schürr, A., Westfechtel, B. (eds.) Graph Transformations and Model-Driven Engineering. LNCS, vol. 5765, pp. 411–440. Springer, Heidelberg (2010). https://doi.org/10.1007/978-3-642-17322-6_18

    Chapter  Google Scholar 

  12. Eramo, R., Marinelli, R., Pierantonio, A.: Towards a taxonomy for bidirectional transformation. In: Di Ruscio, D., Zaytsev, V. (eds.) 2014 SATToSE of CEUR Workshop Proceedings, vol. 1354, pp. 122–131. CEUR-WS.org (2014)

    Google Scholar 

  13. Giese, H., Hildebrandt, S., Neumann, S.: Model synchronization at work: keeping SysML and AUTOSAR models consistent. In: Engels, G., Lewerentz, C., Schäfer, W., Schürr, A., Westfechtel, B. (eds.) Graph Transformations and Model-Driven Engineering. LNCS, vol. 5765, pp. 555–579. Springer, Heidelberg (2010). https://doi.org/10.1007/978-3-642-17322-6_24

    Chapter  Google Scholar 

  14. Harmsen, F., Brinkkemper, S., Oei, H.: Situational method engineering for information system project approaches. In: Verrijn-Stuart, A.A., Olle, T.W. (eds.) IFIP WG8.1 Working Conference on Methods and Associated Tools for the Information Systems Life Cycle, pp. 169–194. Elsevier (1994)

    Google Scholar 

  15. Henderson-Sellers, B., Ralyté, J., Ågerfalk, P.J., Rossi, M.: Situational Method Engineering. Springer, Heidelberg (2014). https://doi.org/10.1007/978-3-642-41467-1

    Book  Google Scholar 

  16. Hermann, F., Gottmann, S., Nachtigall, N., Ehrig, H., Braatz, B., Morelli, G., Pierre, A., Engel, T., Ermel, C.: Triple graph grammars in the large for translating satellite procedures. In: Di Ruscio, D., Varró, D. (eds.) ICMT 2014. LNCS, vol. 8568, pp. 122–137. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-08789-4_9

    Chapter  Google Scholar 

  17. Hidaka, S., Hu, Z., Inaba, K., Kato, H., Nakano, K.: GRoundTram: an integrated framework for developing well-behaved bidirectional model transformations. In: Alexander, P., Pasarenau, C.S., Hosking, J.G. (eds.) ASE 2011, pp. 480–483. IEEE Computer Society (2011)

    Google Scholar 

  18. Hidaka, S., Tisi, M., Cabot, J., Hu, Z.: Feature-based classification of bidirectional transformation approaches. Softw. Syst. Model. 15(3), 907–928 (2016)

    Article  Google Scholar 

  19. Ko, H.-S., Zan, T., Hu, Z.: BiGUL: a formally verified core language for putback-based bidirectional programming. In: 2016 PEPM, pp. 61–72. ACM (2016)

    Google Scholar 

  20. Lämmel, R.: Coupled software transformations revisited. In: van der Storm, T., Balland, E., Varró, D. (eds.) 2016 SLE, pp. 239–252. ACM (2016)

    Google Scholar 

  21. Lano, K.C., Alfraihi, H., Yassipour Tehrani, S., Haughton, H.: Patterns for specifying bidirectional transformations in UML-RSDS. In: 2015 ICSEA. IARIA XPS Press (2015)

    Google Scholar 

  22. Leblebici, E., Anjorin, A., Schürr, A.: Developing eMoflon with eMoflon. In: Di Ruscio, D., Varró, D. (eds.) ICMT 2014. LNCS, vol. 8568, pp. 138–145. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-08789-4_10

    Chapter  MATH  Google Scholar 

  23. Leblebici, E., Anjorin, A., Schürr, A.: Inter-model consistency checking using triple graph grammars and linear optimization techniques. In: Huisman, M., Rubin, J. (eds.) FASE 2017. LNCS, vol. 10202, pp. 191–207. Springer, Heidelberg (2017). https://doi.org/10.1007/978-3-662-54494-5_11

    Chapter  Google Scholar 

  24. Maro, S., Steghöfer, J.-P., Anjorin, A., Tichy, M., Gelin, L.: On integrating graphical and textual editors for a UML profile based domain specific language: an industrial experience. In: Paige, R.F., Di Ruscio, D., Völter, M. (eds.) 2015 SLE, pp. 1–12. ACM (2015)

    Google Scholar 

  25. Mens, T., Van Gorp, P.: A taxonomy of model transformation. ENTCS 152, 125–142 (2006)

    Google Scholar 

  26. 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). https://doi.org/10.1007/3-540-59071-4_45

    Chapter  Google Scholar 

  27. Stevens, P.: A landscape of bidirectional model transformations. In: Lämmel, R., Visser, J., Saraiva, J. (eds.) GTTSE 2007. LNCS, vol. 5235, pp. 408–424. Springer, Heidelberg (2008). https://doi.org/10.1007/978-3-540-88643-3_10

    Chapter  Google Scholar 

  28. Stevens, P.: Towards an algebraic theory of bidirectional transformations. In: Ehrig, H., Heckel, R., Rozenberg, G., Taentzer, G. (eds.) ICGT 2008. LNCS, vol. 5214, pp. 1–17. Springer, Heidelberg (2008). https://doi.org/10.1007/978-3-540-87405-8_1

    Chapter  MATH  Google Scholar 

  29. Stevens, P.: Bidirectional transformations in the large. In: 2017 MoDELS. IEEE Computer Society (2017)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Enes Yigitbas .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer International Publishing AG, part of Springer Nature

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Yigitbas, E., Anjorin, A., Leblebici, E., Grieger, M. (2018). Bidirectional Method Patterns for Language Editor Migration. In: Pierantonio, A., Trujillo, S. (eds) Modelling Foundations and Applications. ECMFA 2018. Lecture Notes in Computer Science(), vol 10890. Springer, Cham. https://doi.org/10.1007/978-3-319-92997-2_7

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-92997-2_7

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-92996-5

  • Online ISBN: 978-3-319-92997-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics