Zusammenfassung
Vorstellungen, die mit dem Wort „Prozeß“ verbunden werden, erweisen sich in zunehmendem Maße als geeignet und angemessen für Entwurf und Verständnis komplexer Rechensysteme. Bei der Gliederung dieser Systeme in Prozesse treten zwei Klassen von Problemen in den Vordergrund, die man mit den Worten „Kooperation“ und „Koexistenz“ von Prozessen charakterisieren kann. Eigentümlicherweise lassen sich die Phänomene der einen Klasse stets in solche der anderen transformieren bzw. in solchen der anderen ausdrücken. Die programmative (softwaremäßige) Durchführung einer solchen Transformation heißt Implementierung.
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
Dijkstra, E.W. “The structure of the THE-multiprogramming system” Comm. ACM 11, 5 (1968), 341–346
Brinch Hansen, P. “The nucleus of a multiprogramming system” Comm. ACM 13, 4(1970), 238–41, 250
Horning, J.J. Randell, B. and “Process Structuring ” Computing Surveys ACM 5, 1 (1973), 5–30
Jammel, A. “Formale Behandlung des Verklemmungsproblems beim Mehrprogrammbetrieb” Dissertation, München 1972
Lampson, B.W. “A scheduling philosophy for multiprocessing systems” ’:omm. ACM 11, 5 (1968), 347–360
Zurcher, F.W. und “Iterative multi-level modelling - a methodology Randell, B. for computer system design” Proceedings of the IFIP Congress 68, vol 2, 867–871 NHPC, Amsterdam 1969
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1973 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Jammel, A. (1973). Zur Modellierung von Prozessystemen. In: Brauer, W. (eds) GI Gesellschaft für Informatik e. V.. Lecture Notes in Computer Science, vol 1. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-41148-3_22
Download citation
DOI: https://doi.org/10.1007/978-3-662-41148-3_22
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-40668-7
Online ISBN: 978-3-662-41148-3
eBook Packages: Springer Book Archive