Maximale Zerlegung von parallelen Prozessen ohne Rekursion


Do, H. Trung


[img]
Vorschau
PDF
TR-96-012.pdf - Veröffentlichte Version

Download (551kB)

URL: http://ub-madoc.bib.uni-mannheim.de/796
URN: urn:nbn:de:bsz:180-madoc-7960
Dokumenttyp: Arbeitspapier
Erscheinungsjahr: 1996
Sprache der Veröffentlichung: Deutsch
Einrichtung: Fakultät für Wirtschaftsinformatik und Wirtschaftsmathematik > Sonstige - Fakultät für Mathematik und Informatik
MADOC-Schriftenreihe: Veröffentlichungen der Fakultät für Mathematik und Informatik > Institut für Informatik > Technical Reports
Fachgebiet: 004 Informatik
Normierte Schlagwörter (SWD): Paralleler Algorithmus , LOTOS <Programmiersprache>
Abstract: 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.
Zusätzliche Informationen:

Das Dokument wird vom Publikationsserver der Universitätsbibliothek Mannheim bereitgestellt.




+ Zitationsbeispiel und Export

Do, H. Trung (1996) Maximale Zerlegung von parallelen Prozessen ohne Rekursion. [Arbeitspapier]
[img]
Vorschau



+ Suche Autoren in

BASE: Do, H. Trung

Google Scholar: Do, H. Trung

+ Download-Statistik

Downloads im letzten Jahr

Detailierte Angaben



Sie haben einen Fehler gefunden? Teilen Sie uns Ihren Korrekturwunsch bitte hier mit: E-Mail


Actions (login required)

Eintrag anzeigen Eintrag anzeigen