Henshin
From MaRDI portal
Software:22054
No author found.
Related Items (21)
Theorem proving graph grammars with attributes and negative application conditions ⋮ Probabilistic Graph Transformation Systems ⋮ Translating Essential OCL Invariants to Nested Graph Constraints Focusing on Set Operations ⋮ Graph Consistency as a Graduated Property ⋮ A Simulator for Probabilistic Timed Graph Transformation Systems with Complex Large-Scale Topologies ⋮ Multilevel coupled model transformations for precise and reusable definition of model behaviour ⋮ Host-graph-sensitive RETE nets for incremental graph pattern matching with nested graph conditions ⋮ Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs ⋮ Unnamed Item ⋮ The Verigraph system for graph transformation ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Granularity of conflicts and dependencies in graph transformation systems: a two-dimensional approach ⋮ Variability-based model transformation: formal foundation and application ⋮ Exploring conflict reasons for graph transformation systems ⋮ Change-Preserving Model Repair ⋮ Granularity of Conflicts and Dependencies in Graph Transformation Systems ⋮ A tale of two graph models: a case study in wireless sensor networks ⋮ A formal framework for incremental model slicing ⋮ Hybrid search plan generation for generalized graph pattern matching ⋮ Constructing optimized constraint-preserving application conditions for model transformation rules
This page was built for software: Henshin
