P-OCLcbm: a language to specify topological constraints on composite regions: definition and comparison with TRCR - INRAE - Institut national de recherche pour l’agriculture, l’alimentation et l’environnement
Communication Dans Un Congrès Année : 2007

P-OCLcbm: a language to specify topological constraints on composite regions: definition and comparison with TRCR

P-OCLcbm : un langage de spécification de contraintes topologiques sur les régions composites : définition et comparaison avec TRCR

Résumé

The integration of topological predicates on spatial objects into a formal constraint language is an important field of investigation. The present paper proposes an extension of the Object Constraint Language (OCL): Parametric-OCLCBM. P-OCLcbm integrates the Calculus-Based Method (CBM) into OCL and allows the definition of two parameters to express the numbers of parts of each of two composite regions involved in a topological relationship. Thus, it facilitates the specification of relationships between composite geometries, i.e. geometries made of several simple shapes. The expressive power of P-OCLCBM is studied from a spatial point of view.
Fichier non déposé

Dates et versions

hal-02589568 , version 1 (15-05-2020)

Identifiants

Citer

Matthieu Duboisset, François Pinet, M. Schneider. P-OCLcbm: a language to specify topological constraints on composite regions: definition and comparison with TRCR. 1st International Conference on Research Challenges in Information Science, Ouarzazate, MAR, 23-26 avril 2007, 2007, pp.373-378. ⟨hal-02589568⟩
13 Consultations
0 Téléchargements

Partager

More