Title | ||
---|---|---|
Integrating the Calculus-Based Method into OCL: Study of Expressiveness and Code Generation |
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. |
Year | DOI | Venue |
---|---|---|
2005 | 10.1109/DEXA.2005.122 | SIXTEENTH INTERNATIONAL WORKSHOP ON DATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS |
Keywords | Field | DocType |
object constraint language,calculus,object oriented languages,spatial database,code generation,formal specification | Programming language,Object-oriented programming,Computer science,Formal specification,Theoretical computer science,Code generation,Object Constraint Language,Spatial database,Database,Calculus,Database trigger,Expressivity | Conference |
Citations | PageRank | References |
1 | 0.43 | 4 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Magali Duboisset | 1 | 25 | 2.83 |
Francois Pinet | 2 | 24 | 5.05 |
Myoung-Ah Kang | 3 | 47 | 9.77 |
Michel Schneider | 4 | 1 | 0.43 |