Skip to main content
SpringerLink
Log in
Book cover

Categorical Methods in Computer Science With Aspects from Topology pp 220–243Cite as

Semantical constructions for categories of behavioural specifications

  • Part I: Applications Of Categorical Methods In Computer Science
  • Conference paper
  • First Online:

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

Abstract

Behavioural specifications — which are algebraic specifications with designated observable sorts — have recently been introduced in computer science in order to have a behavioural approach to algebraic specifications of data types and software systems.

In this paper different kinds of morphisms for behavioural specifications are studied leading to corresponding categories of behavioural specifications. On the semantical level all those algebras are considered as models which satisfy the axioms up to behavioural equivalence and behaviour morphisms are based on functions between observable domains.

According to the different kinds of behaviour specification morphisms the construction of forgetful and free functors is studied where in some cases forgetful functors have to be replaced by a new type of functors, called view functors. Using these functors it is investigated under which conditions there are corresponding amalgamation and extension lemmas which play a fundamental role for correctness and compositionality issues of all kinds of data type semantics.

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

6. References

  1. E.K. Blum, H. Ehrig, F. Parisi-Presicce: Algebraic Specification of Modules and their Basic Interconnections, J. of Comp. Syst. Sci. 34 (1987) 293–339.

    Google Scholar 

  2. H. Ehrig: A categorical concept of constraints for algebraic specifications, Technical University of Berlin, 1.989.

    Google Scholar 

  3. H. Ehrig, B. Mahr, Fundamentals of algebraic specification 1, EATCS Monographs on Theor. Comp. Sc., Springer, 1985.

    Google Scholar 

  4. H. Ehrig, H. Weber: Programming in the Large with Algebraic Module Specifications, Proc. IFIP Congress'86, Dublin, Sept. 1986.

    Google Scholar 

  5. J.A. Goguen, J. Meseguer, "Universal realization, persistent interconnection and implementation of abstract modules," Proc. IX ICALP, Springer LNCS 140, pp. 265–281, 1982.

    Google Scholar 

  6. J. A. Goguen, J. W. Thatcher, E. G. Wagner: An initial algebra approach to the specification, correctness and implementation of abstract data types, Current Trends in Programming Methodology, Vol. IV: Data Structuring, R. T. Yeh (ed.), Prentice Hall (1978) 80–149.

    Google Scholar 

  7. R. Hennicker, M. Wirsing: Observational Specification: A Birkhoff-Theorem, Recent Trends in Data Type Specification, Informatik-Fachberichte, Springer 116 (1985) 119–135.

    Google Scholar 

  8. J. Meseguer, J. A. Goguen: Initiality, induction and computability, Algebraic Methods in Semantics, M. Nivat and J. Reynolds (eds.), Cambridge Univ. Press (1985) 459–540.

    Google Scholar 

  9. Ma P. Nivela: Semántica de Comportamiento en Lenguajes de Especificación, PhD. Thesis, Facultat d'Informàtica, Universitat Politècnica de Catalunya, Barcelona (1987).

    Google Scholar 

  10. Ma P. Nivela, F. Orejas: Initial Behaviour Semantics for Algebraic Specifications, Proc. 5th Workshop on Algebraic Specifications of Abstract Data Types, Gullane 1987, Springer LNCS 332, (1988) 184–207.

    Google Scholar 

  11. H. Reichel: Behavioural equivalence — a unifying concept for initial and final specification methods, Proc. 3 rd Hungarian Computer Science Conf., Budapest (1981) 27–39.

    Google Scholar 

  12. H. Reichel: Behavioral validity of equations in abstract data types, Contributions to General Algebra 3, Proc.of the Vienna Conference, Verlag B. G. Teubner, Stuttgart (1985) 301–324.

    Google Scholar 

  13. D. Sannella: Tarlecki, A., On observational equivalence and algebraic specification. J J. of Comp. Syst. Sci. 34 (2/3) (1987) 150–178.

    Google Scholar 

  14. D. Sannella: Wirsing, M., A kernel language for algebraic specification and implementation. Proc. Intl. Conf. on Foundations of Computation Theory Sweden. Springer LNCS 158 (1983) 413–427.

    Google Scholar 

  15. O. Schoett: A theory of program modules, their specification and implementation (extended abstract), Univ. of Edinburgh, Rep. CSR-155-83, 1982.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Universitat Politecnica de Catalunya, Barcelona, Spain

    F. Orejas & Ma P. Nivela

  2. Technical University of Berlin, Berlin, West Germany

    H. Ehrig

Authors
  1. F. Orejas
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ma P. Nivela
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. H. Ehrig
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

H. Ehrig H. Herrlich H. -J. Kreowski G. Preuß

Rights and permissions

Reprints and permissions

Copyright information

© 1989 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Orejas, F., Nivela, M.P., Ehrig, H. (1989). Semantical constructions for categories of behavioural specifications. In: Ehrig, H., Herrlich, H., Kreowski, H.J., Preuß, G. (eds) Categorical Methods in Computer Science With Aspects from Topology. Lecture Notes in Computer Science, vol 393. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-51722-7_13

Download citation

  • DOI: https://doi.org/10.1007/3-540-51722-7_13

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-51722-1

  • Online ISBN: 978-3-540-46787-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation