Advertisement

Adaptive Star Grammars

  • Frank Drewes
  • Berthold Hoffmann
  • Dirk Janssens
  • Mark Minas
  • Niels Van Eetvelde
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4178)

Abstract

We propose an extension of node and hyperedge replacement grammars, called adaptive star grammars, and study their basic properties. A rule in an adaptive star grammar is actually a rule schema which, via the so-called cloning operation, yields a potentially infinite number of concrete rules. Adaptive star grammars are motivated by application areas such as modeling and refactoring object-oriented programs. We prove that cloning can be applied lazily. Unrestricted adaptive star grammars are shown to be capable of generating every type-0 string language. However, we identify a reasonably large subclass for which the membership problem is decidable.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Mens, T., Demeyer, S., Janssens, D.: Formalising behaviour-preserving transformation. In: Corradini, A., Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2002. LNCS, vol. 2505, pp. 286–301. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  2. 2.
    Habel, A. (ed.): Hyperedge Replacement: Grammars and Languages. LNCS, vol. 643. Springer, Heidelberg (1992)Google Scholar
  3. 3.
    Drewes, F., Habel, A., Kreowski, H.-J.: Hyperedge replacement graph grammars, ch.  2. In: Rozenberg, G. (ed.) [14], pp. 95–162Google Scholar
  4. 4.
    Engelfriet, J., Rozenberg, G.: Node replacement graph grammars, ch. 1. In: Rozenberg [14], pp. 1–94Google Scholar
  5. 5.
    Schürr, A., Winter, A., Zündorf, A.: The Progres approach: Language and environment, ch. 13. In: Engels, G., Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) Handbook of Graph Grammars and Computing by Graph Transformation, Applications, Languages, and Tools, vol. II, pp. 487–550. World Scientific, Singapore (1999)Google Scholar
  6. 6.
    Niere, J., Zündorf, A.: Using fujaba for the development of production control systems. In: Münch, M., Nagl, M. (eds.) AGTIVE 1999. LNCS, vol. 1779, pp. 181–191. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  7. 7.
    Sendall, S.: Combining generative and graph transformation techniques for model transformation: An effective alliance? In: Proc. OOPSLA 2003 Workshop on Generative Techniques in the Context of MDA (2003), URL: www.softmetaware.com/oopsla2003/mda-workshop.html
  8. 8.
    Hoffmann, B., Janssens, D., Van Eetvelde, N.: Cloning and expanding graph transformation rules for refactoring. ENTCS 152(4) (2006); Proc. Graph and Model Transformation Workshop (GraMoT 2005)Google Scholar
  9. 9.
    Ehrig, H.: Introduction to the algebraic theory of graph grammars. In: Ng, E.W., Ehrig, H., Rozenberg, G. (eds.) Graph Grammars 1978. LNCS, vol. 73, pp. 1–69. Springer, Heidelberg (1979)CrossRefGoogle Scholar
  10. 10.
    Hoffmann, B., Van Eetvelde, N.: A graph grammar for program graphs. Technical report, University of Antwerp (March 2006) UA WIS/INF 2006Google Scholar
  11. 11.
    Hopcroft, J.E., Ullman, J.D.: Introduction to Automata Theory, Languages and Computation. Addison-Wesley, Reading (1979)zbMATHGoogle Scholar
  12. 12.
    Hoffmann, B.: Graph transformation with variables. In: Kreowski, H.-J., Montanari, U., Orejas, F., Rozenberg, G., Taentzer, G. (eds.) Formal Methods in Software and Systems Modeling. LNCS, vol. 3393, pp. 101–115. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  13. 13.
    Drewes, F., Hoffmann, B., Klein, R., Minas, M.: Rule-based programming with diaplan. ENTCS 117(1) (2005)Google Scholar
  14. 14.
    Rozenberg, G. (ed.): Handbook of Graph Grammars and Computing by Graph Transformation, Foundations, vol. I. World Scientific, Singapore (1997)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Frank Drewes
    • 1
  • Berthold Hoffmann
    • 2
  • Dirk Janssens
    • 3
  • Mark Minas
    • 4
  • Niels Van Eetvelde
    • 3
  1. 1.Umeå universitetSweden
  2. 2.Universität BremenGermany
  3. 3.Universiteit AntwerpenBelgium
  4. 4.Universität der Bundeswehr MünchenGermany

Personalised recommendations