In diesem Bericht wird eine Methode zur maximalen Zerlegung von parallelen Prozessen in (eingeschränktem) Basic LOTOS ohne Rekursion vorgestellt. Darunter versteht man die Transformation eines vorgegebenen Prozesses in einen äquivalenten Prozeß bestehend aus mehreren Teilprozessen, die unabhängig voneinander parallel ablaufen. Dabei ist die Anzahl dieser Teilprozesse maximal. Im Vergleich zu der bekannten Methode "Inverse Expansion" ist die Anzahl der Teilprozesse nicht auf zwei beschränkt, und es werden keine Aktionenmengen zweier Teilprozesse, die bei "Inverse Expansion" erforderlich sind, als Vorgabe benötigt. Außerdem sind die Aktionenmengen der Teilprozesse im allgemeinen nicht disjunkt, d.h. die Zerlegung von nichtdeterministischen Prozessen ist auch erlaubt. Ferner wird im Zusammenhang mit der Zerlegungsmethode eine weitere Methode für eine Teilsprache Basic LOTOS vorgestellt, die die Rückführung von Semantik, in diesem Fall einer Ereignisstruktur, zur Syntax ermöglicht.
Additional information:
Das Dokument wird vom Publikationsserver der Universitätsbibliothek Mannheim bereitgestellt.
![[img]](https://madoc.bib.uni-mannheim.de/style/images/fileicons/application_pdf.png)
Search Authors in