Diagrammatic Control of Diagrammatic Structure Generation

  • Stefan Gruner
  • Murat Kurt
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1889)

Abstract

Labeled graphs are a subclass of the class of all diagrams which are widely used in various disciplines. In consequence, graph grammars have been developed as powerful and intuitive means for the generation and manipulation of such kind of diagrams. As the operations of graph grammars are local and non-deterministic in principle, additional concepts of control are required. While textual control structures for the application of graph grammars are well-known already, more intuitive diagrammatic control mechanisms are still missing. We use a combination of the UML Activity Diagrams and the earlier Dijkstra Schemas for this purpose. We present a control flow editor which the user can use to build up diagrammatic control structures for the execution of graph grammatical diagram constructions. The control flow diagrams are interpreted and animated such that the the user can observe an automatic diagram construction running along the specified control flow diagram.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    C. Albayrak, Die WHILE-Hierarchie für Programmschemata. Doct.-Diss., Fac. of Comp. Sc., RWTH Aachen, 1998. Shaker, Aachen/Maastricht, 1998Google Scholar
  2. 2.
    G. Booch et al., The UML User Guide. Addison Wesley, Reading 1998Google Scholar
  3. 3.
    P. Chen, The Entity-Relationship Model: Towards a Unified View of Data. ACM Transact. on Databs. Syst. 1/1, pp. 9–36, 1976CrossRefGoogle Scholar
  4. 4.
    E. Dijkstra, GOTO Statement considered Harmful. Comm. of the ACM 11/3, pp. 147–148, 1968CrossRefGoogle Scholar
  5. 5.
    F. Drewes et al., Graph Transf. Modules and their Composition. In [14]Google Scholar
  6. 6.
    H. Ehrig et al. (Eds.), TAGT’98: 6 th Internat. Worksh. on Theory and Applic. of Graph Transformation. LNCS 1764, Springer, Berlin 2000Google Scholar
  7. 7.
    M. Große-Rhode et al., Modeling Distr. Syst. by Modular Graph Transf. based on Refinement via Rule Expressions. In [14]Google Scholar
  8. 8.
    S. Gruner et al., A Visual Modeling Technique for Controlling Graph Transf. Accepted for the Visualization-Workshop of the ICALP 2000 Conference. To be published by Carleton Scientific, Waterloo 2000Google Scholar
  9. 9.
    S. Gruner, Diagrammatic Control of Diagrammatic Structure Generation: Additional Information to our DIAGRAMS2000 Publication. Unpublished document, available from the author on demand.Google Scholar
  10. 10.
    M. Kurt, Entwurf und Implement. einer Kontroll-Komponente für attribut. Graph-Ersetzung. M.Sc.Thesis, Fac. of Comp. Sc., Techn. Univ. Berlin, 2000Google Scholar
  11. 11.
    T. de Marco, Structured Analysis and Syst. Specification. Yourdon Pr., N.Y. 1978Google Scholar
  12. 12.
    G. de Micheli et al. (Eds.), IEEE Transact. on Comp.Aided Design of integrated Circuits and Syst. 16/10. IEEE Circuits & Syst. Soc., 1997Google Scholar
  13. 13.
    M. Nagl (Ed.), Building tightly integr. Softw. Developm. Environments. LNCS 1170, Springer, Berlin 1996Google Scholar
  14. 14.
    M. Nagl et al. (Eds.), AGTIVE’99 Worksh. on Applic. of Graph Transf. with Industrial Relevance. LNCS 1779, Springer, Berlin 2000Google Scholar
  15. 15.
    C. Petri, Kommunikation mit Automaten. Doct.-Diss., Schriften des Instit. für instrumentelle Mathematik, Bonn 1962Google Scholar
  16. 16.
    G. Rozenberg (Ed.), Handbook of Graph Grammars and Comp. by Graph Transf. 1 (Foundations). World Scientific, Singapore 1997Google Scholar
  17. 17.
    G. Rozenberg et al. (Eds.), Handbook of Graph Grammars and Comp. by Graph Transf. 2 (Specifications and Programming). World Scientific, Singapore 1999Google Scholar
  18. 18.
    G. Rozenberg et al. (Eds.), Handbook of Graph Grammars and Comp. by Graph Transf. 3 (Concurrency). World Scientific, Singapore 1999Google Scholar
  19. 19.
    P. Winston, Artificial Intelligence. 3rd ed., Addison Wesley, Reading 1993Google Scholar
  20. 20.
  21. 21.
  22. 22.

Copyright information

© Springer-Verlag Berlin Heidelberg 2000

Authors and Affiliations

  • Stefan Gruner
    • 1
  • Murat Kurt
    • 2
  1. 1.LaBRIUniversité Bordeaux 1France
  2. 2.Infonie GmbH BerlinGermany

Personalised recommendations