Universal arrow foundations for visual modeling

DOI10.1007/3-540-44590-0_30MaRDI QIDQ2753895zbMATH OpenFDO

Authors Zinovy Diskin, Boris Kadish, Frank Piessens, Michael Johnson

Publication date 9 December 2001

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-44590-0_30

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Graphs, diagram schemes, precategories (18A10) Computing methodologies for image processing (68U10)

Recommendations

• Towards a Framework for Visual Model Development
• Unfolding-model-based visualization: theory, method and applications
• A diagrammatic logic for object-oriented visual modeling
• A formal model of visualization in computer graphics systems
• Visualization. Foundations and general methods
• Fundamental graphical primitives for visual query languages

Cited in

(7)

• The graph-based logic of visual modeling and taming heterogeneity of semantic models
• A diagrammatic logic for object-oriented visual modeling
• Formal Problem Domain Modeling within MDA
• scientific article; zbMATH DE number 1163392 (Why is no real title available?)
• A formal approach to the specification and transformation of constraints in MDE
• Diagrammatic Representation and Inference
• A formalisation of deep metamodelling

This page was built for publication: Universal arrow foundations for visual modeling

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