Statecharts: A visual formalism for complex systems
Science of Computer Programming
Discrete mathematics and algebraic structures
Discrete mathematics and algebraic structures
Abstract data types: their specification, representation, and use
Abstract data types: their specification, representation, and use
Object-oriented modeling and design
Object-oriented modeling and design
Designing object-oriented software
Designing object-oriented software
Larch: languages and tools for formal specification
Larch: languages and tools for formal specification
Seamless object-oriented software architecture: analysis and design of reliable systems
Seamless object-oriented software architecture: analysis and design of reliable systems
Designing object systems: object-oriented modelling with Syntropy
Designing object systems: object-oriented modelling with Syntropy
An Invitation to Formal Methods
Computer
On the Frame Problem in Procedure Specifications
IEEE Transactions on Software Engineering
A Formal Semantics for Object Model Diagrams
IEEE Transactions on Software Engineering
Advanced visual modeling (tutorial session): beyond UML
Proceedings of the 22nd international conference on Software engineering
Type-syntax and token-syntax in diagrammatic systems
Proceedings of the international conference on Formal Ontology in Information Systems - Volume 2001
Formal methods for distributed processing
Constraint checking in UML modeling
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
Advanced visual modelling: beyond UML
Proceedings of the 24th International Conference on Software Engineering
The Metamodelling Language Calculus: Foundation Semantics for UML
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Engineering Modelling Languages: A Precise Meta-Modelling Approach
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
Object-Oriented Theories for Model Driven Architecture
OOIS '02 Proceedings of the Workshops on Advances in Object-Oriented Information Systems
On the Completeness and Expressiveness of Spider Diagram Systems
Diagrams '00 Proceedings of the First International Conference on Theory and Application of Diagrams
DIAGRAMS '02 Proceedings of the Second International Conference on Diagrammatic Representation and Inference
ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
A Visualization of OCL Using Collaborations
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Object Modeling with the OCL, The Rationale behind the Object Constraint Language
UML Support for Designing Software Systems as a Composition of Design Patterns
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Visualizing model mappings in UML
Proceedings of the 2003 ACM symposium on Software visualization
Enhancing the Object Constraint Language for More Expressive Specifications
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
Visualization of Formal Specifications
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
Visualizing O-O Testing in Virtual Communities - Distributed Teaching and Learning
TOOLS '99 Proceedings of the Technology of Object-Oriented Languages and Systems
Constraint Diagrams: A Step Beyond UML
TOOLS '99 Proceedings of the Technology of Object-Oriented Languages and Systems
TOOLS '00 Proceedings of the Technology of Object-Oriented Languages and Systems (TOOLS 34'00)
Can Intuition Become Rigorous? Foundations for UML Model Verification Tools
ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering
Graphic Language for Describing Constraints on Diagrams of UML Classes
Programming and Computing Software
Visual specification and analysis of use cases
SoftVis '05 Proceedings of the 2005 ACM symposium on Software visualization
Constraint animation using an object-oriented declarative language
ACM-SE 38 Proceedings of the 38th annual on Southeast regional conference
Propositional Logic Constraint Patterns and Their Use in UML-Based Conceptual Modeling and Analysis
IEEE Transactions on Knowledge and Data Engineering
Towards Overcoming Deficiencies in Constraint Diagrams
VLHCC '07 Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing
Evaluating and generalizing constraint diagrams
Journal of Visual Languages and Computing
A diagrammatic reasoning system for the description logic ALC
Journal of Visual Languages and Computing
Diagrammatic Reasoning Systems
ICCS '08 Proceedings of the 16th international conference on Conceptual Structures: Knowledge Visualization and Reasoning
ICCS '08 Proceedings of the 16th international conference on Conceptual Structures: Knowledge Visualization and Reasoning
Visual Mathematics: Diagrammatic Formalization and Proof
Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics
Diagrams '08 Proceedings of the 5th international conference on Diagrammatic Representation and Inference
Spider Diagrams of Order and a Hierarchy of Star-Free Regular Languages
Diagrams '08 Proceedings of the 5th international conference on Diagrammatic Representation and Inference
A Normal Form for Euler Diagrams with Shading
Diagrams '08 Proceedings of the 5th international conference on Diagrammatic Representation and Inference
Journal of Visual Languages and Computing
The expressiveness of spider diagrams augmented with constants
Journal of Visual Languages and Computing
Exploring Human Factors in Formal Diagram Usage
Engineering Interactive Systems
The Advent of Formal Diagrammatic Reasoning Systems
ICFCA '09 Proceedings of the 7th International Conference on Formal Concept Analysis
Vivid: A framework for heterogeneous problem solving
Artificial Intelligence
Diagrammatic Formal Specification of a Configuration Control Platform
Electronic Notes in Theoretical Computer Science (ENTCS)
A Survey of Reasoning Systems Based on Euler Diagrams
Electronic Notes in Theoretical Computer Science (ENTCS)
Heterogeneous Reasoning with Euler/Venn Diagrams Containing Named Constants and FOL
Electronic Notes in Theoretical Computer Science (ENTCS)
Investigating Reasoning with Constraint Diagrams
Electronic Notes in Theoretical Computer Science (ENTCS)
Model Transformation From VisualOCL to OCL Using Graph Transformation
Electronic Notes in Theoretical Computer Science (ENTCS)
The semantics of augmented constraint diagrams
Journal of Visual Languages and Computing
A framework for the definition of metamodels for Computer-Aided Software Engineering tools
Information and Software Technology
BPM'03 Proceedings of the 2003 international conference on Business process management
Detecting design flaws in UML state charts for embedded software
HVC'06 Proceedings of the 2nd international Haifa verification conference on Hardware and software, verification and testing
Consistency checking and visualization of OCL constraints
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Mixing visual and textual constraint languages
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Efficient on-line algorithms for Euler diagram region computation
Computational Geometry: Theory and Applications
Fragments of spider diagrams of order and their relative expressiveness
Diagrams'10 Proceedings of the 6th international conference on Diagrammatic representation and inference
Creating a second order diagrammatic logic
Diagrams'10 Proceedings of the 6th international conference on Diagrammatic representation and inference
An experiment to evaluate constraint diagrams with novice users
Diagrams'10 Proceedings of the 6th international conference on Diagrammatic representation and inference
VMQL: A visual language for ad-hoc model querying
Journal of Visual Languages and Computing
A decision procedure for a decidable fragment of generalized constraint diagrams
Journal of Visual Languages and Computing
Integrating OCL and textual modelling languages
MODELS'10 Proceedings of the 2010 international conference on Models in software engineering
Proceedings of the 25th European conference on Object-oriented programming
Coupling-based transformations of Z specifications into UML diagrams
Innovations in Systems and Software Engineering
A graphical notation to specify model queries for MDA transformations on UML models
MDAFA'03 Proceedings of the 2003 European conference on Model Driven Architecture: foundations and Applications
Automatically drawing Euler diagrams with circles
Journal of Visual Languages and Computing
Modular semantics for object-oriented models
3FACS'98 Proceedings of the 3rd BCS-FACS conference on Northern Formal Methods
Object-oriented refinement and proof using behaviour functions
ROOM'00 Proceedings of the 2000 international conference on Rigorous Object-Oriented Methods
Diagrams'12 Proceedings of the 7th international conference on Diagrammatic Representation and Inference
Speedith: a diagrammatic reasoner for spider diagrams
Diagrams'12 Proceedings of the 7th international conference on Diagrammatic Representation and Inference
What can concept diagrams say?
Diagrams'12 Proceedings of the 7th international conference on Diagrammatic Representation and Inference
Syllogisms in Rudimentary Linear Logic, Diagrammatically
Journal of Logic, Language and Information
Visualizing and specifying ontologies using diagrammatic logics
AOW '09 Proceedings of the Fifth Australasian Ontology Workshop - Volume 112
Querying business process models with VMQL
Proceedings of the 5th ACM SIGCHI Annual International Workshop on Behaviour Modelling - Foundations and Applications
On the expressiveness of second-order spider diagrams
Journal of Visual Languages and Computing
| Hi-index | 0.00 |
A new visual notation is proposed for precisely expressing constraints on object-oriented models, as an alternative to mathematical logic notation used in methods such as Syntropy and Catalysis. The notation is potentially intuitive, expressive, integrates well with existing visual notations, and has a clear and unambiguous semantics. It is reminiscent of informal diagrams used by mathematicians for illustrating relations, and borrows much from Venn diagrams. It may be viewed as a generalization of instance diagrams.