Generating Preconditions from Graph Constraints by Higher Order Graph Transformation
| Autor: | Deckwerth, Frederik, Varró, Gergely |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2014 |
| DOI: | 10.14279/tuj.eceasst.67.945 |
| Popis: | Techniques for the verification of structural invariants in graph transformation systems typically rely on the derivation of negative application conditions that are attached to graph transformation rules in order to avoid the runtime occurrence of forbidden structural patterns in the system model. In this paper, we propose a practical approach for this derivation process, which produces the required negative application conditions by applying higher order graph transformation on the rule specifications themselves. Additionally, we integrate filtering criteria into these higher order constructs to avoid already at an early stage the unnecessary construction of invalid and redundant rules with negative application conditions. Electronic Communications of the EASST, Volume 67: Proc. of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT 2014) |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|