Skip to main content
SpringerLink
Log in

Modular system design applying graph grammars techniques

  • Conference paper
  • First Online:
Automata, Languages and Programming (ICALP 1989)

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

Included in the following conference series:

Abstract

In this paper we combine notions from the well known theory of algebraic graph grammars with the theory of large software system specifications based on modules. The intent is to tackle the problem of designing a modular system (if it exists) which realizes a given goal specification using a library of module specifications and a collection of "primitive" realized data type specifications. The interfaces of the module are treated as productions and direct derivations and operations on productions are converted into system design.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. E.K. Blum, H. Ehrig, F. Parisi-Presicce, Algebraic Specification of Modules and their Basic Interconnections, J. Comp. System Sci.34, 2/3 (1987) 239–339

    Google Scholar 

  2. P. Boehm, H.-R. Fonio, A. Habel, Amalgamation of Graph Transformations with Applications to Synchronization, Lect. Notes in Comp. Sci. 185(1985) 267–283

    Google Scholar 

  3. R.M.Burstall, J.A.Goguen, Putting Theories together to make Specifications, Proc.5th Int. Conf. on Artificial Intelligence (1977) 1045–1058

    Google Scholar 

  4. H. Ehrig, Introduction to the Algebraic Theory of Graph Grammars, Lect. Notes in Comp. Sci. 73 (1979) 1–69

    Google Scholar 

  5. H.Ehrig, W.Fey, H.Hansen, M.Lowe, F.Parisi-Presicce, Algebraic Theory of Modular Specification Development, TUB Report 87-06, to appear in Proc. Symp. on Computation Theory 1987

    Google Scholar 

  6. H. Ehrig, W. Fey, F. Parisi-Presicce, E.K. Blum, Algebraic Theory of Module Specifications with Constraints, Lect. Notes in Comp. Sci. 233(1986) 59–77

    Google Scholar 

  7. H.Ehrig, A.Habel, B.K.Rosen, Concurrent Transformations of Relational Structures, Fund.Inform. IX(1) 1986

    Google Scholar 

  8. H. Ehrig, H.-J. Kreowski, A. Maggiolo-Schettini, B.K. Rosen, J. Winkowski, Transformation of Structures: An Algebraic Approach, Math. Syst.Theory 14 (1981) 305–334

    Article  Google Scholar 

  9. H.Ehrig, B.Mahr, Fundamentals of Algebraic Specifications 1: Equations and Initial Semantics, EATCS Monographs on Theoret. Comp. Sci., vol 6, Springer-Verlag 1985

    Google Scholar 

  10. H.Ehrig, M.Nagl, G.Rozenberg (eds): Graph Grammars and their Applications to Computer Science, Lect. Notes in Comp. Sci. 153 (1983)

    Google Scholar 

  11. H.Ehrig, M.Nagl, G.Rozenberg, A.Rosenfeld (eds): Graph Grammars and their Applications to Computer Science, Lect. Notes in Comp. Sci. 291 (1987)

    Google Scholar 

  12. H.Ehrig, M.Pfender, H.J.Schneider, Graph Grammars: An Algebraic Approach, Proc.IEEE Conf. SWAT 73, Iowa City 1973, 167–180

    Google Scholar 

  13. H. Ehrig, B.K. Rosen, Parallelism and Concurrency of Graph Manipulations, Theoret. Comp. Sci. 11 (1980) 247–275.

    Article  Google Scholar 

  14. H.Ehrig, H.Weber, Algebraic Specification of Modules, in "Formal Models in Programming" (E.J.Neuhold, G.Chronist, eds.) North-Holland 1985

    Google Scholar 

  15. J.A. Goguen, J. Meseguer, Universal Realization, Persistent Interconnection and Implementation of Abstract Modules, Lect. Notes in Comp. Sci. 140 (1982) 265–281

    Google Scholar 

  16. M. Nagl, A Tutorial and Bibliographical Survey on Graph Grammars, Lect. Notes in Comp. Sci. 73 (1979) 70–126

    Google Scholar 

  17. F. Parisi-Presicce, Union and Actualization of Module Specifications: Some Compatibility Results, J. Comp. System Sci. 35,1 (1987) 72–95

    Article  Google Scholar 

  18. F. Parisi-Presicce, Partial Composition and Recursion of Module Specifications, Lect. Notes in Comp. Sci. 249 (1987) 217–231

    Google Scholar 

  19. F. Parisi-Presicce, Product and Iteration of Module Specifications, Lect. Notes in Comp. Sci. 299 (1988) 149–164

    Google Scholar 

  20. B.K. Rosen, Deriving Graphs by Applying a Production, Acta Inform. 4(1975) 337–357

    Article  Google Scholar 

  21. D. Sannella, A. Tarlecki, Toward Formal Development of Programs from Algebraic Specifications: Implementation Revisited, Lect. Notes in Comp. Sci. 249 (1987) 96–110

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Matematica Pura ed Applicata, Universita' degli Studi — L'Aquila, I-67100, L'Aquila, Italy

    Francesco Parisi-Presicce

Authors
  1. Francesco Parisi-Presicce
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Giorgio Ausiello Mariangiola Dezani-Ciancaglini Simonetta Ronchi Della Rocca

Rights and permissions

Reprints and permissions

Copyright information

© 1989 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Parisi-Presicce, F. (1989). Modular system design applying graph grammars techniques. In: Ausiello, G., Dezani-Ciancaglini, M., Della Rocca, S.R. (eds) Automata, Languages and Programming. ICALP 1989. Lecture Notes in Computer Science, vol 372. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0035788

Download citation

  • DOI: https://doi.org/10.1007/BFb0035788

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-51371-1

  • Online ISBN: 978-3-540-46201-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation