Integrating the Calculus-Based Method into OCL: Study of Expressiveness and Code Generation

Duboisset, Magali; Pinet, François; Kang, Myoung-Ah; Schneider, Michel

doi:10.1109/dexa.2005.122

Cited by 3 publications

(1 citation statement)

References 6 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Nowadays, there is no standardized formalism for the definition of constraints or rules within the existing data models; an automatic or semiautomatic process of quality consistency checking would be favorable. A possible formalism could be the Object Constraint Language OCL (see http://www.omg.org/docs/ptc/03-10-14.pdf for additional details) as shown in Duboisset et al (2005) and Louwsma et al (2006). Mas et al (2005) proposed the idea of using ontologies as integrity constraints and our methodology is based on spatial relations among classes as introduced in Donnelly et al (2005).…”

Section: Introductionmentioning

confidence: 99%

Spatial Relations between Classes as Integrity Constraints

Tarquini¹,

Clementini²

2008

Transactions in GIS

View full text Add to dashboard Cite

The quality and integrity of spatial data is very important to support interoperability among different systems. To reach this aim integrity rules defined by the application play an important role (for example, constraints between object classes). In this article, we propose a methodology to define integrity constraints using user level spatial relations between classes of individuals. We will also provide mapping rules from user level relations to geometric level operators to allow the computation of relations. As a case study, we will define the constraints for the class of rivers and some of its specializations.

show abstract

Section: Introductionmentioning

confidence: 99%