A Diagrammatic Logic for Object-Oriented Visual Modeling

DOI10.1016/j.entcs.2008.10.041zbMath1277.68055OpenAlexW2000581100MaRDI QIDQ2864376

Zinovy Diskin, U. E. Wolter

Publication date: 6 December 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2008.10.041

zbMATH Keywords

categorical logicmodel managementcategorical sketchdiagram predicatediagrammatic modelinggeneric logic

Mathematics Subject Classification ID

Logic in computer science (03B70) Categorical logic, topoi (03G30) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

A formal approach to the specification and transformation of constraints in MDE ⋮ A formalisation of the copy-modify-merge approach to version control in MDE ⋮ A formalisation of deep metamodelling ⋮ Model Transformation and Induced Instance Migration: A Universal Framework ⋮ Comprehensive systems: a formal foundation for multi-model consistency management ⋮ Van Kampen Colimits and Path Uniqueness ⋮ Fibred amalgamation, descent data, and Van Kampen squares in topoi

Cites Work

• Generalized sketches as a framework for completeness theorems. I-III
• Proving semantical equivalence of data specifications
• Categorical logic and type theory
• Functorial theory of parameterized specifications in a general specification framework
• Institutions: abstract model theory for specification and programming
• Aspects of topoi
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item