Abstract
In this paper, we propose a general algebraic framework that serves as a basis for the semantic definition of modular systems. It is general in two senses. First, it is independent of the specification (or programming) formalism used to build modules as long as the formalism satisfies some algebraic properties. Moreover, we can combine modules built over different such formalisms. Secondly, our setting enables us to define compositional semantics for modular systems at any stage of development, including the case of non-hierarchical systems.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Astesiano, E., Kreoski, H.-J., Krieg-Brückner, B. (eds.): Algebraic Foundations for System Specification, IFIP State-of-the-art Reports. Springer, Heidelberg (1999)
Burstall, R.M., Goguen, J.A.: The semantics of Clear, a specification language. In: Bjorner, D. (ed.) Abstract Software Specifications. LNCS, vol. 86, pp. 292–332. Springer, Heidelberg (1980)
Diaconescu, R., Goguen, J.A., Stefaneas, P.: Logical support for modularisation, Report Prog. Res. Group. Oxford University, Oxford (1991)
Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specification 1. Springer, Heidelberg (1985)
Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specification 2. Springer, Heidelberg (1989)
Goguen, J.A., Burstall, R.M.: Introducing institutions. In: Clarke, E., Kozen, D. (eds.) Logic of Programs 1983. LNCS, vol. 164, pp. 221–256. Springer, Heidelberg (1984)
Goguen, J.A., Burstall, R.M.: Institutions: Abstract model theory for specification and programming. Journal of the ACM 39(1), 95–146 (1992)
Gaifman, H., Shapiro, E.: Fully abstract compositional semantics for logics programs. In: Proc. Sixteenth Annual ACM Symp. on Principles of Programming Languages, pp. 134–142 (1989)
Hussmann, H., Cerioli, M., Reggio, G., Tort, F.: Abstract Data Types and UML Models, WADT 1999, Chateau de Bonas (France) (September 1999)
Lucio, P., Orejas, F., Pino, E.: An algebraic framework for the definition of compositional semantics of Normal Logic Programs. Journal of Logic Programming 40(1), 89–124 (1999)
Meseguer, J.: General logic. In: Ebbinghaus, H.-D., et al. (eds.) Logic Colloq. 1987, pp. 279–329. North Holland, Amsterdam (1989)
Navarro, M., Orejas, F., Sánchez, A.: On the Correctness of Modular Systems. Theoretical Computer Science 140, 139–177 (1995)
Orejas, F., Pino, E., Ehrig, H.: Institutions for Logic Programming. Theoretical Computer Science 173, 485–511 (1997)
Orejas, F.: Chapter 6: Structuring and Modularity. In [AKK99]
Parisi-Presicce, F.: Product and iteration of module specification. In: Ehrig, H., Levi, G., Montanari, U. (eds.) CAAP 1987 and TAPSOFT 1987. LNCS, vol. 249, pp. 217–231. Springer, Heidelberg (1987)
Parisi-Presicce, F.: Partial Composition and Recursion of Module Specifications. In: Dauchet, M., Nivat, M. (eds.) CAAP 1988. LNCS, vol. 299, pp. 149–164. Springer, Heidelberg (1988)
Pino, E.: Algebraic study of modularity in logic programming. Ph. D. Thesis. Software Department. Technical University of Catalonia
Reichel, H.: Initiallity restricting algebraic theories. In: Proc. Mathematical Foundations of Computer Science 80. Lectures Notes in Computer Science, vol. 88, pp. 504–514. Springer, Heidelberg (1980)
Sannella, D.T., Tarlecki, A.: Toward Formal Development of ML Programs: Foundations And Methodology. In: Díaz, J., Orejas, F. (eds.) TAPSOFT 1989 and CCIPL 1989. LNCS, vol. 352. Springer, Heidelberg (1989)
Tarlecki, A.: Moving between logical systems. In: Haveraaen, M., Dahl, O.-J., Owe, O. (eds.) Abstract Data Types 1995 and COMPASS 1995. LNCS, vol. 1130, pp. 478–502. Springer, Heidelberg (1996)
Tarlecki, A.: Towards heterogeneous specifications. In: Proc. Workshop on Frontiers of Combining Systems FroCoS 1998, Applied Logic Series, Amsterdam. Kluwer Academic Publishers, Dordrecht (1998)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Orejas, F., Pino, E. (2000). A General Algebraic Framework for Studying Modular Systems. In: Bert, D., Choppy, C., Mosses, P.D. (eds) Recent Trends in Algebraic Development Techniques. WADT 1999. Lecture Notes in Computer Science, vol 1827. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-44616-3_16
Download citation
DOI: https://doi.org/10.1007/978-3-540-44616-3_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67898-4
Online ISBN: 978-3-540-44616-3
eBook Packages: Springer Book Archive