Abstract
The problem of designing a modular system, using a set of predefined modules, with a given import and export interface has been reduced to the problem of generating a specification in an algebraic specification grammar. Here we tackle two important problems connected with the generation: the strategy to adopt in choosing the rewrite rules and the elimination of unnecessary searches. The first is investigated using a notion of similarity of specifications and a definition of value to guide the search algorithm; the second is solved using syntactical criteria (independent of the target specification) to determine that some derivation sequences are superfluous. The latter development has been influenced by similar work on graph grammars.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Download to read the full chapter text
Chapter PDF
References
E. K.Blum, H.Ehrig, F.Parisi-Presicce, Algebraic Specification of Module and their Interconnections, J. Comp. System Sci. 34, 2/3, 1987, 239–339.
S.Cicerone, F.Parisi-Presicce:Strategies in Modular System Design by Interface Rewriting, Technical Report N. 39/93, Dip. Matematica Pura ed Applicata, Univ. L'Aquila, 1993.
S.Cicerone, F.Parisi-Presicce: On the Complexity of Specification Morphism, Technical Report N.32/93, Dip. Matematica Pura ed Applicata, Univ. L'Aquila, 1993.
H.Ehrig: Introduction to the Algebraic Theory of Graph Grammars, LNCS 73, 1–69, 1979.
H.Ehrig, A.Habel, H.-J.Kreowski, F.Parisi-Presicce: From Graph Grammars to High-Level Replacement System, Proc. 4 Int. Workshop on Graph Grammars and Application to Comp. Sci., LNCS 532, 1991, 269–291.
H.Ehrig, B.Mahr: Fundamentals of Algebraic Specification 1: Equation and Initial Semantics, EATCS Monographs on Theoret. Comp. Sci., vol. 6, Springer-Verlag, 1985.
H.Ehrig, B.Mahr: Fundamentals of Algebraic Specification 2: Module Specifications and Constraints, EATCS Monographs on Theoret. Comp. Sci., vol. 21, Springer-Verlag, 1990.
H.Ehrig, F.Parisi-Presicce: Algebraic Specification Grammars: A Junction Between Module Specification and Graph Grammars, Proc. 4 Int. Workshop on Graph Grammars and Application to Comp. Sci., LNCS 532, 1991, 292–310.
H.Ehrig, F.Parisi-Presicce: High-Level Replacement System for Equational Algebraic Specification, Proc. 3rd Int. Conf. Algebraic and Logic Programming, LNCS 632, 1992, 3–20.
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 an Implentation of Abstract Modules, LNCS 140, 1982, 265–281.
M. Korff: Application of Graph Grammars to Rule-Based System, Proc. 4 Int. Workshop on Graph Grammars and Application to Comp. Sci., LNCS 532, 1991, 505–519.
F.Parisi-Presicce:A Rule-Based Approach to Modular System Design, Proc. 12 Int. Conf. Soft. Eng., Nice(France), 1990, 202–211.
F.Parisi-Presicce:Foundation of Rule-Based Design of Modular System, Theoretical Comp. Science 83, 1991, 131–155.
F.Parisi-Presicce: Reusability of Specifications and Implementations, Proc. 2nd Int. Conf. on Alg. Method and Soft. Techn., AMAST '91, (M.Nivat, T.Rus, G.Scollo, C. Rattray eds.), Springer-Verlag 1992, 43–56.
D. L. Parnas: A Technique for Module Specification with examples, Comm. ACM 15, 5, 1972, 330–336.
Author information
Authors and Affiliations
Corresponding author
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cicerone, S., Presicce, F.P. (1994). Strategies in modular system design by interface rewriting. In: Sannella, D. (eds) Programming Languages and Systems — ESOP '94. ESOP 1994. Lecture Notes in Computer Science, vol 788. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57880-3_11
Download citation
DOI: https://doi.org/10.1007/3-540-57880-3_11
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-57880-2
Online ISBN: 978-3-540-48376-2
eBook Packages: Springer Book Archive