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.

• Type: Conference
• Year: 2005
• Where: BIRTHDAY
• Authors: Dirk Janssens, Hans-Jörg Kreowski, Grzegorz Rozenberg
• Keywords: Applied Computing, BIRTHDAY 2005, Interlinking Semantics, Semantic, Transformation Units