A Combined Graph Schema and Graph Grammar Approach to Consistency in Distributed Modeling

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

Abstract

In this overview-paper, a specification method based on coupled graph grammars is sketched that is able to uniformly describe legal domain configurations which distributed modeling as well as re-engineering tasks are based on. The specification method supports the development of proper (re)design tools, and the method is tool-supported itself.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    K. Cremer, A Tool supporting the Re-design of Legacy Applications. P. Nesi, F. Lehner (Eds.), Proc. 2nd Euromicro Conf. on Softw. Maintenance & Re-Eng., pp.142–148. IEEE Comp. Soc. Press, 1998Google Scholar
  2. 2.
    K. Cremer, Graph-based Reverse-Engineering and Re-Engineering Tools. In A. Schürr (Eds.), AGTIVE’99: Applications of Graph Transformations with Industrial Relevance. LNCS this volume, Springer-Verlag, Berlin 2000 [16]Google Scholar
  3. 3.
    K. Cremer, Graph-basierte Werkzeuge zum Reverse Engineering und Re-Engineering. Doct. Diss., RWTH Aachen 1999. To be published by Deutscher Universitätsverlag, WiesbadenGoogle Scholar
  4. 4.
    K. Cremer, S. Gruner, M. Nagl, Graph-Transformation-based Integration Tools: Application to Chemical Process Engineering. H. Ehrig, G. Engels, H.-J. Kreowski, G. Rozenberg (Eds.), Handbook of Graph Grammars and Computing by Graph Transformation, vol.2, pt. IV, chpt. 10, pp.369–394 World Scientific, Singapore 1999Google Scholar
  5. 5.
    H. Ehrig, G. Engels, R. Heckel, G. Taentzer, A View-oriented Approach to System Modeling based on Graph Transformation. M. Jazayeri, H. Schauer (Eds.), ESEC-FSE’97 Joint 6th Europ. Softw. Eng. Conf. & 5th ACM SIGSOFT Sympos. on the Foundations of Softw. Eng. LNCS 1301, pp.327–343, Springer-Verlag, Berlin 1998Google Scholar
  6. 6.
    S. Easterbrook, A. Finkelstein, J. Kramer, B. Nuseibeh, Coordinating distributed View-Points: the Anatomy of a Consistency Check. Internat. Journ. on Con current Eng.: Research and Applic. 2/3, pp.209–222, 1994Google Scholar
  7. 7.
    A. Finkelstein, B. Nuseibeh, J. Kramer, A Framework expressing the Relations between multiple Views in Requirements Specifications. IEEE Transact. on Softw. Eng. 20/10, pp.760–773, 1994CrossRefGoogle Scholar
  8. 8.
    A. Finkelstein, D. Gabbay, A. Hunter, J. Kramer, B. Nuseibeh, Inconsistency-handling in Multi-perspective Specifications. IEEE Transact. on Softw. Eng. 20/8, pp.569–578, 1994CrossRefGoogle Scholar
  9. 9.
    A. Finkelstein, G. Spanoudakis, D. Till, Managing Interference. Proc. ACM SIGSOFT’96 Workshop, pp.172–174, ACM Press 1996Google Scholar
  10. 10.
    M. Goedicke, B. Enders, T. Meyer, G. Taentzer, Tool Support for ViewPoint-oriented Software Development: towards Integration of multiple Perspectives by distributed Graph Transformation. In A. Schürr (Eds.), AGTIVE’99: Applications of Graph Transformations with Industrial Relevance. LNCS this volume, Springer-Verlag, Berlin 2000 [16]Google Scholar
  11. 11.
    S. Gruner, M. Nagl, A. Schürr, Integration Tools supporting Development Processes. M. Broy, B. Rumpe (Eds.), RTSE’97 Workshop on Requirements targeting Software and Systems Engineering. LNCS 1526, pp.235–256, Springer-Verlag, Berlin 1998Google Scholar
  12. 12.
    S. Gruner, Eine schematische und grammatische Korrespondenzmethode zur Spezifikation konsistent verteilter Datenmodelle. Doct.-Diss., RWTH Aachen 1999. Published by Shaker-Verlag, Aachen 1999Google Scholar
  13. 13.
    J. Jahnke, W. Schäfer, A. Zündorf, A Design Environment for migrating relational to Object-oriented Database Systems. Proc. Internat. Conf. on Softw. Maintenance, IEEE Comp. Soc. Press, pp.163–170, 1996Google Scholar
  14. 14.
    J. Jahnke, A. Zündorf, Using Graph Grammars for building the VARLET Database Reverse Engineering Environment. G. Rozenberg, G. Engels (Eds.), TAGT’98 6th Internat. Workshop on Theory & Applic. of Graph Transformation (Paderborn 1998). To appear in the LNCS, Springer-Verlag, Berlin 2000Google Scholar
  15. 15.
    M. Nagl (Ed.), Building tightly integrated Software Development Environments: the IPSEN Approach. LNCS 1170, Springer-Verlag, Berlin 1996Google Scholar
  16. 16.
    M. Nagl, A. Schürr (Eds.), AGTIVE’99: Applications of Graph Transformations with Industrial Relevance. LNCS this volume, Springer-Verlag, Berlin 2000Google Scholar
  17. 17.
    M. Nagl, B. Westfechtel (Eds.), Integration von Entwicklungssystemen in Ingenieuranwendungen: Substantielle Verbesserung der Entwicklungsprozesse. Springer-Verlag, Berlin 1998/99Google Scholar
  18. 18.
    T. Pratt, Pair grammars, graph languages and string-to-graph translations. Journ. of Comp. & System Sc. 5, pp.560–595, 1971MATHMathSciNetGoogle Scholar
  19. 19.
    T. Pratt, Definition of programming language semantics using grammars for hierarchical graphs. G. Rozenberg, H. Ehrig, V. Claus (Eds.), Proc. Internat. Workshop on Graph Grammars & their Applic. to Comp. Sc. and Biology. LNCS 73, pp.389–400, Springer-Verlag, Berlin 1979CrossRefGoogle Scholar
  20. 20.
    J. Rekers, A. Schürr, Defining and Parsing Visual Languages with layered Graph Grammars. Journ. of Visual Lang. & Computing 8/1, pp.27–55, Academic Press, London 1997Google Scholar
  21. 21.
    A. Schürr, A. Winter, A. Zündorf, Graph Grammar Engineering with PROGRES. W. Schäfer, P. Botella (Eds.), ESEC’95 Proc. 5th Europ. Softw. Eng. Conf. LNCS 989, pp.219–234, Springer-Verlag, Berlin 1995Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2000

Authors and Affiliations

  • Stefan Gruner
    • 1
  1. 1.Institut für Kommunikations- und SoftwaretechnikTechnische Universität BerlinBerlin

Personalised recommendations