Specification of graph translators with triple graph grammars

  • Andy Schürr
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 903)

Abstract

Data integration is a key issue for any integrated set of software tools. A typical CASE environment, for instance, offers tools for the manipulation of requirements and software design documents, and it provides more or less sophisticated assistance for keeping these documents in a consistent state. Up to now, almost all data consistency observing or preserving integration tools are hand-crafted due to the lack of generic implementation frameworks and the absence of adequate specification formalisms. Triple graph grammars are intended to fill this gap and to support the specification of interdependencies between graph-like data structures on a very high level. Furthermore, they are the fundamentals of a new machinery for the production of batch-oriented as well as incrementally working data integration tools.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [AC89]
    Aho A.V., Ganapathi M., Tijang S.W.K.: Code Generation Using Tree Matching and Dynamic Programming, in: acm Transactions on Programming Languages and Systems, vol. 11, no. 4, acm Press (1989), 491–516Google Scholar
  2. [Eh79]
    Ehrig H.: Introduction to the Algebraic Theory of Graph Grammars (a Survey), in: Proc. Int. Workshop on Graph-Grammars and Their Application to Computer Science and Biology, LNCS 73, Springer Verlag (1979), 1–69Google Scholar
  3. [EH91]
    Ehrig H., Habel A., Kreowski H.J., Parisi-Presicce F.: From Graph Grammars to High Level Replacement Systems, in: Proc. 4th Int. Workshop on Graph Grammars and Their Application to Computer Science, LNCS 532, Springer Verlag (1991), 269–291Google Scholar
  4. [EL92]
    Engels G., Lewerentz C., Nagl M., Schäfer W., Schürr A.: Building Integrated Software Development Environments Part I: Tool Specification, in: acm Transactions on Software Engineering and Methodology, vol. 1, no. 2, acm Press (1992), 135–167Google Scholar
  5. [Le93]
    Lefering M.: Tools to Support Life Cycle Integration, in: Proc. 6th Software Engineering Environments Conference 1993 (SEE 93), IEEE Computer Society Press (1993), 2–16Google Scholar
  6. [Le94]
    Lefering M.: Development of Incremental Integration Tools Using Formal Specifications, Technical Report AIB-94-2, RWTH Aachen, Fachgruppe Informatik Germany (1994)Google Scholar
  7. [LM89]
    Lipps P., Möncke U., Wilhelm R.: OPTRAN — A Language/System for the Specification of Program Transformations, System Overview and Experiences, LNCS 371, Springer Verlag (1989), 52–65Google Scholar
  8. [Na79]
    Nagl M.: Graph-Grammatiken, Vieweg Press (1979)Google Scholar
  9. [NS91]
    Nagl M., Schürr A.: A Specification Environment for Graph Grammars, in: Proc. 4th Int. Workshop on Graph Grammars and Their Application to Computer Science, LNCS 532, Springer Verlag (1991), 599–609Google Scholar
  10. [No87]
    Normark K.: Transformations and Abstract Presentations in a Language Development Environment, Ph.D. Thesis, University of Aarhus, Denmark (1987)Google Scholar
  11. [Pr71]
    Pratt T.W.: Pair Grammars, Graph Languages and String-to-Graph Translations, in: Journal of Computer and System Sciences, vol 5, Academic Press (1971), 560–595Google Scholar
  12. [RS94]
    Rekers J., Schürr A.: Graph(ical) Parsers and Graph Translators, appears in: Proc. 5th Int. Workshop on Graph Grammars and Their Application to Computer Science, Williamsburg, Nov. 1994Google Scholar
  13. [Sch94]
    Schürr A.: Specification of Graph Translators with Triple Graph Grammars (extended version), Technical Report AIB-94-?, RWTH Aachen, Fachgruppe Informatik Germany (1994)Google Scholar
  14. [We92]
    Westfechtel B.: A Graph-Based Approach to the Construction of Tools for the Life Cycle Integration between Software Documents, in: Proc. 5th International Workshop on Computer-Aided Software Engineering, IEEE Computer Society Press (1992), 2–13Google Scholar

Copyright information

© Springer-Verlag 1995

Authors and Affiliations

  • Andy Schürr
    • 1
  1. 1.Lehrstuhl für Informatik IIIRWTH AachenAachenGermany

Personalised recommendations