Approach-Independent Structuring Concepts for Rule-Based Systems
In this paper, we propose new structuring concepts for rule-based systems that are independent of the type of rules and of the type of configurations to which rules are applied. Hence the concepts are applicable in various rule-based approaches allowing one to build up large systems from small components in a systematic way.
KeywordsBinary Relation Binary Tree Rule Base Transformation Unit Graph Transformation
Unable to display preview. Download preview PDF.
- [Kir99]Kirchner, H.: Term rewriting. In: Algebraic Foundations of Systems Specification [AKK99], pp. 273–320Google Scholar
- [KK99a]Kreowski, H.-J., Kuske, S.: Graph transformation units and modules. In: Ehrig et al. [EEKR99], pp. 607–638Google Scholar