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.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
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
E.Astesiano, G.Reggio: An Outline of the SMoLCS Methodology, Mathematical Models for the Semantics of Parallelism, Springer LNCS 280, 1987
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
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
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
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
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
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
M.Broy: Algebraic and Functional Specification of a Serializable Database Interface, Technical Report, Universität Passau, MIP-8718, 1987
J.W.DeBakker, J.I.Zucker: Denotational Semantics of Concurrency Proc. 14th. ACM Symp. on Theory of Computing, p.153–158, 1982
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
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
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
C.Dimitrovici: Projection Module Specifications and Their Basic Interconnections, Technical Report No. 89-5, TU Berlin 1989
H.Ehrig,W.Fey,H.Hansen: ACT ONE: An Algebraic Specification Language with Two Levels of Semantics, TUB Bericht Nr.83-01
H.Ehrig: Concepts and Compatibility Requirements for Implementations and Transformations of Specifications, Algebraic Specification Column Part 6, EATCS Bulletin 38, April 1989
H. Ehrig, H.J. Kreowski, B. Mahr, P. Padawitz: Algebraic Implementation of Abstract Data Types, Theor. Comp. Science 20, pp.209–263, 1982
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
H. Ehrig, B. Mahr: Fundamentals of Algebraic Specifications 1: Equations and Initial Semantics, Springer Verlag, Berlin-Heidelberg-NewYork-Tokyo 1985
H. Ehrig, B. Mahr: Fundamentals of Algebraic Specifications 2: Modules and Constraints, Springer Verlag, Berlin-Heidelberg-NewYork-Tokyo 1989
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
H.Ehrig, P.Pepper, F.Orejas: On Recent Trends in Algebraic Specification, Invited paper for ICALP'89, Stresa
M. Große-Rhode: Specification of Projection Algebras, Diploma Thesis, TU Berlin, 1988
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
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
H. Herrlich, G.E. Strecker: Category Theory, Allyn and Bacon, Boston 1973
U.Hummert: High Level Netze, Technical Report No. 87-10, TU Berlin 1987
U. Hummert: Algebraische Theorie von High Level Netzen, Dissertation, TU Berlin, 1989
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
K.Jensen: Coloured Petri Nets, Advances in Petri Nets, Springer LNCS 255, 1986
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
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
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
R.Milner: CCS, A Calculus of Communicating Systems, Springer LNCS 92, 1980
Reisig: Petri Nets, Springer Berlin Heidelberg New York 1985
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
A.Tarlecki, M.Wirsing: Continuous abstract data types, Fundamenta Informaticae IX (1986) 95–126, North-Holland
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
Author information
Authors and Affiliations
Editor information
Rights 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