Title :
Integrating the Calculus-Based Method into OCL: Study of Expressiveness and Code Generation
Author :
Duboisset, Magali ; Pinet, François ; Kang, Myoung-Ah ; Schneider, Michel
Author_Institution :
Cemagref, Aubiere
Abstract :
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
Keywords :
calculus; constraint handling; formal specification; object-oriented languages; program compilers; visual databases; OCL specification; calculus-based method; code generation; database trigger generation; object constraint language; spatial database; topological constraint; Buildings; Cities and towns; Conferences; Design methodology; Expert systems; Formal languages; Relational databases; Spatial databases; Unified modeling language; Writing;
Conference_Titel :
Database and Expert Systems Applications, 2005. Proceedings. Sixteenth International Workshop on
Conference_Location :
Copenhagen
Print_ISBN :
0-7695-2424-9
DOI :
10.1109/DEXA.2005.122
