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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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)
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)
Becker, S., Nagl, M., Westfechtel, B.: Incremental and interactive integrator tools for design product consistency. In: Nagl, Marquardt (eds.) [20], pp. 224–267
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)
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)
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)
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)
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)
Gatzemeier, F.H.: Authoring support based on user-serviceable graph transformation. In: Pfaltz, et al. (eds.) [21], pp. 170–185
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)
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
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
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)
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)
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)
Kraft, B., Nagl, M.: Parameterized specification of conceptual design tools in civil engineering. In: Pfaltz, et al. (eds.) [21], pp. 90–105
Levendovszky, T., Lengyel, L., Mészáros, T.: Supporting domain-specific model patterns with metamodeling. Software and Systems Modeling 8, 501–520 (2009)
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)
Nagl, M. (ed.): Building Tightly Integrated Software Development Environments: The IPSEN Approach. LNCS, vol. 1170. Springer, Heidelberg (1996)
Nagl, M., Marquardt, W. (eds.): Collaborative and Distributed Chemical Engineering. LNCS, vol. 4970. Springer, Heidelberg (2008)
Pfaltz, J.L., Nagl, M., Böhlen, B. (eds.): AGTIVE 2003. LNCS, vol. 3062. Springer, Heidelberg (2004)
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)
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)
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)
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)
Schürr, A., Winter, A., Zündorf, A.: The PROGRES approach: Language and environment. In: Ehrig, et al. (eds.) [6], pp. 487–550
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)
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)
Wermelinger, M., Fiadeiro, J.L.: A graph transformation approach to software architecture reconfiguration. Science of Computer Programming 44, 133–155 (2002)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)