Skip to Main content Skip to Navigation
New interface
Theses

Une approche automatisée basée sur des contraintes d’intégrité définies en UML et OCL pour la vérification de la cohérence logique dans les systèmes SOLAP : applications dans le domaine agri-environnemental

Abstract : Spatial Data Warehouse (SDW) and Spatial OLAP (SOLAP) systems are Business Intelligence (BI) allowing for interactive multidimensional analysis of huge volumes of spatial data. In such systems the quality ofanalysis mainly depends on three components : the quality of warehoused data, the quality of data aggregation, and the quality of data exploration. The warehoused data quality depends on elements such accuracy, comleteness and logical consistency. The data aggregation quality is affected by structural problems (e.g., non-strict dimension hierarchies that may cause double-counting of measure values) and semantic problems (e.g., summing temperature values does not make sens in many applications). The data exploration quality is mainly affected by inconsistent user queries (e.g., what are temperature values in USSR in 2010?) leading to possibly meaningless interpretations of query results. This thesis address the problems of logical inconsistency that may affect the data, aggregation and exploration qualities in SOLAP. The logical inconsistency is usually defined as the presence of incoherencies (contradictions) in data ; It is typically controlled by means of Integrity Constraints (IC). In this thesis, we extends the notion of IC (in the SOLAP domain) in order to take into account aggregation and query incoherencies. To overcome the limitations of existing approaches concerning the definition of SOLAP IC, we propose a framework that is based on the standard languages UML and OCL. Our framework permits a plateforme-independent conceptual design and an automatic implementation of SOLAP IC ; It consists of three parts : (1) A SOLAP IC classification, (2) A UML profile implemented in the CASE tool MagicDraw, allowing for a conceptual design of SOLAP models and their IC, (3) An automatic implementation based on the code generators Spatial OCLSQL and UML2MDX, which allows transforming the conceptual specifications into code. Finally, the contributions of this thesis have been experimented and validated in the context of French national projetcts aimming at developping (S)OLAP applications for agriculture and environment.
Document type :
Theses
Complete list of metadata

Cited literature [217 references]  Display  Hide  Download

https://theses.hal.science/tel-00923497
Contributor : ABES STAR :  Contact
Submitted on : Friday, January 3, 2014 - 1:03:49 AM
Last modification on : Wednesday, September 28, 2022 - 3:13:53 PM
Long-term archiving on: : Saturday, April 8, 2017 - 10:42:01 AM

File

Boulil-2012CLF22285.pdf
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-00923497, version 1

Citation

Kamal Boulil. Une approche automatisée basée sur des contraintes d’intégrité définies en UML et OCL pour la vérification de la cohérence logique dans les systèmes SOLAP : applications dans le domaine agri-environnemental. Autre [cs.OH]. Université Blaise Pascal - Clermont-Ferrand II, 2012. Français. ⟨NNT : 2012CLF22285⟩. ⟨tel-00923497⟩

Share

Metrics

Record views

524

Files downloads

1146