Skip to main content
SpringerLink
Log in
Book cover

International Workshop on Applications of Graph Transformations with Industrial Relevance

AGTIVE 2003: Applications of Graph Transformations with Industrial Relevance pp 446–453Cite as

AGG: A Graph Transformation Environment for Modeling and Validation of Software

  • Conference paper

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

Abstract

AGG is a general development environment for algebraic graph transformation systems which follows the interpretative approach. Its special power comes from a very flexible attribution concept. AGG graphs are allowed to be attributed by any kind of Java objects. Graph transformations can be equipped with arbitrary computations on these Java objects described by a Java expression. The AGG environment consists of a graphical user interface comprising several visual editors, an interpreter, and a set of validation tools. The interpreter allows the stepwise transformation of graphs as well as rule applications as long as possible. AGG supports several kinds of validations which comprise graph parsing, consistency checking of graphs and conflict detection in concurrent transformations by critical pair analysis of graph rules. Applications of AGG include graph and rule-based modeling of software, validation of system properties by assigning a graph transformation based semantics to some system model, graph transformation based evolution of software, and the definition of visual languages based on graph grammars.

Keywords

  • Graph Transformation
  • Critical Pair
  • Type Graph
  • Rule Application
  • Graph Grammar

These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Research partly supported by the German Research Council (DFG), and the EU Research Training Network SegraVis.

This is a preview of subscription content, access via your 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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Corradini, A., Montanari, U., Rossi, F., Ehrig, H., Heckel, R., Löwe, M.: Algebraic approaches to graph transformation part I: Basic concepts and double pushout approach. In: Rozenberg, G. (ed.) Handbook of Graph Grammars and Computing by Graph transformation: Foundations, vol. 1, pp. 163–246. World Scientific, Singapore (1997)

    CrossRef  Google Scholar 

  2. Ehrig, H., Heckel, R., Korff, M., Löwe, M., Ribeiro, L., Wagner, A., Corradini, A.: Algebraic approaches to graph transformation II: Single pushout approach and comparison with double pushout approach. In: Rozenberg, G. (ed.) The Handbook of Graph Grammars and Computing by Graph Transformations: Foundations, vol. 1, pp. 247–312. World Scientific, Singapore (1996)

    Google Scholar 

  3. Bardohl, R.: A Visual Environment for Visual Languages. Science of Computer Programming (SCP) 44(2), 181–203 (2002)

    CrossRef  MATH  Google Scholar 

  4. Bottoni, P., Koch, M., Parisi-Presicce, F., Taentzer, G.: Consistency Checking and Visualization of OCL Constraints. In: Evans, A., Kent, S., Selic, B. (eds.) UML 2000. LNCS, vol. 1939, pp. 294–308. Springer, Heidelberg (2000)

    Google Scholar 

  5. Bottoni, P., Schürr, A., Taentzer, G.: Efficient Parsing of Visual Languages based on Critical Pair Analysis and Contextual Layered Graph Transformation. In: Proc. IEEE Symposium on Visual Languages (September 2000); Long version available as technical report SI-2000-06, University of Rome

    Google Scholar 

  6. Corradini, A., Montanari, U., Rossi, F.: Graph Processes. Special Issue of Fundamenta Informaticae 26(3,4), 241–266 (1996)

    MATH  MathSciNet  Google Scholar 

  7. Ermel, C., Rudolf, M., Taentzer, G.: The AGG-Approach: Language and Tool Environment. In: Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.) Handbook of Graph Grammars and Computing by Graph Transformation: Applications, Languages and Tools, vol. 2, pp. 551–603. World Scientific, Singapore (1999)

    Google Scholar 

  8. Habel, A., Heckel, R., Taentzer, G.: Graph Grammars with Negative Application Conditions. Special issue of Fundamenta Informaticae 26(3,4) (1996)

    Google Scholar 

  9. Hausmann, J.H., Heckel, R., Taentzer, G.: Detection of Conflicting Functional Requirements in a Use Case-Driven Approach. In: Proc. of Int. Conference on Software Engineering 2002, Orlando, USA (2002) (to appear)

    Google Scholar 

  10. Heckel, R., Wagner, A.: Ensuring Consistency of Conditional Graph Grammars – A constructive Approach. In: Proc. of SEGRAGRA 1995, Graph Rewriting and Computation. Electronic Notes of TCS, vol. 2 (1995), http://www.elsevier.nl/locate/entcs/volume2.html

  11. Löwe, M., Korff, M., Wagner, A.: An Algebraic Framework for the Transformation of Attributed Graphs. In: Sleep, M.R., Plasmeijer, M.J., van Eekelen, M.C. (eds.) Term Graph Rewriting: Theory and Practice, ch. 14, pp. 185–199. John Wiley & Sons Ltd, Chichester (1993)

    Google Scholar 

  12. Rozenberg, G. (ed.): Handbook of Graph Grammars and Computing by Graph Transformations: Foundations, vol. 1. World Scientific, Singapore (1997)

    MATH  Google Scholar 

  13. Schürr, A., Winter, A., Zündorf, A.: The PROGRES-approach: Language and environment. In: Ehrig, H., Engels, G., Kreowski, J.-J., Rozenberg, G. (eds.) Handbook of Graph Grammars and Computing by Graph Transformation: Applications, Languages and Tools, vol. 2, World Scientific, Singapore (1999)

    Google Scholar 

  14. Taentzer, G., Fischer, I.: Visual Design of Distributed Systems by Graph Transformation. In: Ehrig, H., Kreowski, H.-J., Montanari, U., Rozenberg, G. (eds.) Handbook of Graph Grammars and Computing by Graph Transformation: Concurrency, Parallelism, and Distribution, vol. 3, pp. 269–340. World Scientific, Singapore (1999)

    Google Scholar 

  15. The Extensible Markup Language, XML (2003), http://www.w3.org/XML/

  16. GXL (2003), http://www.gupro.de/GXL

  17. Fujaba Project Group (2003), Available at http://www.fujaba.de

  18. Minas, M.: Concepts and realization of a diagram editor generator based on hypergraph transformation. Science of Computer Programming 44(3), 157–180 (2002)

    CrossRef  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Technische Universität Berlin, Germany

    Gabriele Taentzer

Authors
  1. Gabriele Taentzer
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Dept. of Computer Science, Univ. of Virginia, 22904-4740, Charlottesville, VA

    John L. Pfaltz

  2. Department of Computer Science, RWTH Aachen, Chair of Computer Science III, Aachen, Germany

    Manfred Nagl

  3. Department of Computer Science III, RWTH Aachen University, Ahornstrasse 55, 52074, Aachen, Germany

    Boris Böhlen

Rights and permissions

Reprints and Permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Taentzer, G. (2004). AGG: A Graph Transformation Environment for Modeling and Validation of Software. In: Pfaltz, J.L., Nagl, M., Böhlen, B. (eds) Applications of Graph Transformations with Industrial Relevance. AGTIVE 2003. Lecture Notes in Computer Science, vol 3062. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-25959-6_35

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-25959-6_35

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-22120-3

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

  • eBook Packages: Springer Book Archive

search

Navigation