Control Conditions for Transformation Units : Parallelism, As-long-as-possible, and Stepwise Control
Datei | Beschreibung | Größe | Format | |
---|---|---|---|---|
00105147-1.pdf | 1.12 MB | Adobe PDF | Anzeigen |
Sonstige Titel: | Kontrollbedingungen für Transformationseinheiten : Parallelität, as-long-as-possible, und schrittweise Kontrolle | Autor/Autorin: | Luderer, Melanie ![]() |
BetreuerIn: | Kreowski, Hans-Jörg | 1. GutachterIn: | Kreowski, Hans-Jörg | Weitere Gutachter:innen: | Padberg, Julia | Zusammenfassung: | The concept of graph transformation units is a formal and as well intuitive means to model processes on graphs. Thereby the control condition of a transformation unit plays an important role. It provides so to say the intelligence of the unit by describing its desired behaviour. The thesis regards control conditions focusing on two aspects: expressivity and practicability. Considering expressivity it implements two kinds of control conditions, as-long-as-possible and parallel expressions. As their names imply these control conditions are able to express the as-long-as-possible iteration respectively parallel composition of already described behaviour. Focusing on practical executability the thesis introduces the concept of stepwise control conditions. Whereas conventional control conditions in principle describe desired behaviour their computation may take a long time, since first all possible derivations have to be computed and then are checked against the control condition. Stepwise control conditions allow to directly guide the derivation process and so may save computation time. |
Schlagwort: | graph transformation; transformation units; control conditions; parallelism; as-long-as-possible | Veröffentlichungsdatum: | 2-Mär-2016 | Dokumenttyp: | Dissertation | Zweitveröffentlichung: | no | URN: | urn:nbn:de:gbv:46-00105147-16 | Institution: | Universität Bremen | Fachbereich: | Fachbereich 03: Mathematik/Informatik (FB 03) |
Enthalten in den Sammlungen: | Dissertationen |
Seitenansichten
501
checked on 02.04.2025
Download(s)
53
checked on 02.04.2025
Google ScholarTM
Prüfe
Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.