Transformation of combined data type and process specifications using projection algebras

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 430 LNCS, Issue , 1990, Pages 301-339

  Grosse Rhode M ^a   Ehrig, H ^a  

^a TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

Author keywords

Horizontal and Vertical Operations; Parameterized Projection Specification; Projection Algebra (Continuous Algebra); Projection Specification; R Implementation; Refinement

Indexed keywords

ALGEBRA; METADATA; PARAMETERIZATION;

HORIZONTAL AND VERTICAL OPERATIONS; PARAMETERIZED; PROJECTION ALGEBRA (CONTINUOUS ALGEBRA); R-IMPLEMENTATION; REFINEMENT;

SPECIFICATIONS;

EID: 0038217274     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-52559-9_69     Document Type: Conference Paper

References (36)

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
2. E. Astesiano, G. Reggio: An Outline of the SMoLCS Methodology, Mathematical Models for the Semantics of Parallelism, Springer LNCS 280,1987
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
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
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
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
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
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
9. M. Broy: Algebraic and Functional Specification of a Serializable Database Interface, Technical Report, Universität Passau, MIP-8718,1987
10. J. W. DeBakker, J. I. Zucker: Denotational Semantics of Concurrency Proc. 14th. ACM Symp. on Theory of Computing, p. 153-158,1982
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
12. COMPASS Working Group: A Comprehenisve Approach to System Specification and Development, B. Krieg Briickner (ed.), Technical Report No 6/89, Universität Bremen 1989
13. C. Dimitrovici, H. Ehrig, M. Große-Rhode, C. Rieckhoff: Projektionsräume und Projektionsalgebren: Eine Algebraisierung von ultrametrischen Räumen, Technical Report No. 87-7, TU Berlin, 1987
14. C. Dimitrovici: Projection Module Specifications and Their Basic Interconnections, Technical Report No. 89-5, TU Berlin 1989
15. H. Ehrig, W. Fey, H. Hansen: ACT ONE: An Algebraic Specification Language with Two Levels of Semantics, TUB Bericht Nr. 83-01
16. H. Ehrig: Concepts and Compatibility Requirements for Implementations and Transformations of Specifications, Algebraic Specification Column Part 6, EATCS Bulletin 38, April 1989
17. H. Ehrig, H. J. Kreowski, B. Mahr, P. Padawitz: Algebraic Implementation of Abstract Data Types, Theor. Comp. Science 20, pp. 209-263, 1982
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
19. H. Ehrig, B. Mahr: Fundamentals of Algebraic Specifications 1: Equations and Initial Semantics, Springer Verlag, Berlin-Heidelberg-NewYork-Tokyo 1985
20. H. Ehrig, B. Mahr: Fundamentals of Algebraic Specifications 2: Modules and Constraints, Springer Verlag, Berlin-Heidelberg-NewYork-Tokyo 1989
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
22. H. Ehrig, P. Pepper, F. Orejas: On Recent Trends in Algebraic Specification, Invited paper for ICALP'89, Strcsa M. Große-Rhode: Specification of Projection Algebras, Diploma Thesis, TU Berlin, 1988
23. 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
24. 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. Heirlich, H. J. Kreowski G. Preuß (eds.), Springer LNCS 393, 1989
25. H. Herrlich, G. E. Strecker: Category Theory, Allyn and Bacon, Boston 1973
26. U. Hummert: High Level Netze, Technical Report No. 87-10, TU Berlin 1987
27. U. Hummert: Algebraische Theorie von High Level Netzen, Dissertation, TU Berlin, 1989
28. 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
29. K. Jensen: Coloured Petri Nets, Advances in Petri Nets, Springer LNCS 255, 1986
30. 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 TR Ansformation. In: M. W. Roger (ed.): Results and Achievements, Proc. ESPRIT Conf. 86, North Holland (1987) 301-312
31. S. Kaplan, A. Pnueli: Specification and Implementation of Concurently Accessed Data Structures: An Abstract Data Type Approach, Proc. Symp. on Theoretical Aspects of Computer Science '87, Springer LNCS 247,1987
32. 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
33. R. Milner: CCS, A Calculus of Communicating Systems, Springer LNCS 92,1980 Reisig: Petri Nets, Springer Berlin Heidelberg New York 1985
34. 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
35. A. Tarlecki, M. Wirsing: Continuous abstract data types, Fundamenta Informaticae IX (1986) 95-126, North-Holland
36. 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