Skip to main content

Defining Abstract Graph Views as Module Interfaces

  • Conference paper
Applications of Graph Transformations with Industrial Relevance (AGTIVE 2007)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 5088))

Abstract

Graph transformation languages offer the ability to model the structure and behavior of a software system visually. While providing extensive language constructs for specifying in the small, they lack sophisticated concepts for specifying in the large. In particular, a mature module concept is still missing. In our project, we develop appropriate concepts and extend the graph transformation languages PROGRES and Fujaba for these concepts. By now, we have already included a mechanism for exporting and importing module interfaces consisting of a subset of specification elements.

In this paper, we extend our module concept for supporting updateable abstract graph views as module interfaces. These views may abstract from specification details allowing a convenient usage of modules. For this purpose, a unique mapping between view elements and specification elements has to be defined. Exported view elements may be used by other modules in the same way as locally-defined specification elements.

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

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.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. Schürr, A.: Operationales Spezifizieren mit programmierten Graphersetzungssystemen. Deutscher Universitäts-Verlag, Wiesbaden (1991)

    Book  Google Scholar 

  2. Fischer, T., Niere, J., Torunski, L., Zündorf, A.: Story diagrams: A new graph rewrite language based on the Unified Modelling Language and Java. In: [17], pp. 296–309

    Google Scholar 

  3. Tanenbaum, A., Steen, M.V.: Distributed Systems – Pinciples and Paradigms, 2nd edn. Prentice Hall PTR, Upper Saddle River (2006)

    Google Scholar 

  4. Ranger, U., Schultchen, E., Mosler, C.: Specifying distributed graph transformation systems. In: Zündorf, A., Varró, D. (eds.) GraBaTs 2006. ECEASST, vol. 1 (2006)

    Google Scholar 

  5. Winter, A.: Visuelles Programmieren mit Graphtransformationen. Aachener Beiträge zur Informatik, vol. 27. Wissenschaftsverlag, Mainz (2000)

    Google Scholar 

  6. Ranger, U., Hermes, T.: Ensuring consistency in distributed graph transformation systems. In: Dwyer, M.B., Lopes, A. (eds.) FASE 2007. LNCS, vol. 4422, pp. 368–382. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  7. Ranger, U.: Visuelle Modellierung von verteilten Systemen mit Graphersetzungssprachen (to appear, 2008)

    Google Scholar 

  8. Ermel, C., Rudolf, M., Taentzer, G.: The AGG approach: Language and environment. In: [18], pp. 551–603

    Google Scholar 

  9. Date, C.J., Darwen, H.: A Guide to the SQL Standard, 3rd edn. Addison Wesley, Boston (1993)

    Google Scholar 

  10. Gottlob, G., Paolini, P., Zicari, R.: Properties and update semantics of consistent views. ACM Transactions on Database Systems 13(4), 486–524 (1988)

    Article  MathSciNet  MATH  Google Scholar 

  11. Jakob, J., Königs, A., Schürr, A.: Non-materialized model view specification with triple graph grammars. In: Corradini, A., Ehrig, H., Montanari, U., Ribeiro, L., Rozenberg, G. (eds.) ICGT 2006. LNCS, vol. 4178, pp. 321–335. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  12. Heckel, R., Hoffmann, B., Knirsch, P., Kuske, S.: Simple modules for GRACE. In: [17], pp. 383–395

    Google Scholar 

  13. Taentzer, G., Schürr, A.: DIEGO, Another step towards a module concept for graph transformation systems. In: Corradini, A., Montanari, U. (eds.) SEGRAGRA 1995. ENTCS, vol. 2. Elsevier Science Publishers, Amsterdam (1995)

    Google Scholar 

  14. Große-Rhode, M., Parisi-Presicce, F., Simeoni, M., Taentzer, G.: Modeling distributed systems by modular graph transformation based on refinement via rule expressions. In: Münch, M., Nagl, M. (eds.) AGTIVE 1999. LNCS, vol. 1779, pp. 31–45. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  15. Ehrig, H., Engels, G.: Pragmatic and semantic aspects of a module concept for graph transformation systems. In: Cuny, J., Engels, G., Ehrig, H., Rozenberg, G. (eds.) Graph Grammars 1994. LNCS, vol. 1073, pp. 137–154. Springer, Heidelberg (1996)

    Chapter  Google Scholar 

  16. Heckel, R., Ehrig, H., Engels, G., Taentzer, G.: A view-based approach to system modeling based on open graph transformation systems. In: [18], pp. 639–668

    Google Scholar 

  17. Ehrig, H., Engels, G., Kreowski, H.J., Rozenberg, G. (eds.): TAGT 1998. LNCS, vol. 1764. Springer, Heidelberg (2000)

    Google Scholar 

  18. Ehrig, H., Engels, G., Kreowski, H.J., Rozenberg, G. (eds.): Handbook on Graph Grammars and Computing by Graph Transformation: Applications, Languages, and Tools, 1st edn., vol. 2. World Scientific, Singapore (1999)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Ranger, U., Gruber, K., Holze, M. (2008). Defining Abstract Graph Views as Module Interfaces. In: Schürr, A., Nagl, M., Zündorf, A. (eds) Applications of Graph Transformations with Industrial Relevance. AGTIVE 2007. Lecture Notes in Computer Science, vol 5088. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-89020-1_10

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-89020-1_10

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-89019-5

  • Online ISBN: 978-3-540-89020-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics