Nested constraints and application conditions for high-level structures

Authors:
Annegret Habel;Karl-Heinz Pennemann
Affiliations:
Carl v. Ossietzky University of Oldenburg, Germany;Carl v. Ossietzky University of Oldenburg, Germany
Venue:
Formal Methods in Software and Systems Modeling
Year:
2005

Citing 5
Cited 15

Relational queries computable in polynomial time

Information and Control
Graph grammars with negative application conditions

Fundamenta Informaticae - Special issue on graph transformations
The AGG approach: language and environment

Handbook of graph grammars and computing by graph transformation
Describing Policies with Graph Constraints and Rules

ICGT '02 Proceedings of the First International Conference on Graph Transformation
Double-pushout graph transformation revisited

Mathematical Structures in Computer Science

Theory of Constraints and Application Conditions: From Graphs to High-Level Structures

Fundamenta Informaticae - SPECIAL ISSUE ON ICGT 2004
Attributed Graph Constraints

ICGT '08 Proceedings of the 4th international conference on Graph Transformations
Resolution-Like Theorem Proving for High-Level Conditions

ICGT '08 Proceedings of the 4th international conference on Graph Transformations
Development of Correct Graph Transformation Systems

ICGT '08 Proceedings of the 4th international conference on Graph Transformations
A logic of graph constraints

FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
Matrix Graph Grammars with Application Conditions

Fundamenta Informaticae
Synthesis of OCL pre-conditions for graph transformation rules

ICMT'10 Proceedings of the Third international conference on Theory and practice of model transformations
Attributed graph transformation with inheritance: Efficient conflict detection and local confluence analysis using abstract critical pairs

Theoretical Computer Science
Satisfiability of high-level conditions

ICGT'06 Proceedings of the Third international conference on Graph Transformations
Weakest preconditions for high-level programs

ICGT'06 Proceedings of the Third international conference on Graph Transformations
Theory of Constraints and Application Conditions: From Graphs to High-Level Structures

Fundamenta Informaticae - SPECIAL ISSUE ON ICGT 2004
ℳ-Adhesive Transformation Systems with Nested Application Conditions. Part 2: Embedding, Critical Pairs and Local Confluence

Fundamenta Informaticae - Recent Developments in the Theory of Graph Transformation, 2010
Well-structured graph transformation systems with negative application conditions

ICGT'12 Proceedings of the 6th international conference on Graph Transformations
Pattern graphs and rule-based models: the semantics of kappa

FOSSACS'13 Proceedings of the 16th international conference on Foundations of Software Science and Computation Structures
Engineering model transformations with transML

Software and Systems Modeling (SoSyM)

Quantified Score

Hi-index	0.00

Visualization

Abstract

Constraints and application conditions are most important for transformation systems in a large variety of application areas. In this paper, we extend the notion of constraints and application conditions to nested ones and show that nested constraints can be successively transformed into nested right and left application conditions.