5 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…
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.
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…
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…