Skip to main content
SpringerLink
Log in

A General Algebraic Framework for Studying Modular Systems

  • Conference paper
Recent Trends in Algebraic Development Techniques (WADT 1999)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1827))

Included in the following conference series:

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Astesiano, E., Kreoski, H.-J., Krieg-Brückner, B. (eds.): Algebraic Foundations for System Specification, IFIP State-of-the-art Reports. Springer, Heidelberg (1999)

    Google Scholar 

  2. 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)

    Google Scholar 

  3. Diaconescu, R., Goguen, J.A., Stefaneas, P.: Logical support for modularisation, Report Prog. Res. Group. Oxford University, Oxford (1991)

    Google Scholar 

  4. Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specification 1. Springer, Heidelberg (1985)

    MATH  Google Scholar 

  5. Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specification 2. Springer, Heidelberg (1989)

    Google Scholar 

  6. 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)

    Google Scholar 

  7. Goguen, J.A., Burstall, R.M.: Institutions: Abstract model theory for specification and programming. Journal of the ACM 39(1), 95–146 (1992)

    Article  MathSciNet  MATH  Google Scholar 

  8. 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)

    Google Scholar 

  9. Hussmann, H., Cerioli, M., Reggio, G., Tort, F.: Abstract Data Types and UML Models, WADT 1999, Chateau de Bonas (France) (September 1999)

    Google Scholar 

  10. 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)

    Article  MathSciNet  MATH  Google Scholar 

  11. Meseguer, J.: General logic. In: Ebbinghaus, H.-D., et al. (eds.) Logic Colloq. 1987, pp. 279–329. North Holland, Amsterdam (1989)

    Google Scholar 

  12. Navarro, M., Orejas, F., Sánchez, A.: On the Correctness of Modular Systems. Theoretical Computer Science 140, 139–177 (1995)

    Article  MathSciNet  MATH  Google Scholar 

  13. Orejas, F., Pino, E., Ehrig, H.: Institutions for Logic Programming. Theoretical Computer Science 173, 485–511 (1997)

    Article  MathSciNet  MATH  Google Scholar 

  14. Orejas, F.: Chapter 6: Structuring and Modularity. In [AKK99]

    Google Scholar 

  15. 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)

    Google Scholar 

  16. 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)

    Chapter  Google Scholar 

  17. Pino, E.: Algebraic study of modularity in logic programming. Ph. D. Thesis. Software Department. Technical University of Catalonia

    Google Scholar 

  18. 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)

    Google Scholar 

  19. 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)

    Google Scholar 

  20. 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)

    Google Scholar 

  21. Tarlecki, A.: Towards heterogeneous specifications. In: Proc. Workshop on Frontiers of Combining Systems FroCoS 1998, Applied Logic Series, Amsterdam. Kluwer Academic Publishers, Dordrecht (1998)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dept. de L.S.I., Universitat Politècnica de Catalunya, Barcelona, Spain

    Fernando Orejas & Elvira Pino

Authors
  1. Fernando Orejas
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Elvira Pino
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Laboratoire Logiciels, Systèmes, Réseaux - IMAG, B.P. 72, F-38402, Saint Martin d’Hères Cedex, France

    Didier Bert

  2. LIPN, Institut Galilée, Université Paris XIII, France

    Christine Choppy

  3. Department of Computer Science, Swansea University, UK

    Peter D. Mosses

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation