Skip navigation
SuUB logo
DSpace logo

  • Home
  • Institutions
    • University of Bremen
    • City University of Applied Sciences
    • Bremerhaven University of Applied Sciences
  • Sign on to:
    • My Media
    • Receive email
      updates
    • Edit Account details

Citation link: http://nbn-resolving.de/urn:nbn:de:gbv:46-00105147-16
00105147-1.pdf
OpenAccess
 
copyright

Control Conditions for Transformation Units : Parallelism, As-long-as-possible, and Stepwise Control


File Description SizeFormat
00105147-1.pdf1.12 MBAdobe PDFView/Open
Other Titles: Kontrollbedingungen für Transformationseinheiten : Parallelität, as-long-as-possible, und schrittweise Kontrolle
Authors: Luderer, Melanie  
Supervisor: Kreowski, Hans-Jörg
1. Expert: Kreowski, Hans-Jörg
2. Expert: Padberg, Julia 
Abstract: 
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.
Keywords: graph transformation, transformation units, control conditions, parallelism, as-long-as-possible
Issue Date: 2-Mar-2016
Type: Dissertation
URN: urn:nbn:de:gbv:46-00105147-16
Institution: Universität Bremen 
Faculty: FB3 Mathematik/Informatik 
Appears in Collections:Dissertationen

  

Page view(s)

41
checked on Jan 26, 2021

Download(s)

5
checked on Jan 26, 2021

Google ScholarTM

Check


Items in Media are protected by copyright, with all rights reserved, unless otherwise indicated.

Legal notice -Feedback -Data privacy
Media - Extension maintained and optimized by Logo 4SCIENCE