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.
CITATION STYLE
Mandel, L., & Cengarle, M. V. (1999). On the expressive power of OCL. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1708, pp. 854–874). Springer Verlag. https://doi.org/10.1007/3-540-48119-2_47
Mendeley helps you to discover research relevant for your work.