Skip to main content

Zur Modellierung von Prozessystemen

  • Chapter
GI Gesellschaft für Informatik e. V.

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

  • 593 Accesses

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.

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

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 49.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literatur

  1. Dijkstra, E.W. “The structure of the THE-multiprogramming system” Comm. ACM 11, 5 (1968), 341–346

    Article  MATH  Google Scholar 

  2. Brinch Hansen, P. “The nucleus of a multiprogramming system” Comm. ACM 13, 4(1970), 238–41, 250

    Google Scholar 

  3. Horning, J.J. Randell, B. and “Process Structuring ” Computing Surveys ACM 5, 1 (1973), 5–30

    Article  Google Scholar 

  4. Jammel, A. “Formale Behandlung des Verklemmungsproblems beim Mehrprogrammbetrieb” Dissertation, München 1972

    Google Scholar 

  5. Lampson, B.W. “A scheduling philosophy for multiprocessing systems” ’:omm. ACM 11, 5 (1968), 347–360

    Article  MATH  Google Scholar 

  6. 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

    Google Scholar 

Download references

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints 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

Publish with us

Policies and ethics