Introduction to higher order categorical logic
Introduction to higher order categorical logic
Category theory for computing science
Category theory for computing science
Interaction categories and communicating sequential processes
A classical mind
The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
The entity-relationship model—toward a unified view of data
ACM Transactions on Database Systems (TODS) - Special issue: papers from the international conference on very large data bases: September 22–24, 1975, Framingham, MA
Conceptual Graphs for Knowledge Representation: Proceedings of the First International Conference on Conceptual Structures, ICCS 93, Quebec, Canada, August 4-7, 1993
View Integration: A Step Forward in Solving Structural Conflicts
IEEE Transactions on Knowledge and Data Engineering
Structuring Primitives for a Dictionary of Entity Relationship Data Schemas
IEEE Transactions on Software Engineering
Management of Multiple Models in an Extensible Database Design Tool
EDBT '96 Proceedings of the 5th International Conference on Extending Database Technology: Advances in Database Technology
An architecture for heterogeneous reasoning
TARK '98 Proceedings of the 7th conference on Theoretical aspects of rationality and knowledge
Heterogeneous View Integration via Sketches and Equations
ISMIS '96 Proceedings of the 9th International Symposium on Foundations of Intelligent Systems
On the Value of Commutative Diagrams in Information Modelling
AMAST '93 Proceedings of the Third International Conference on Methodology and Software Technology: Algebraic Methodology and Software Technology
On the Definition of Visual Languages and Their Editors
DIAGRAMS '02 Proceedings of the Second International Conference on Diagrammatic Representation and Inference
Visualization vs. Specification in Diagrammatic Notations: A Case Study with the UML
DIAGRAMS '02 Proceedings of the Second International Conference on Diagrammatic Representation and Inference
An Algebraic Foundation for Higraphs
CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic
Package merge in UML 2: practice vs. theory?
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
A metamodelling approach to behavioural modelling
Proceedings of the Fourth Workshop on Behaviour Modelling - Foundations and Applications
A graph transformation-based semantics for deep metamodelling
AGTIVE'11 Proceedings of the 4th international conference on Applications of Graph Transformations with Industrial Relevance
Twelve years of diagrams research
Journal of Visual Languages and Computing
Hi-index | 0.00 |
The goal of the paper is to explicate some common formal logic underlying various notational systems used in visual modeling. The idea is to treat the notational diversity as the diversity of visualizations of the same basic specificational format. It is argued that the task can be well approached in the arrow-diagramlogic framework where specifications are directed graphs carrying a structure of diagram predicates and operations.