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.
Chapter PDF
References
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
P. Boehm, H.-R. Fonio, A. Habel, Amalgamation of Graph Transformations with Applications to Synchronization, Lect. Notes in Comp. Sci. 185(1985) 267–283
R.M.Burstall, J.A.Goguen, Putting Theories together to make Specifications, Proc.5th Int. Conf. on Artificial Intelligence (1977) 1045–1058
H. Ehrig, Introduction to the Algebraic Theory of Graph Grammars, Lect. Notes in Comp. Sci. 73 (1979) 1–69
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
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
H.Ehrig, A.Habel, B.K.Rosen, Concurrent Transformations of Relational Structures, Fund.Inform. IX(1) 1986
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
H.Ehrig, B.Mahr, Fundamentals of Algebraic Specifications 1: Equations and Initial Semantics, EATCS Monographs on Theoret. Comp. Sci., vol 6, Springer-Verlag 1985
H.Ehrig, M.Nagl, G.Rozenberg (eds): Graph Grammars and their Applications to Computer Science, Lect. Notes in Comp. Sci. 153 (1983)
H.Ehrig, M.Nagl, G.Rozenberg, A.Rosenfeld (eds): Graph Grammars and their Applications to Computer Science, Lect. Notes in Comp. Sci. 291 (1987)
H.Ehrig, M.Pfender, H.J.Schneider, Graph Grammars: An Algebraic Approach, Proc.IEEE Conf. SWAT 73, Iowa City 1973, 167–180
H. Ehrig, B.K. Rosen, Parallelism and Concurrency of Graph Manipulations, Theoret. Comp. Sci. 11 (1980) 247–275.
H.Ehrig, H.Weber, Algebraic Specification of Modules, in "Formal Models in Programming" (E.J.Neuhold, G.Chronist, eds.) North-Holland 1985
J.A. Goguen, J. Meseguer, Universal Realization, Persistent Interconnection and Implementation of Abstract Modules, Lect. Notes in Comp. Sci. 140 (1982) 265–281
M. Nagl, A Tutorial and Bibliographical Survey on Graph Grammars, Lect. Notes in Comp. Sci. 73 (1979) 70–126
F. Parisi-Presicce, Union and Actualization of Module Specifications: Some Compatibility Results, J. Comp. System Sci. 35,1 (1987) 72–95
F. Parisi-Presicce, Partial Composition and Recursion of Module Specifications, Lect. Notes in Comp. Sci. 249 (1987) 217–231
F. Parisi-Presicce, Product and Iteration of Module Specifications, Lect. Notes in Comp. Sci. 299 (1988) 149–164
B.K. Rosen, Deriving Graphs by Applying a Production, Acta Inform. 4(1975) 337–357
D. Sannella, A. Tarlecki, Toward Formal Development of Programs from Algebraic Specifications: Implementation Revisited, Lect. Notes in Comp. Sci. 249 (1987) 96–110
Author information
Authors and Affiliations
Editor information
Rights 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