Nested constraints and application conditions for high-level structures
From MaRDI portal
Recommendations
- Correctness of high-level transformation systems relative to nested conditions
- Graph Transformations
- Theory of constraints and application conditions: from graphs to high-level structures
- -adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation
- Conditional reactive systems
Cited in
(16)- On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems
- Nested structure in parameterized rough reduction
- Translating essential OCL invariants to nested graph constraints focusing on set operations
- Theory of constraints and application conditions: from graphs to high-level structures
- Attributed Graph Constraints
- Resolution-Like Theorem Proving for High-Level Conditions
- Development of Correct Graph Transformation Systems
- Correctness of high-level transformation systems relative to nested conditions
- Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs
- A formal approach to the specification and transformation of constraints in MDE
- Local Confluence for Rules with Nested Application Conditions
- Conditional bigraphs
- Graph Transformations
- A Logic of Graph Constraints
- Finite automata for efficient graph recognition
- \textit{Grappa RE} -- a tool for efficient graph recognition based on finite automata and regular expressions
This page was built for publication: Nested constraints and application conditions for high-level structures
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5710414)
