Abstract
The theory of algebraic module specifications treats the interconnection mechanisms for modular system design as operations on modules, the basic ones being composition, union and actualization. Here we introduce yet another operation on module specifications which, under suitable conditions, allows to “compose” two module specifications after specifying only a subpart common to the import of one and the export of the other one. This operation, which generalizes the basic ones, is used in the rule-based approach to the design of modular systems, recently introduced by the second author. In this approach, sequences of derivations which use the interfaces of a given set of modules can be realized by applying the match operation to the modules employed in the derivation.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview 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
B.Krieg-Bruckner, ed., A Comprehensive Algebraic Approach to System Specification and Development, ESPRIT BRWG 3264, Univ. Bremen, Bericht 6/89
H. Ehrig, Introduction to the Algebraic Theory of Graph Grammars, Lect. Notes in Comp. Sci. 73 (1979) 1–69
H. Ehrig, W. Fey, F. Parisi-Presicce, E.K. Blum, Algebraic Theory of Module Specifications with Constraint, invited, Proc MFCS, Lect. Notes in Comp. Sci. 233(1986) 59–77
H.Ehrig, A.Habel, H.-J.Kreowski, F.Parisi-Presicce, Parallelism and Concurrency in High Level Replacement Systems, Tech.Univ.Berlin Technical Report 90-35, submitted
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, B.Mahr, Fundamentals of Algebraic Specifications 2: Module Specifications and Constraints, EATCS Monographs on Theoret. Comp. Sci., vol. 21, Springer-Verlag 1990
H.Ehrig, F.Parisi-Presicce, Algebraic Specifications Grammars, to appear in Proc. 4th Intern. Workshop on Graph Grammars, Bremen (FRG), 1990
H. Ehrig, B. 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
F. Parisi-Presicce, Inner and Mutual Compatibility of Basic Operations on Module Specifications, Proc. CAAP 86, Lect. Notes in Comp. Sci. 214 (1986) 30–44. Full Version: Tech.Univ.Berlin Technical Report 86-06, April 1986
F. Parisi-Presicce, Modular System Design applying Graph Grammar Techniques, Proc. 16 ICALP, Lect.Notes in Comp.Sci. 372 (1989) 621–636
F.Parisi-Presicce, Foundations for a Rule-based Design of Modular Systems, to appear in Theor. Comp.Sci.
F.Parisi-Presicce, A Rule-Based Approach to Modular System Design, Proc. 12th Int.Conf.Soft.Eng., Nice(France) 1990, 202–211
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ehrig, H., Parisi-Presicce, F. (1991). A match operation for rule-based modular system design. In: Ehrig, H., Jantke, K.P., Orejas, F., Reichel, H. (eds) Recent Trends in Data Type Specification. ADT 1990. Lecture Notes in Computer Science, vol 534. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54496-8_5
Download citation
DOI: https://doi.org/10.1007/3-540-54496-8_5
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54496-8
Online ISBN: 978-3-540-38416-8
eBook Packages: Springer Book Archive