Integrating the Calculus-Based Method into OCL: Study of Expressiveness and Code Generation
Matthieu Duboisset, François Pinet, Myoung-Ah Kang, Michel Schneider · 2006
This paper aims at describing the integration of the Calculus-Based Method (CBM) into the Object Constraint Language (OCL) in order to facilitate the specification of topological constraints in spatial databases. A first study related to the expressiveness is presented, as well as a specific architecture for database trigger generation from OCL specification.