Some Shortcomings of OCL, the Object Constraint Language of UML

Authors:
Mandana Vaziri;Daniel Jackson
Affiliations:
-;-
Venue:
TOOLS '00 Proceedings of the Technology of Object-Oriented Languages and Systems (TOOLS 34'00)
Year:
2000

Citing 2
Cited 11

The object constraint language: precise modeling with UML

The object constraint language: precise modeling with UML
Exploring the Design of an Intentional Naming Scheme with an Automatic Constraint Analyzer

ASE '00 Proceedings of the 15th IEEE international conference on Automated software engineering

OCL as the Query Language for UML Model Execution

ICCS '08 Proceedings of the 8th international conference on Computational Science, Part III
An aspect-oriented methodology for designing secure applications

Information and Software Technology
Automatic Model Generation Strategies for Model Transformation Testing

ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
Experiments with a High-Level Navigation Language

ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
Representing metadata constraints in Common Logic

International Journal of Metadata, Semantics and Ontologies
Modeling and analyzing architectural change with alloy

Proceedings of the 2010 ACM Symposium on Applied Computing
Measuring UML models using metrics defined in OCL within the SQUAM framework

Proceedings of the 14th international conference on Model driven engineering languages and systems
A generic framework: from modeling to code

Innovations in Systems and Software Engineering
Translating alloy specifications to UML class diagrams annotated with OCL

SEFM'11 Proceedings of the 9th international conference on Software engineering and formal methods
UML2Alloy: a challenging model transformation

MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Managing Architectural Reconfiguration at Runtime

International Journal of Web Portals

Quantified Score

Hi-index	0.00

Visualization

Abstract

We illustrate some shortcomings of the Object Constraint Language of UML, and ways in which it may be improved, by comparing it to Alloy, a simile object modeling language. We use the core package of the UML metamodel as a basis for the comparison.