Using OCL to Model Constraints in Data Warehouses

Recent research works propose using Object-Oriented (OO) approaches, such as UML to model data warehouses. This paper overviews these recent OO techniques, describing the facts and different analysis dimensions of the data. The authors propose a tutorial of the Object Constraint Language (OCL) and show how this language can be used to specify constraints in OO-based models of data warehouses. Previously, OCL has been only applied to describe constraints in software applications and transactional databases. As such, the authors demonstrate in this paper how to use OCL to represent the different types of data warehouse constraints. This paper helps researchers working in the fields of business intelligence and decision support systems, who wish to learn about the major possibilities that OCL offer in the context of data warehouses. The authors also provide general information about the possible types of implementation of multi-dimensional models and their constraints.

Download Full-text

Using OCL to Model Constraints in Data Warehouses

Technology Diffusion and Adoption ◽

10.4018/978-1-4666-2791-8.ch014 ◽

2013 ◽

pp. 212-224

Author(s):

François Pinet ◽

Myoung-Ah Kang ◽

Kamal Boulil ◽

Sandro Bimonte ◽

Gil De Sousa ◽

...

Keyword(s):

Decision Support ◽

Decision Support Systems ◽

Data Warehouse ◽

Support Systems ◽

General Information ◽

Data Warehouses ◽

Object Constraint Language ◽

Software Applications ◽

Constraint Language ◽

Transactional Databases

Download Full-text

Assessing the Effectiveness of Coverage-Based Fault Localizations Using Mutants

International Journal of Software Engineering and Knowledge Engineering ◽

10.1142/s0218194018500316 ◽

2018 ◽

Vol 28 (08) ◽

pp. 1091-1119 ◽

Cited By ~ 1

Author(s):

Xiaozhen Xue ◽

Sima Siami-Namini ◽

Akbar Siami Namin

Keyword(s):

Research Question ◽

Empirical Studies ◽

Object Oriented ◽

Testing And Debugging ◽

Software Applications ◽

Class Level ◽

Different Types ◽

Testing Techniques ◽

Large Groups ◽

Types Of Faults

Empirical studies show that coverage-based fault localizations are very effective in testing and debugging software applications. It is also a commonly held belief that no software testing techniques would perform best for all programs with various data structures and complexity. An important research question posed in this paper is whether the type and complexity of faults in a given program has any influence on the performance of these fault localization techniques. This paper investigates the performance of coverage-based fault localizations for different types of faults. We explore and compare the accuracy of these techniques for two large groups of faults often observed in object-oriented programs. First, we explore different types of traditional method-level faults grouped into six categories including those related to arithmetic, relational, conditional, logical, assignment, and shift. We then focus on class-level faults related to object-oriented features and group them into four categories including inheritance, overriding, Java-specific features, and common programming mistakes. The results show that coverage-based fault localizations are less effective for class-level faults associated with object-oriented features of programs. We therefore advocate the needs for designing more effective fault localizations for debugging object-oriented and class-level defects.

Download Full-text

EVIDENTIAL DIAGNOSIS OF INCONSISTENCIES IN OBJECT-ORIENTED DESIGNS

International Journal of Software Engineering and Knowledge Engineering ◽

10.1142/s0218194004001610 ◽

2004 ◽

Vol 14 (02) ◽

pp. 141-178 ◽

Cited By ~ 1

Author(s):

GEORGE SPANOUDAKIS ◽

KURIAKOS KASIS ◽

FLORA DRAGAZI

Keyword(s):

Software Design ◽

Formal Language ◽

Unified Modeling Language ◽

Object Oriented ◽

Belief Functions ◽

Object Constraint Language ◽

Unified Modeling ◽

Software Designers ◽

Constraint Language ◽

Diagnostic Framework

This paper presents a diagnostic framework for assessing the significance of inconsistencies (i.e., violations of consistency rules) in software design models expressed in the Unified Modeling Language (UML). The assessment is based on significance criteria that software designers can specify and associate with specific consistency rules. These criteria define characteristics that the model elements involved in the violation of a rule should have for the inconsistency to be significant, and they are specified in a formal language derived from the Object Constraint Language (OCL). The satisfiability of the criteria by individual model elements is measured by belief functions defined by the framework. The measures generated by these functions are used to rank the inconsistencies caused by different model elements. The presented framework has been evaluated through a set of experiments. The results of these experiments show that criteria definable in the framework can be used to produce relatively elaborate significance-rankings of inconsistencies.

Download Full-text

An Object-Oriented Hypermedia Reference Model Formally Specified in UML

Information Modeling for Internet Applications ◽

10.4018/978-1-59140-050-9.ch004 ◽

2003 ◽

pp. 59-78 ◽

Cited By ~ 1

Author(s):

Nora Koch

Keyword(s):

Graphical Representation ◽

Reference Model ◽

Unified Modeling Language ◽

Object Oriented ◽

Mobile Systems ◽

Modeling Language ◽

Object Constraint Language ◽

Unified Modeling ◽

Constraint Language ◽

Class Diagrams

Although the Unified Modeling Language (UML) is by now accepted as a standard and is widely used as an object-oriented modeling language, some languages such as Z or VDM are preferred to formally specify reference models. Here, we present a reference model for hypermedia systems in UML. It is an object-oriented and Dexter-based approach that uses UML to provide an intuitive graphical representation of the model. The class diagrams are supplemented with formal constraints in the Object Constraint Language (OCL), adding invariants on elements as well as preconditions and postconditions on operations. The result is an easily extendable reference model for describing specific hypermedia systems, for example, like adaptive or mobile systems. Our contribution shows how formal and semiformal object-oriented techniques can be integrated in the metamodeling process.

Download Full-text