Advertisement

Modular system design applying graph grammars techniques

  • Francesco Parisi-Presicce
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 372)

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. /BEPP87/.
    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–339Google Scholar
  2. /BFH87/.
    P. Boehm, H.-R. Fonio, A. Habel, Amalgamation of Graph Transformations with Applications to Synchronization, Lect. Notes in Comp. Sci. 185(1985) 267–283Google Scholar
  3. /BG77/.
    R.M.Burstall, J.A.Goguen, Putting Theories together to make Specifications, Proc.5th Int. Conf. on Artificial Intelligence (1977) 1045–1058Google Scholar
  4. /Ehr79/.
    H. Ehrig, Introduction to the Algebraic Theory of Graph Grammars, Lect. Notes in Comp. Sci. 73 (1979) 1–69Google Scholar
  5. /EFHLP87/.
    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 1987Google Scholar
  6. /EFPB86/.
    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–77Google Scholar
  7. /EHR86/.
    H.Ehrig, A.Habel, B.K.Rosen, Concurrent Transformations of Relational Structures, Fund.Inform. IX(1) 1986Google Scholar
  8. /EKMRW81/.
    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–334CrossRefGoogle Scholar
  9. /EM85/.
    H.Ehrig, B.Mahr, Fundamentals of Algebraic Specifications 1: Equations and Initial Semantics, EATCS Monographs on Theoret. Comp. Sci., vol 6, Springer-Verlag 1985Google Scholar
  10. /ENR83/.
    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. /ENR87/.
    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. /EPS73/.
    H.Ehrig, M.Pfender, H.J.Schneider, Graph Grammars: An Algebraic Approach, Proc.IEEE Conf. SWAT 73, Iowa City 1973, 167–180Google Scholar
  13. /ER80/.
    H. Ehrig, B.K. Rosen, Parallelism and Concurrency of Graph Manipulations, Theoret. Comp. Sci. 11 (1980) 247–275.CrossRefGoogle Scholar
  14. /EW85/.
    H.Ehrig, H.Weber, Algebraic Specification of Modules, in "Formal Models in Programming" (E.J.Neuhold, G.Chronist, eds.) North-Holland 1985Google Scholar
  15. /GM82/.
    J.A. Goguen, J. Meseguer, Universal Realization, Persistent Interconnection and Implementation of Abstract Modules, Lect. Notes in Comp. Sci. 140 (1982) 265–281Google Scholar
  16. /Na79/.
    M. Nagl, A Tutorial and Bibliographical Survey on Graph Grammars, Lect. Notes in Comp. Sci. 73 (1979) 70–126Google Scholar
  17. /PP87a/.
    F. Parisi-Presicce, Union and Actualization of Module Specifications: Some Compatibility Results, J. Comp. System Sci. 35,1 (1987) 72–95CrossRefGoogle Scholar
  18. /PP87b/.
    F. Parisi-Presicce, Partial Composition and Recursion of Module Specifications, Lect. Notes in Comp. Sci. 249 (1987) 217–231Google Scholar
  19. /PP88/.
    F. Parisi-Presicce, Product and Iteration of Module Specifications, Lect. Notes in Comp. Sci. 299 (1988) 149–164Google Scholar
  20. /Ro75/.
    B.K. Rosen, Deriving Graphs by Applying a Production, Acta Inform. 4(1975) 337–357CrossRefGoogle Scholar
  21. /ST87/.
    D. Sannella, A. Tarlecki, Toward Formal Development of Programs from Algebraic Specifications: Implementation Revisited, Lect. Notes in Comp. Sci. 249 (1987) 96–110Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1989

Authors and Affiliations

  • Francesco Parisi-Presicce
    • 1
  1. 1.Dipartimento di Matematica Pura ed ApplicataUniversita' degli Studi — L'AquilaL'AquilaItaly

Personalised recommendations