Database machines and database management
Database machines and database management
Relational database theory
Designing object systems: object-oriented modelling with Syntropy
Designing object systems: object-oriented modelling with Syntropy
The object constraint language: precise modeling with UML
The object constraint language: precise modeling with UML
Principles of Database Systems
Principles of Database Systems
Universality of data retrieval languages
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
CoFI: The Common Framework Initiative for Algebraic Specification and Development
TAPSOFT '97 Proceedings of the 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
On Formalizing the UML Object Constraint Language OCL
ER '98 Proceedings of the 17th International Conference on Conceptual Modeling
A Proposal for a Formal OCL Semantics in Isabelle/HOL
TPHOLs '02 Proceedings of the 15th International Conference on Theorem Proving in Higher Order Logics
On Querying UML Data Models with OCL
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
PTCS '01 Proceedings of the International Seminar on Proof Theory in Computer Science
OCL: Syntax, Semantics, and Tools
Object Modeling with the OCL, The Rationale behind the Object Constraint Language
VMQL: A visual language for ad-hoc model querying
Journal of Visual Languages and Computing
An approach for effective design space exploration
FOCS'10 Proceedings of the 16th Monterey conference on Foundations of computer software: modeling, development, and verification of adaptive systems
Second-order principles in specification languages for object-oriented programs
LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
On relationships between query models
ECMDA-FA'05 Proceedings of the First European conference on Model Driven Architecture: foundations and Applications
On the use of an internal DSL for enriching EMF models
Proceedings of the 12th Workshop on OCL and Textual Modelling
Querying business process models with VMQL
Proceedings of the 5th ACM SIGCHI Annual International Workshop on Behaviour Modelling - Foundations and Applications
APCCM '13 Proceedings of the Ninth Asia-Pacific Conference on Conceptual Modelling - Volume 143
Hi-index | 0.00 |
This paper examines the expressive power of OCL in terms of navigability and computability. First the expressive power of OCL is compared with the relational calculus; it is showed that OCL is not equivalent to the relational calculus. Then an algorithm computing the transitive closure of a binary relation -operation that cannot be encoded in the relational calculus- is expressed in OCL. Finally the equivalence of OCL with a Turing machine is pondered.