Sciweavers

ENTCS
2006
116views more  ENTCS 2006»
13 years 4 months ago
Semantics of Visual Models in a Rule-based Setting
In this paper, some fundamental aspects of the semantics of rule-based systems are sketched and related to the semantics of visual models. A rule-based system comprises a set of r...
Hans-Jörg Kreowski, Karsten Hölscher, Pe...
ENTCS
2008
62views more  ENTCS 2008»
13 years 4 months ago
Undecidable Control Conditions in Graph Transformation Units
Graph transformation units are an approach-independent concept for programming by applying rules and imported transformation units to graphs, starting in an initial and ending in ...
Karsten Hölscher, Renate Klempien-Hinrichs, P...