Abstract
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.
This work was partially supported by the Bayerische Forschungsstiftung.
Chapter PDF
References
A. V. Aho and J. D. Ullman. Universality of data retrieval languages. In Sixth ACM Symposium on Principles of Programming Languages (POPL79, proceedings), pages 110–117, 1979.
P. Atzeni and V. D. Antonellis. Relational database theory. The Benjamin/-Cummings Publishing Company, Inc., 1993.
E. F. Codd. Relational Completeness of Data Base Sublanguages. In R. Rustin, editor, Data Base Systems, pages 65–98. Prentice Hall, Englewood Cliffs, New Jersey, 1972.
S. Cook and J. Daniels. Designing Object Systems—Object Oriented Modeling with Syntropy. Prentice Hall, 1994.
J. L. Gersting. Mathematical Structures for Computer Science. Computer Science Press, 3rd edition, 1993.
M. Gogolla and M. Richters. On Constraints and Queries in UML. In M. Schader and A. Korthaus, editors, Proc. UML’97 Workshop ‘The Unified Modeling Language-Technical Aspects and Applications’, pages 109–121. Physica-Verlag, Heidelberg, 1997.
P. D. Mosses. CoFI: The common framework initiative for algebraic specification and development. In M. Bidoit and M. Dauchet, editors, TAPSOFT’ 97: Proceedings of the Seventh Joint Conference on Theory and Practice of Software Development, 7th International Joint Conference CAAP/FASE, number 1214 in LNCS, Lille, France, Apr. 1997. Springer.
E. Ozkarahan. Database Machines and Database Management. Prentice Hall, 1986.
RATIONAL Software Corporation. Object Constraint Language Specification, Sept. 1997. Version 1.1. Available at http://www.rational.com/uml/.
M. Richters and M. Gogolla. On Formalizing the UML Object Constraint Language OCL. In T.W. Ling, editor, Proc. 17th Int. Conf. Conceptual Modeling (ER’98). Springer, Berlin, LNCS, 1998.
U. Schöning. Theoretische Informatik-kurzgefaßt. Spektrum Akademischer Verlag, 2nd edition, 1995.
The CoFI Task Group on Language Design. CASL: The common algebraic specification language: Summary. Available at http://www.brics.dk/Projects/CoFI/-Documents/CASL/Summary/, 1998.
J. D. Ullman. Principles of Database Systems. Computer Software Engineering Series. Computer Science Press, 1982.
J. B. Warmer and A. B. Kleppe. The Object Constraint Language: Precise Modeling with UML. Addison-Wesley, 1999.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mandel, L., Cengarle, M.V. (1999). On the Expressive Power of OCL. In: Wing, J.M., Woodcock, J., Davies, J. (eds) FM’99 — Formal Methods. FM 1999. Lecture Notes in Computer Science, vol 1708. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48119-2_47
Download citation
DOI: https://doi.org/10.1007/3-540-48119-2_47
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66587-8
Online ISBN: 978-3-540-48119-5
eBook Packages: Springer Book Archive