Cartesian institutions with evidence: Data and system modelling with diagrammatic constraints and generalized sketches

Zinovy Diskin

Data constraints are fundamental for practical data modelling, and a verifiable conformance of a data instance to a safety-critical constraint (satisfaction relation) is a corner-s…