8 citations · 13 across the 12 of their papers we have counts for
12 papers
Extending Triple Graph Grammars to Formalize Complex View Definitions on Families of Models - Long Version
Lars König, Jens Kosiol
View-based development is an important technique to manage complexity and facilitate cooperation in the development of modern and complex systems of systems. This approach places h…
Conflict Essences for Transformation Rules with Nested Application Conditions -- Long Version
Alexander Lauer, Jens Kosiol, Leen Lambers +1
Conflict and dependency analysis is an important static analysis tool that provides an overview of the potential interactions of (graph) transformation rules. This analysis is base…
A Nesting-Free Normal Form for Nested Conditions in Finite Lattices of Subgraphs
Jens Kosiol, Steffen Zschaler
We present a nesting-free normal form for the formalism of nested conditions and constraints in the context of finite lattices of subgraphs.
Automatic Generation of Combinatorial Reoptimisation Problem Specifications: A Vision
Maximilian Kratz, Steffen Zschaler, Jens Kosiol +1
Once an optimisation problem has been solved, the solution may need adaptation when contextual factors change. This challenge, also known as reoptimisation, has been addressed in v…
Proceedings of the Fourteenth and Fifteenth International Workshop on Graph Computation Models
Jörg Endrullis, Dominik Grzelak, Tobias Heindel +1
This volume contains the post-proceedings of the Fourteenth and the Fifteenth International Workshops on Graph Computation Models (GCM 2023 and 2024). The workshops took place in L…
Advanced Model Consistency Restoration with Higher-Order Short-Cut Rules
Lars Fritsche, Jens Kosiol, Alexander Lauer +2
Sequential model synchronisation is the task of propagating changes from one model to another correlated one to restore consistency. It is challenging to perform this propagation i…
Finding the Right Way to Rome: Effect-oriented Graph Transformation
Jens Kosiol, Daniel Strüber, Gabriele Taentzer +1
Many applications of graph transformation require rules that change a graph without introducing new consistency violations. When designing such rules, it is natural to think about…
A multiplicity-preserving crossover operator on graphs. Extended version
Henri Thölke, Jens Kosiol
Evolutionary algorithms usually explore a search space of solutions by means of crossover and mutation. While a mutation consists of a small, local modification of a solution, cros…
A Generalized Concurrent Rule Construction for Double-Pushout Rewriting
Jens Kosiol, Gabriele Taentzer
Double-pushout rewriting is an established categorical approach to the rule-based transformation of graphs and graph-like objects. One of its standard results is the construction o…
A Precedence-Driven Approach for Concurrent Model Synchronization Scenarios using Triple Graph Grammars
Lars Fritsche, Jens Kosiol, Adrian Möller +2
Concurrent model synchronization is the task of restoring consistency between two correlated models after they have been changed concurrently and independently. To determine whethe…
Avoiding Unnecessary Information Loss: Correct and Efficient Model Synchronization Based on Triple Graph Grammars
Lars Fritsche, Jens Kosiol, Andy Schürr +1
Model synchronization, i.e., the task of restoring consistency between two interrelated models after a model change, is a challenging task. Triple Graph Grammars (TGGs) specify mod…
Graph Consistency as a Graduated Property: Consistency-Sustaining and -Improving Graph Transformations
Jens Kosiol, Daniel Strüber, Gabriele Taentzer +1
Where graphs are used for modelling and specifying systems, consistency is an important concern. To be a valid model of a system, the graph structure must satisfy a number of const…