13 citations · 19 across the 6 of their papers we have counts for
6 papers
First-Order Sketch Conditions and Constraints -- A Category Independent Approach
Uwe Wolter
Generalizing different variants of "graph conditions and constraints" as well as "universal constraints" and "negative universal constraints" in the Diagram Predicate Framework (DP…
Logics of First-Order Constraints -- A Category Independent Approach
Uwe Wolter
Reflecting our experiences in areas, like Algebraic Specifications, Abstract Model Theory, Graph Transformations, and Model Driven Software Engineering (MDSE), we present a general…
Multilevel Typed Graph Transformations
Uwe Wolter, Fernando Macías, Adrian Rutle
Multilevel modeling extends traditional modeling techniques with a potentially unlimited number of abstraction levels. Multilevel models can be formally represented by multilevel t…
Multilevel Coupled Model Transformations for Precise and Reusable Definition of Model Behaviour
Fernando Macías, Uwe Wolter, Adrian Rutle +2
The use of Domain-Specific Languages (DSLs) is a promising field for the development of tools tailored to specific problem spaces, effectively diminishing the complexity of hand-ma…
Van Kampen Colimits and Path Uniqueness
Harald König, Uwe Wolter
Fibred semantics is the foundation of the model-instance pattern of software engineering. Software models can often be formalized as objects of presheaf topoi, i.e, categories of o…
Characterizing Van Kampen Squares via Descent Data
Harald König, Uwe Wolter, Michael Löwe
Categories in which cocones satisfy certain exactness conditions w.r.t. pullbacks are subject to current research activities in theoretical computer science. Usually, exactness is…