Skip to main content
SpringerLink
Log in

Workshop on Graph Transformation and Visual Modeling Techniques

  • Conference paper
  • First Online:
Graph Transformation (ICGT 2002)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2505))

Included in the following conference series:

Abstract

Diagrammatic notations have accompanied the development of technical and scientific disciplines in fields as diverse as mechanical engineering, quantum physics, category theory, and software engineering. In general, diagrammatic notations allow the construction of images associated with an interpretation based on considering as significant some well-defined spatial relations among graphical tokens. These tokens either derive from conventional notations employed in a user community or are elements specially designed to convey some meaning. The notations serve the purpose of defining the (types of) entities one is interested in and the types of relations among these entities. Hence, types must be distinguishable from one another and no ambiguity may arise as to their interpretation. Moreover, the set of spatial relations to be considered must be clearly defined, and the holding of any relation among any set of elements must be decidable.

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

Access this chapter

Log in via an institution
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. R. Bardohl, T. Schultzke, G. Taentzer. Visual Language Parsing in GenGEd. Proc. 2nd Int. Workshop on Graph Transformation and Visual Modeling Techniques GTVMT’01. In Electronic Notes in Theoretical Computer Science 50:3, 2001.

    Google Scholar 

  2. P. Bottoni, M.F. Costabile, P. Mussio. Specification and Dialogue Control of Visual Interaction through Visual Rewriting Systems. ACM TOPLAS, 21(6):1077–1136, 1999.

    Article  Google Scholar 

  3. A. Corradini, U. Montanari, F. Rossi, H. Ehrig, R. Heckel, M. Löwe. Algebraic Approaches to Graph Transformation-Part I: Basic Concepts and Double Pushout Approach. In Handbook of Graph Grammars and Computing by Graph Transformation, World Scientific, 1997, pp. 163–245.

    Google Scholar 

  4. G. Costagliola, A. De Lucia, S. Orefice, G. Tortora. A Framework of Syntactic Models for the Implementation of Visual Languages. In Proc. 1997 IEEE Symposium on Visual Languages, pp. 8–67, 1997.

    Google Scholar 

  5. H. Ehrig, R. Heckel, M. Löwe, L. Ribeiro, A. Wagner, A. Corradini. Algebraic Approaches to Graph Transformation-Part II: Single Pushout Approach and Comparison with Double Pushout Approach. In Handbook of Graph Grammars and Computing by Graph Transformation, World Scientific, 1997, pp. 247–312.

    Google Scholar 

  6. M. Erwig. Abstract Syntax and Semantics of Visual Languages. Journal of Visual Languages and Computing. 9(5):461–483, 1998.

    Article  Google Scholar 

  7. R.I. Ferguson, A. Hunter, C. Hardy. MetaBuilder: The Diagrammer’s Diagrammer. In M. Anderson, P. Cheng, V. Haarslev eds. Theory and Application of Diagrams. Springer, 2000, pp. 407–421.

    Google Scholar 

  8. C. Gurr. On the Isomorphism, or Lack of It, of Representations. In Visual Language Theory. K. Marriott, B. Meyer eds., pp. 293–305, Springer, 1998.

    Google Scholar 

  9. J. Howse, F. Molina, S. Kent, J. Taylor. Reasoning with Spider Diagrams. In Proc. IEEE Symp. on Visual Languages’ 99, pp. 138–145, IEEE CS Press, 1999.

    Google Scholar 

  10. K. Marriott, B. Meyer, K. Wittenburg. A survey of visual language specification and recognition. In Visual Language Theory. K. Marriott, B. Meyer eds., pp. 5–85, Springer, 1998.

    Google Scholar 

  11. K. Marriott, B. Meyer. On the classification of visual languages by grammar hierarchies. Journal of Visual Languages and Computing, 8(4):374–402, 1997.

    Article  Google Scholar 

  12. M. Minas. Concepts and Realization of a Diagram Editor Generator Based on Hypergraph Transformation. Science of Computer Programming, 44(2):157–180, 2002.

    Article  MATH  Google Scholar 

  13. J. Rekers, A. Schürr. Defining and Parsing Visual Languages with Layered Graph Grammars. Journal of Visual Languages and Computing, 8(1):27–55, 1998.

    Article  Google Scholar 

  14. D. Wang, H. Zeevat. A Syntax Directed Approach to Picture Semantics. In Visual Language Theory. K. Marriott, B. Meyer eds., pp. 307–323, Springer, 1998.

    Google Scholar 

  15. J. Power, K. Tourlas. On the Geometric Modelling of Visual Languages, GT-VMT’02.

    Google Scholar 

  16. M. Bauderon, M. Mosbah. A Unified Framework for Designing, Implementing and Visualizing Distributed Algorithms, GT-VMT’02.

    Google Scholar 

  17. J. Flower, J. Howse, J. Taylor. Nesting in Euler diagrams, GT-VMT’02.

    Google Scholar 

  18. N. Swoboda, G. Allwein. Using DAG Transformations to Verify Euler/Venn Homogeneous and Euler/Venn FOL Heterogeneous Rules of Inference, GT-VMT’02.

    Google Scholar 

  19. G. Costagliola, V. Deufemia, F. Ferruci, C. Gravino. Exploiting Visual Languages Generation and UML Meta Modelling to Construct Meta-CASE Workbenches, GTVMT’02.

    Google Scholar 

  20. J. de Lara, H. Vangheluwe, M. Alfonseca. Using Meta-Modelling and Graph-Grammars to Create Modelling Environments, GT-VMT’02.

    Google Scholar 

  21. D. Varró. Towards symbolic analysis of visual modeling languages, GT-VMT’02.

    Google Scholar 

  22. C. Ermel, R. Bardohl. Multipe Views of Visual Behavior Models in GenGED, GTVMT’02.

    Google Scholar 

  23. P. Braun, F. Marschall. Transforming Object Oriented Models with BOTL, GTVMT’02.

    Google Scholar 

  24. H. Ehrig, F. Orejas, B. Braatz, M. Klein, M. Piirainen. A Component Framework Based on High-Level Replacement Systems, GT-VMT’02.

    Google Scholar 

  25. J.H. Hausmann, R. Heckel, S. Sauer. Dynamic Meta Modeling with Time: Specifying the Semantics of Multimedia Sequence Diagrams, GT-VMT’02.

    Google Scholar 

  26. E.E. Roubtsova, R. Kuiper. Process semantics for UML component specifications to assess inheritance, GT-VMT’02.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Università di Roma “La Sapienza”, Italy

    Paolo Bottoni

  2. University of Erlangen, Germany

    Mark Minas

Authors
  1. Paolo Bottoni
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Mark Minas
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Dipartimento di Informatica, Università di Pisa, Corso Italia 40, 56125, Pisa, Italy

    Andrea Corradini

  2. Computer Science Department, Technical University of Berlin, Franklinstraße 28/29, 10587, Berlin, Germany

    Hartmut Ehrig

  3. Computer Science Department, University of Bremen, Bibliothekstraße 1, 28359, Bremen, Germany

    Hans -Jörg Kreowski

  4. Leiden Institute of Advanced Computer Science, Leiden University, Niels Bohrweg 1, 2333, CA Leiden, The Netherlands

    Grzegorz Rozenberg

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bottoni, P., Minas, M. (2002). Workshop on Graph Transformation and Visual Modeling Techniques. In: Corradini, A., Ehrig, H., Kreowski, H.J., Rozenberg, G. (eds) Graph Transformation. ICGT 2002. Lecture Notes in Computer Science, vol 2505. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45832-8_34

Download citation

  • DOI: https://doi.org/10.1007/3-540-45832-8_34

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-44310-0

  • Online ISBN: 978-3-540-45832-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation