Eine Theorie der Prozessoperationen

Das Prozeßkonzept, das ein zentrales Konzept der Betriebssysteme ist, und auch in moderne Programmiersprachen wie Ada, Pearl und Concurrent Pascal aufgenommen wurde, wird eingehend behandelt. Der Prozeßbegriff und Operationen an Prozessen werden formal definiert und eine Reihe von Eigenschaften solcher Operationen untersucht. Es sind dies: Auftraggeber/Betroffenen-Relation, Wirkung, Abhängigkeit, Homogenität und Durchgriff. Im zweiten Teil werden eine Methode zur Definition konkreter Prozeßoperationen entwickelt und zahlreiche Varianten der Operationen Erzeugen, Starten, Anhalten, Fortsetzen, Beenden und Vernichten definiert und untersucht. Zum Abschluß werden grundlegende Realisierungsprobleme diskutiert.