Skip to main content

Graph Transformations for Evolving Domain Knowledge

  • Conference paper
Graph Transformations (ICGT 2012)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 7562))

Included in the following conference series:

  • 730 Accesses

Abstract

Graph transformation (GraTra) systems have been used for building tools in a wide spectrum of application domains. A GraTra system constitutes an operational specification which may be either interpreted directly or compiled into executable code. The specification incorporates domain knowledge concerning types of objects, operations to be performed, and patterns to be instantiated. In many applications, domain knowledge is not fixed; rather, it evolves while the tool based on the specification is being used. We examine and compare different approaches to support evolving domain knowledge which were developed in several projects in different domains. Our work may be viewed as a step towards engineering of GraTra Systems for evolving domain knowledge — a topic of practical relevance which has not gained sufficient attention so far. Although the examples regarded in this paper have been formulated in PROGRES [26], the arguments and results hold for other GraTra systems, as well.

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

Access this chapter

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 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

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Arendt, T., Biermann, E., Jurack, S., Krause, C., Taentzer, G.: Henshin: Advanced Concepts and Tools for In-Place EMF Model Transformations. In: Petriu, D.C., Rouquette, N., Haugen, Ø. (eds.) MODELS 2010, Part I. LNCS, vol. 6394, pp. 121–135. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  2. Banerjee, J., Kim, W., Kim, H.J., Korth, H.F.: Semantics and implementation of schema evolution in object-oriented databases. In: Proceedings of the 1987 ACM SIGMOD International Conference on Management of Data (SIGMOD 1987), pp. 311–322. ACM Press (1987)

    Google Scholar 

  3. Becker, S., Nagl, M., Westfechtel, B.: Incremental and interactive integrator tools for design product consistency. In: Nagl, Marquardt (eds.) [20], pp. 224–267

    Google Scholar 

  4. Bergmann, G., Ráth, I., Varró, G., Varró, D.: Change-driven model transformations: Change (in) the rule to rule the change. Software and Systems Modeling 11(3), 431–461 (2012)

    Article  Google Scholar 

  5. Bottoni, P., Guerra, E., de Lara, J.: A language-independent and formal approach to pattern-based modelling with support for composition and analysis. Information and Software Technology 52, 821–844 (2010)

    Article  Google Scholar 

  6. Ehrig, H., Engels, G., Kreowski, H.J., Rozenberg, G. (eds.): Handbook on Graph Grammars and Computing by Graph Transformation: Applications, Languages, and Tools, vol. 2. World Scientific, Singapore (1999)

    Google Scholar 

  7. Engels, G., Heckel, R., Küster, J.M., Groenewegen, L.: Consistency-Preserving Model Evolution through Transformations. In: Jézéquel, J.-M., Hussmann, H., Cook, S. (eds.) UML 2002. LNCS, vol. 2460, pp. 212–226. Springer, Heidelberg (2002)

    Google Scholar 

  8. Engels, G., Lewerentz, C., Nagl, M., Schäfer, W., Schürr, A.: Building integrated software development environments part I: Tool specification. ACM Transactions on Software Engineering and Methodology 1(2), 135–167 (1992)

    Article  Google Scholar 

  9. Gatzemeier, F.H.: Authoring support based on user-serviceable graph transformation. In: Pfaltz, et al. (eds.) [21], pp. 170–185

    Google Scholar 

  10. Heimann, P., Krapp, C.A., Westfechtel, B.: Graph-based software process management. International Journal of Software Engineering and Knowledge Engineering 7(4), 431–455 (1997)

    Article  Google Scholar 

  11. Heller, M., Jäger, D., Krapp, C.A., Nagl, M., Schleicher, A., Westfechtel, B., Wörzberger, R.: An adaptive and reactive management system for project coordination. In: Nagl, Marquardt (eds.) [20], pp. 300–366

    Google Scholar 

  12. Heller, M., Schleicher, A., Westfechtel, B.: Graph-based specification of a management system for evolving development processes. In: Pfaltz, et al. (eds.) [21], pp. 334–351

    Google Scholar 

  13. Herrmannsdoerfer, M., Vermolen, S.D., Wachsmuth, G.: An Extensive Catalog of Operators for the Coupled Evolution of Metamodels and Models. In: Malloy, B., Staab, S., van den Brand, M. (eds.) SLE 2010. LNCS, vol. 6563, pp. 163–182. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  14. Jäger, D., Schleicher, A., Westfechtel, B.: Using UML for Software Process Modeling. In: Nierstrasz, O., Lemoine, M. (eds.) ESEC/FSE 1999. LNCS, vol. 1687, pp. 91–108. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  15. Karsai, G.: Lessons Learned from Building a Graph Transformation System. In: Engels, G., Lewerentz, C., Schäfer, W., Schürr, A., Westfechtel, B. (eds.) Nagl Festschrift. LNCS, vol. 5765, pp. 202–223. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  16. Kraft, B., Nagl, M.: Parameterized specification of conceptual design tools in civil engineering. In: Pfaltz, et al. (eds.) [21], pp. 90–105

    Google Scholar 

  17. Levendovszky, T., Lengyel, L., Mészáros, T.: Supporting domain-specific model patterns with metamodeling. Software and Systems Modeling 8, 501–520 (2009)

    Article  Google Scholar 

  18. Mens, T.: On the Use of Graph Transformations for Model Refactoring. In: Lämmel, R., Saraiva, J., Visser, J. (eds.) GTTSE 2005. LNCS, vol. 4143, pp. 219–257. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  19. Nagl, M. (ed.): Building Tightly Integrated Software Development Environments: The IPSEN Approach. LNCS, vol. 1170. Springer, Heidelberg (1996)

    Google Scholar 

  20. Nagl, M., Marquardt, W. (eds.): Collaborative and Distributed Chemical Engineering. LNCS, vol. 4970. Springer, Heidelberg (2008)

    Google Scholar 

  21. Pfaltz, J.L., Nagl, M., Böhlen, B. (eds.): AGTIVE 2003. LNCS, vol. 3062. Springer, Heidelberg (2004)

    Google Scholar 

  22. Rose, L.M., Herrmannsdoerfer, M., Williams, J.R., Kolovos, D.S., Garcés, K., Paige, R.F., Polack, F.A.C.: A Comparison of Model Migration Tools. In: Petriu, D.C., Rouquette, N., Haugen, Ø. (eds.) MODELS 2010, Part I. LNCS, vol. 6394, pp. 61–75. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  23. Rose, L.M., Kolovos, D.S., Paige, R.F., Polack, F.A.C.: Model Migration with Epsilon Flock. In: Tratt, L., Gogolla, M. (eds.) ICMT 2010. LNCS, vol. 6142, pp. 184–198. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  24. Roser, S., Bauer, B.: Automatic Generation and Evolution of Model Transformations Using Ontology Engineering Space. In: Spaccapietra, S., Pan, J.Z., Thiran, P., Halpin, T., Staab, S., Svatek, V., Shvaiko, P., Roddick, J. (eds.) Journal on Data Semantics XI. LNCS, vol. 5383, pp. 32–64. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  25. Schürr, A., Klar, F.: 15 Years of Triple Graph Grammars – Research Challenges, New Contributions, Open Problems. In: Ehrig, H., Heckel, R., Rozenberg, G., Taentzer, G. (eds.) ICGT 2008. LNCS, vol. 5214, pp. 411–425. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  26. Schürr, A., Winter, A., Zündorf, A.: The PROGRES approach: Language and environment. In: Ehrig, et al. (eds.) [6], pp. 487–550

    Google Scholar 

  27. Taentzer, G., Mantz, F., Lamo, Y.: Co-Transformation of Graphs and Type Graphs With Application to Model Co-Evolution. In: Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2012. LNCS, vol. 7562, pp. 326–340. Springer, Heidelberg (2012)

    Google Scholar 

  28. Tisi, M., Jouault, F., Fraternali, P., Ceri, S., Bézivin, J.: On the Use of Higher-Order Model Transformations. In: Paige, R.F., Hartman, A., Rensink, A. (eds.) ECMDA-FA 2009. LNCS, vol. 5562, pp. 18–33. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  29. Wermelinger, M., Fiadeiro, J.L.: A graph transformation approach to software architecture reconfiguration. Science of Computer Programming 44, 133–155 (2002)

    Article  MATH  Google Scholar 

  30. Zhao, C., Kong, J., Dong, J., Zhang, K.: Pattern-based design evolution using graph transformation. Journal of Visual Languages and Computing 18, 378–398 (2007)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Westfechtel, B., Nagl, M. (2012). Graph Transformations for Evolving Domain Knowledge. In: Ehrig, H., Engels, G., Kreowski, HJ., Rozenberg, G. (eds) Graph Transformations. ICGT 2012. Lecture Notes in Computer Science, vol 7562. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-33654-6_23

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-33654-6_23

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-33653-9

  • Online ISBN: 978-3-642-33654-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics