Abstract / Kurzbeschreibung: |
This diploma thesis (in German) describes the first implementation of a Diaplan interpreter, featuring nested raphs as a data model, and nested graph transformation as a computation model.
Diaplan programs consist of predicates defined by conditional graph transformation rules with graph variables that are evaluated by depth-first search and innermost evaluation. |