A diagrammatic logic for object-oriented visual modeling

DOI10.1016/J.ENTCS.2008.10.041MaRDI QIDQ2864376zbMATH OpenOpenAlexFDO

Authors Zinovy Diskin, Uwe 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 logiccategorical sketchdiagram predicatediagrammatic modelinggeneric logicmodel management

Mathematics Subject Classification ID

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

Recommendations

• The graph-based logic of visual modeling and taming heterogeneity of semantic models
• scientific article; zbMATH DE number 1303990
• scientific article; zbMATH DE number 1670627
• On the semantics of unified modeling language diagrams using Z notation
• Diagrammatic specifications

Cites work

• Aspects of topoi
• Categorical logic and type theory
• Entity-relationship-attribute designs and sketches
• Functorial theory of parameterized specifications in a general specification framework
• Generalized sketches as a framework for completeness theorems. I-III
• scientific article; zbMATH DE number 45228 (Why is no real title available?)
• scientific article; zbMATH DE number 139985 (Why is no real title available?)
• scientific article; zbMATH DE number 3513332 (Why is no real title available?)
• scientific article; zbMATH DE number 2010596 (Why is no real title available?)
• scientific article; zbMATH DE number 2086744 (Why is no real title available?)
• scientific article; zbMATH DE number 803303 (Why is no real title available?)
• Institutions: abstract model theory for specification and programming
• Proving semantical equivalence of data specifications

Cited in

(16)

• Comprehensive systems: a formal foundation for multi-model consistency management
• Fibred amalgamation, descent data, and Van Kampen squares in topoi
• The graph-based logic of visual modeling and taming heterogeneity of semantic models
• An object-oriented design for graph visualization
• scientific article; zbMATH DE number 1670627 (Why is no real title available?)
• Diagrammatic Reasoning with Classes and Relationships
• A new approach to the semantics of model diagrams
• Model transformation and induced instance migration: a universal framework
• Toward reasoning with unified modeling language diagrams based on extensible markup language declarative description theory
• scientific article; zbMATH DE number 4077509 (Why is no real title available?)
• scientific article; zbMATH DE number 1263088 (Why is no real title available?)
• A formal approach to the specification and transformation of constraints in MDE
• Van Kampen Colimits and Path Uniqueness
• A reasoning system for satisfiability of diagrammatic specifications
• A formalisation of the copy-modify-merge approach to version control in MDE
• A formalisation of deep metamodelling

This page was built for publication: A diagrammatic logic for object-oriented visual modeling

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2864376)