DocumentCode
2000034
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
fYear
2005
fDate
26-26 Aug. 2005
Firstpage
502
Lastpage
506
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Database and Expert Systems Applications, 2005. Proceedings. Sixteenth International Workshop on
Conference_Location
Copenhagen
ISSN
1529-4188
Print_ISBN
0-7695-2424-9
Type
conf
DOI
10.1109/DEXA.2005.122
Filename
1508323
Link To Document