Kurzfassung
Es wird eine Sprache vorgestellt, die aufbauend auf einem einheitlichen Konzept (zeitbewertete interpretierte Petri Netze) Beschreibungen auf sehr unterschiedlichen Abstraktionsebenen erlaubt. Diese Abstraktionsebenen reichen von der Ebene der Verschaltung von integrierten Bausteinen hin bis zu Warteschlangenmodellen. Auf die Möglichkeit, nebenläufige Prozesse beschreiben zu können, wurde besonders Wert gelegt (CAP steht für Concurrent Algorithmic Programming Language) /RA1/.
In diesem Beitrag wird das Grundkonzept der Sprache, insbesondere die CAP-Netze, erläutert und spezielle Spracheigenschaften von CAP anhand von fünf kleinen Beispielprogrammen vorgestellt. Diese Beispielprogramme sind:
-
auf der IC-Ebene: Beschreibung eines „8-bit-ripple-counter“
-
auf der RT-Ebene: Beschreibung eines synchronen sequentiellen Komplementierers
-
auf der RT-Ebene: Beschreibung eines asynchronen sequentiellen Komplementierers
-
auf der BS-Ebene: Beschreibung eines Resourcenverwalters
-
auf der Systeminteraktionsebene: Beschreibung einer Tankstelle.
Abschließend wird die bisher implementierte CAP-Software (Compiler, Interpreter/ Simulator, Debugger, Dokumentationsgenerator, optimierender Cross Code Generator, Maschinenmodellgenerator) kurz vorgestellt.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Literatur
Y. Chu: Introducing CDL IEEE Computer, December 1974
E. W. Dijkstra: Guarded Commands, Nondeterminacy and Formal Derivation of Programs CACM vol, 18, No. 8 (1975)
K. Gröning: Zur Darstellung und Simulation von Interrupts in parallelen Systemen durch Petri-Netze Diplomarbeit, Abt. Informatik, Univ. Dortmund (1979)
C. A. R. Hoare: Monitors: An Operating Systems Structuring Concept CACM Vol. 17, No. 10 (1974)
O. Herzog & M. Yoeli: Control Nets for Asynchronous Systems, Part 1 Technion Haifa, Dept. of Computer Science, Techn. Report 74 (1976)
W. M. McKeeman et al.: A Compiler Generator Prentice Hall (1970)
J. D. Noe, G. J. Nutt: Macro E-Nets for Representation of Parallel Systems IEEE ToC Vol. C-22, No. 8 (1973
I. Nassi, B. Shneiderman: Flowchart Techniques for Structured Programming SIGPLAN Notices, Nor. 1976
R. J. Rammig: An Introduction to the Concurrent Algorithmic Programming Language CAP, or Looking at CAP wi th the revised Ironman’s Eyes Forschungsbericht Nr. 80 d. Abt. Informatik d. Uni v. Dortmund (1979)
F. J. Rammig: Überlegungen zur Kontrollstruktur einer Computer Hardware Beschreibungssprache Forschungsbericht Nr. 62 d. Abt. Informatik d. Univ. Dortmund, (1978)
F. J. Rammig: The Concurrent Programming Language CAP and the CAP CAD-System Ersch. in: Proceedings EUROMICRO’ 79 Göteborg August 1979
C. W. Rose: LOGOS and the Software Engineer FJCC (1972)
M. Yoeli, Z. Barzilai: On Behavioral Description of Communioation Switching Systems Technion — Israel Institute of Technology, CS Dept. Technical Report No. 99 (1977)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1980 Springer-Verlag Berlin · Heidelberg
About this paper
Cite this paper
Rammig, F.J. (1980). Entwurf, Beschreibung und Implementation von Systemen mit Hilfe der nebenläufigen Programmiersprache CAP. In: Zimmermann, G. (eds) GI-NTG Fachtagung Struktur und Betrieb von Rechensystemen. Informatik-Fachberichte, vol 27. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-67607-9_16
Download citation
DOI: https://doi.org/10.1007/978-3-642-67607-9_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-09952-9
Online ISBN: 978-3-642-67607-9
eBook Packages: Springer Book Archive