Sciweavers

BIRTHDAY
2005
Springer

Main Concepts of Networks of Transformation Units with Interlinking Semantics

13 years 9 months ago
Main Concepts of Networks of Transformation Units with Interlinking Semantics
The aim of this paper is to introduce a modelling concept and structuring principle for rule-based systems the semantics of which is not restricted to a sequential behavior, but can be applied to various types of parallelism and concurrency. The central syntactic notion is that of a transformation unit that encapsulates a set of rules, imports other transformation units, and regulates the use and interaction of both by means of a control condition. The semantics is given by interlinking the applications of rules with the semantics of the imported units using a given collection of semantic operations. As the main result, the interlinking semantics turns out to be the least fixed point of the interlinking operator. The interlinking semantics generalizes the earlier introduced interleaving semantics of rule-based transformation units, which is obtained by the sequential composition of binary relations as only semantic operation.
Dirk Janssens, Hans-Jörg Kreowski, Grzegorz R
Added 26 Jun 2010
Updated 26 Jun 2010
Type Conference
Year 2005
Where BIRTHDAY
Authors Dirk Janssens, Hans-Jörg Kreowski, Grzegorz Rozenberg
Comments (0)