Constraint diagrams: visualizing invariants in object-oriented models
Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Peircean graphs for propositional logic
Logical reasoning with diagrams
Validating UML models and OCL constraints
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Modular architecture for a toolset supporting OCL
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Consistency checking and visualization of OCL constraints
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Mixing visual and textual constraint languages
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Object-Oriented Theories for Model Driven Architecture
OOIS '02 Proceedings of the Workshops on Advances in Object-Oriented Information Systems
Tutorial Introduction to Graph Transformation: A Software Engineering Perspective
ICGT '02 Proceedings of the First International Conference on Graph Transformation
An Integrated Semantics for UML Class, Object and State Diagrams Based on Graph Transformation
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
Visualizing model mappings in UML
Proceedings of the 2003 ACM symposium on Software visualization
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
Constructing Meta-CASE Workbenches by Exploiting Visual Language Generators
IEEE Transactions on Software Engineering
Propositional Logic Constraint Patterns and Their Use in UML-Based Conceptual Modeling and Analysis
IEEE Transactions on Knowledge and Data Engineering
On Integrating OCL and Triple Graph Grammars
Models in Software Engineering
Description and Implementation of a UML Style Guide
Models in Software Engineering
An MDA approach to Access Control Specifications Using MOF and UML Profiles
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
Joint structural and temporal property specification using timed story scenario diagrams
FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
VMQL: A visual language for ad-hoc model querying
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
Building VCL models and automatically generating Z specifications from them
FM'11 Proceedings of the 17th international conference on Formal methods
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
Temporal graph queries to support software evolution
ICGT'06 Proceedings of the Third international conference on Graph Transformations
Model querying with graphical notation of QVT relations
ACM SIGSOFT Software Engineering Notes
MOCQL: a declarative language for ad-hoc model querying
ECMFA'13 Proceedings of the 9th European conference on Modelling Foundations and Applications
| Hi-index | 0.00 |
We propose a visualization of OCL within the context of the UML meta model, so that OCL expressions are represented by extending collaboration diagrams. We exploit the OCL meta model introduced in [9] and further elaborated on in [1] and base the description of properties of objects on collaborations, while classifier and association roles are used to describe navigation paths. Operations computing properties are described by interactions consisting of messages between classifier roles. The introduction of new graphical core elements is kept to a minimum. New notation mainly concerns the predefined operations in OCL and provides more convenient visual forms for the notation by interactions here. The proposed visualization is described in detail and is illustrated with examples taken from an industrial project under development.