Skip to main content
SpringerLink
Log in

Transformation of combined data type and process specifications using projection algebras

  • Technical Contributions
  • Conference paper
  • First Online:
Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness (REX 1989)

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

Abstract

The concept of projection specifications was recently introduced as a purely algebraic approach to the specification of continuous algebras in the framework of metric spaces. It allows to combine data type- and process specifications within one formalism. Parameterized projection specifications, corresponding to usual algebraic parameterized specifications, carry over compositionality to combined data type and process specifications. The parameter part may contain data types as well as process types. Transformation concepts for algebraic specifications are shown to apply also to projection specifications; i.e. extension and refinement, and different notions of implementation can be generalized to projection specifications.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. E.Astesiano, G.F.Mascari, G.Reggio, M.Wirsing: On the Parameterized Algebraic Specification of Concurrent Systems, Proc. CAAP85 — TAPSOFT Conference, Springer LNCS 185, 1985

    Google Scholar 

  2. E.Astesiano, G.Reggio: An Outline of the SMoLCS Methodology, Mathematical Models for the Semantics of Parallelism, Springer LNCS 280, 1987

    Google Scholar 

  3. E.K. Blum, H. Ehrig, F. Parisi-Presicce: Algebraic Specification of Modules and Their Basic Interconnections, in JCCS Vol.34, No.2/3, pp.293–339, 1987

    Google Scholar 

  4. R.M.Burstall, J.A.Goguen: CAT, a System for the Structured Elaboration of Correct Programs from Structured Specifications, unpublished draft, University of Edinburgh / SRI International, March 1980

    Google Scholar 

  5. J.A. Bergstra, J.W. Klop: The Algebra of Recursively Defined Processes and the Algebra of Regular Processes, Report IW 235/83, Math. Centrum, Amsterdam 1983

    Google Scholar 

  6. J.A.Bergstra, J.W.Klop: Algebra of Communicating Processes, in: CWI Monographs I Series, Proceedings of the CWI Symposium Mathematics and Computer Science, North-Holland, p. 89–138, Amsterdam 1986

    Google Scholar 

  7. M. Broy: Specification and Top Down Design of Distributed Systems, Proc. of TAPSOFT, Joint Concerence of Theory and Practice of Software Development, Berlin, Springer LNCS 185, 1985

    Google Scholar 

  8. M. Broy: A Theory for Nondeterminism, Parallelism, Communication and Concurrency, Habilitation, Fakultät für Mathematik und Informatik der Technischen Universität München, 1982, revised version in Theoretical Computer Science 45, pp 1–61, 1986

    Google Scholar 

  9. M.Broy: Algebraic and Functional Specification of a Serializable Database Interface, Technical Report, Universität Passau, MIP-8718, 1987

    Google Scholar 

  10. J.W.DeBakker, J.I.Zucker: Denotational Semantics of Concurrency Proc. 14th. ACM Symp. on Theory of Computing, p.153–158, 1982

    Google Scholar 

  11. J.W. DeBakker, J.I. Zucker: Processes and the Denotational Semantics of Concurrency, Information and Control, Vol.54, No.1/2, p.70–120, 1982

    Article  Google Scholar 

  12. COMPASS Working Group: A Comprehenisve Approach to System Specification and Development, B.Krieg Brückner (ed.), Technical Report No 6/89, Universität Bremen 1989

    Google Scholar 

  13. C.Dimitrovici, H.Ehrig, M.Große-Rhode, C.Rieckhoff: Projektionsräume und Projektionsalgebren: Eine Algebraisierung von ultrametrischen Räume, Technical Report No. 87-7, TU Berlin, 1987

    Google Scholar 

  14. C.Dimitrovici: Projection Module Specifications and Their Basic Interconnections, Technical Report No. 89-5, TU Berlin 1989

    Google Scholar 

  15. H.Ehrig,W.Fey,H.Hansen: ACT ONE: An Algebraic Specification Language with Two Levels of Semantics, TUB Bericht Nr.83-01

    Google Scholar 

  16. H.Ehrig: Concepts and Compatibility Requirements for Implementations and Transformations of Specifications, Algebraic Specification Column Part 6, EATCS Bulletin 38, April 1989

    Google Scholar 

  17. H. Ehrig, H.J. Kreowski, B. Mahr, P. Padawitz: Algebraic Implementation of Abstract Data Types, Theor. Comp. Science 20, pp.209–263, 1982

    Google Scholar 

  18. H. Ehrig, H.J. Kreowski, P. Padawitz: Algebraic Implementation of Abstract Data Types: Concept, Syntax, Semantics and Correctness. Proc. ICALP 80, Springer LNCS 85, pp. 142–156, 1980

    Google Scholar 

  19. H. Ehrig, B. Mahr: Fundamentals of Algebraic Specifications 1: Equations and Initial Semantics, Springer Verlag, Berlin-Heidelberg-NewYork-Tokyo 1985

    Google Scholar 

  20. H. Ehrig, B. Mahr: Fundamentals of Algebraic Specifications 2: Modules and Constraints, Springer Verlag, Berlin-Heidelberg-NewYork-Tokyo 1989

    Google Scholar 

  21. H. Ehrig, F. Parisi-Presicce, P. Boehm, C. Rieckhoff, C. Dimitrovici, M. Große-Rhode: Algebraic Data Type and Process Specifications Based on Projection Spaces, Springer LNCS 332, p.23–43, 1988

    Google Scholar 

  22. H.Ehrig, P.Pepper, F.Orejas: On Recent Trends in Algebraic Specification, Invited paper for ICALP'89, Stresa

    Google Scholar 

  23. M. Große-Rhode: Specification of Projection Algebras, Diploma Thesis, TU Berlin, 1988

    Google Scholar 

  24. M.Große-Rhode: Parameterized Data Type and Process Specifications Using Projection Algebras, in: Categorical Methods in Computer Science with Aspects from Topology, H.Ehrig, M.Herrlich, H.J.Kreowski G.Preuß (eds.), Springer LNCS 393, 1989

    Google Scholar 

  25. H.Herrlich, H.Ehrig: The Construct PRO of Projection Spaces: Its Internal Structure, in: Categorical Methods in Computer Science with Aspects from Topology, H.Ehrig, M.Herrlich, H.J.Kreowski G.Preuß (eds.), Springer LNCS 393, 1989

    Google Scholar 

  26. H. Herrlich, G.E. Strecker: Category Theory, Allyn and Bacon, Boston 1973

    Google Scholar 

  27. U.Hummert: High Level Netze, Technical Report No. 87-10, TU Berlin 1987

    Google Scholar 

  28. U. Hummert: Algebraische Theorie von High Level Netzen, Dissertation, TU Berlin, 1989

    Google Scholar 

  29. ISO-DIS 8807, ISO/TC97/SC21/WG1-FDT/SC-C, "LOTOS, a formal description technique based on the temporal ordering of observational behaviour", December 1986

    Google Scholar 

  30. K.Jensen: Coloured Petri Nets, Advances in Petri Nets, Springer LNCS 255, 1986

    Google Scholar 

  31. B.Krieg-Brückner, B.Hoffmann, H.Ganzinger, M.Broy, R.Wilhelm, U.Möncke, B.Weisgerber, A.McGettrick, I.G. Campbell, G.Winterstein: PROgram development by SPECification and TRAnsformation. In: M.W.Roger (ed.): Results and Achievements, Proc. ESPRIT Conf. 86, North Holland (1987) 301–312

    Google Scholar 

  32. S.Kaplan, A.Pnueli: Specification and Implementation of Concurrently Accessed Data Structures: An Abstract Data Type Approach, Proc. Symp. on Theoretical Aspects of Computer Science '87, Springer LNCS 247, 1987

    Google Scholar 

  33. B.Möller, W.Dosch: On the Algebraic Specification of Domains, in Recent Trends in Data Type Specification (e.d. H.J.Kreowski), Informatik Fachberichte 116, Springer Verlag 1986, 178–195

    Google Scholar 

  34. R.Milner: CCS, A Calculus of Communicating Systems, Springer LNCS 92, 1980

    Google Scholar 

  35. Reisig: Petri Nets, Springer Berlin Heidelberg New York 1985

    Google Scholar 

  36. M.Smyth: Quasi-Uniformities: Reconciling Domains and Metric Spaces, Third Workshop on Mathematical Foundations of Programming Language Semantics (Tulane 1987), to appear: Springer LNCS, 1988

    Google Scholar 

  37. A.Tarlecki, M.Wirsing: Continuous abstract data types, Fundamenta Informaticae IX (1986) 95–126, North-Holland

    Google Scholar 

  38. J.Vautherin: Parallel System Specifications with Coloured Petri Nets and Algebraic Abstract Data Types, 7th European Workshop on Applications and Theory of Petri Nets, Oxford 1986

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. TU Berlin, Fachbereich Informatik (20), Sekr. FR 6-1 Franklinstr. 28/29, D-1000, Berlin 10

    M. Große-Rhode & H. Ehrig

Authors
  1. M. Große-Rhode
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. H. Ehrig
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

J. W. de Bakker W. -P. de Roever G. Rozenberg

Rights and permissions

Reprints and permissions

Copyright information

© 1990 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Große-Rhode, M., Ehrig, H. (1990). Transformation of combined data type and process specifications using projection algebras. In: de Bakker, J.W., de Roever, W.P., Rozenberg, G. (eds) Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness. REX 1989. Lecture Notes in Computer Science, vol 430. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-52559-9_69

Download citation

  • DOI: https://doi.org/10.1007/3-540-52559-9_69

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-52559-2

  • Online ISBN: 978-3-540-47035-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation