A Method for the Unified Definition and Treatment of Conceptual Schema Quality Issues

CMA Incremental ConclusionsMotivation Formalization CatalogIntroduction

A Method for theUnified Definition and Treatment ofConceptual Schema Quality Issues

Thesis supervised byDr. Antoni Olivé

Dr. Cristina Gómez

David AguileraJune 6th, 2014Barcelona

We cannot run the modern worldwithout software

Which means software's qualityhas become essentialto our society.

Introduction

3SOMMERVILLE, I. Software Engineering, 9 ed. Addison-Wesley, 2010

Quality

The degree up to which a set ofproperties are met.

It depends on the perspective: - Innate excellence - Product-based - User-based - Manufacturing-based - Value-based

Introduction

4GARVIN, D.A.. What does “product quality” really mean? Sloan Manag. Review 26, 1 (1984), 25-43

Quality in Software

It's been classically focused on evaluating the final product.

ISO standards - ISO 9000 - ISO/IEC 1926

Proposals in the literature

Introduction

Maintenance

Software Development Process

Requirements

Design

Impl. & Unit Testing

Integration & Testing

Introduction

Classic Waterfall Model

Agile Methodologies(like SCRUM, with iterations)

6SOMMERVILLE, I. Software Engineering, 9 ed. Addison-Wesley, 2010

Evaluating Quality in Software

Focusing on the Final Product ispositive and necessary...

...but is not as efficient as it could be.

numbercost

Introduction

Conceptual Modeling

Essential Activity in theRequirements Stage of the

Introduction

8OLIVÉ, A. Conceptual Modeling of Information Systems, Springer, 2007

Conceptual Modeling

Conceptual SchemaGeneral Knowledge for an Information Systemto operate.

Essential Activity in theRequirements Stage of the

Introduction

The Problem

Defining Conceptual Schemasis a complex and difficult activity,

but the support modelers get is scarce.

There's a lot of work in the literature,but it does not reach practitioners.

Introduction

Goal of this Thesis

Improve the Quality ofConceptual Schemas

We want to help conceptual modelers.We want their tools to assist them. - Study and characterize several quality criteria. - Create a catalog that unifies those criteria. - Implement a conceptual modeling assistant.

Introduction

Addressed Quality Dimensions

We focus on those dimensions that can be evaluated using the schema itself.

According to conceptual modeling quality frameworks: - Syntactical Quality - Empirical Quality - Other dimensions, such as semantic validity, comprehension, ...

Introduction

Motivation

Formalization of Quality Issues

Catalog of Quality Issues

Conceptual Modeling Assistant

outline

05Notes on Efficient Evaluation06Conclusions and Future Work07

Introduction01

MotivationWhat we want. What we have.

Goal of this Thesis

Improve the Quality ofConceptual Schemas

We want to help conceptual modelers to create conceptual schemas: - that are syntactically correct, - that are complete, - whose elements are relevant, - that follow a set of best practices...

Motivation

What we would like to have...

LandVehicle

MotorVehicle

CarplateNumber:String

motorcycleplateNumber:String

Person{disjoint, complete}

parent 23child

IsParentOf

Owns* 0..1

Motivation

I want it to be syntactically correct.e.g. generalization cycles

Motivation

LandVehicle

MotorVehicle

parent 23child

IsParentOf

Owns* 0..1

16OBJECT MANAGEMENT GROUP (OMG), Unified Modeling Language (UML), Superstructure, 2011

Motivation

LandVehicle

MotorVehicle

parent 23child

IsParentOf

Owns* 0..1

Motivation

LandVehicle

MotorVehicle

parent 23child

IsParentOf

Owns* 0..1

Remove one generalization to break the cycle

Motivation

LandVehicle

MotorVehicle

parent 23child

IsParentOf

Owns* 0..1

I want it not to have duplicated info.e.g. redundant generalizations

LandVehicle

MotorVehicle

MotorcycleplateNumber:String

parent 23child

IsParentOf

Owns* 0..1

Motivation

LandVehicle

MotorVehicle

parent 23child

IsParentOf

Owns* 0..1

Motivation

LandVehicle

MotorVehicle

parent 23child

IsParentOf

Owns* 0..1

Remove redundantgeneralization

Motivation

LandVehicle

MotorVehicle

parent 23child

IsParentOf

Owns* 0..1

Motivation

I want it not to have duplicated info.e.g. repeated attributes

LandVehicle

MotorVehicle

parent 23child

IsParentOf

Owns* 0..1

Motivation

18FOWLER, M. Refactoring: Improving the Design of Existing Code, Addison-Wesley, 1999

LandVehicle

MotorVehicle

parent 23child

IsParentOf

Owns* 0..1

Motivation

LandVehicle

MotorVehicle

parent 23child

IsParentOf

Owns* 0..1

Pull-Up PropertyRefactoring

Motivation

LandVehicle

MotorVehicle

parent 23child

IsParentOf

Owns* 0..1

Pull-Up PropertyRefactoring

Incomplete GeneralizationSet

Motivation

LandVehicle

MotorVehicle

parent 23child

IsParentOf

Owns* 0..1

Incomplete GeneralizationSet

Motivation

LandVehicle

MotorVehicle

Person{disjoint, incomplete}

parent 23child

IsParentOf

Owns* 0..1

Motivation

LandVehicle

MotorVehicle

parent 23child

IsParentOf

Owns* 0..1

I want it to be correct.e.g. non-empty populations

Motivation

LandVehicle

MotorVehicle

parent 23child

IsParentOf

Owns* 0..1

Motivation

LandVehicle

MotorVehicle

parent 23child

IsParentOf

Owns* 0..1

Changemultiplicities

Motivation

LandVehicle

MotorVehicle

IsParentOf

Owns* 0..1

Changemultiplicities

parent 20..3child

Motivation

I want it to be complete.e.g. awareness of (possibly) missing information

LandVehicle

MotorVehicle

parent 20..3child

IsParentOf

Owns* 0..1

Motivation

LandVehicle

MotorVehicle

parent 20..3child

IsParentOf

Owns* 0..1

(ir)reflexive?(in)transitive?(a)symmetric?

Motivation

LandVehicle

MotorVehicle

parent 20..3child

IsParentOf

Owns* 0..1

Yes, all relevant constraints are in the schema.

Motivation

LandVehicle

MotorVehicle

parent 20..3child

IsParentOf

Owns* 0..1

Yes, all relevant constraints are in the schema.

Create an asymmetry constraint, which is missing.

Motivation

LandVehicle

MotorVehicle

parent 20..3child

IsParentOf

Owns* 0..1Create an asymmetry

constraint, which is missing.

Motivation

LandVehicle

MotorVehicle

parent 20..3child

IsParentOf

Owns* 0..1

context Person inv: self.child.child-> excludes( self )

Motivation

But, what do we have today?

Motivation

- Inspections, testing, reviews, …

- There are several quality properties pu- blished (and scattered) in the literature.

- There are also proposals for efficiently dealing with inconsistencies.

- Current modeling tools o er little toff no support for dealing with this stu .ff (ArgoUML, Rational Rose, USE, Poseidon, ...)

Overview of Our Method

Motivation

FormalizationA

Motivation

Formalization

Characterization of Quality Issues

Motivation

Formalization

Issue AScope, conditions...

Motivation

Formalization Catalog

Motivation

Issue AContext, conditions...

Motivation

Issue BScope, conditions...

Motivation

Issue CScope, conditions...

Motivation

Formalization Catalog CMA

Modeling Tool

Motivation

Modeling Tool

1. This gen is redu2. Association has3. Constraint does

Motivation

Modeling Tool

1. This gen is redu2. Association has3. Constraint does

Catalog

Formalization

Motivation

Modeling Tool

Design Science Research

“its fundamental principle is that knowledge and understanding

of a design problem and its solutionare acquired in the building and

application of an artifact”.

Motivation

23HEVNER, A. R., MARCH, S. T., PARK, J., AND RAM, S. Design science in information systems research, MIS Q. 28, 1 (2004) 75-105

Design Science Research

Quality Properties

Characterization and Formalization

Catalog CMA

State of the Art

ChallengeAssist Modelers and Improve Quality

SearchingAdaptingTesting

Motivation

Characterization and Formalization ofConceptual Schema Quality Issues

What is an Issue?

“an important topic or problemfor debate or discussion”

Formalization

What is an Issue?

“an important topic or problemfor debate or discussion”

In essence, it is a condition the schema should not satisfy to: - be syntactically correct, - be complete, - ensure all elements are relevant, - follow a best practice...

Formalization

What is an Issue?

Formalization

An Issue Type describes the problem.

An Issue Instance is a concrete instanceof that problem in the schema.

What is an Issue?

An Issue Type describes the problem.

An Issue Instance is a concrete instanceof that problem in the schema.

Formalization

Type: “There are redun-dant generalizations”

Instance: “g1 is redundant”

g3, g4

LandVehicle

MotorVehicle

Car Motorcycle

{disjoint, complete}

Issue Type Definition

An Issue Type must be able to specify: - which kind of elements may raise an issue, - which elements do actually raise it, - how to fix that issue, and - when and how should that issue be addressed

Formalization

Ix = { Sx, Φx, ρx, Ox, Px, Kx, Ax }

An Issue Type must be able to specify: - which kind of elements may raise an issue, - which elements do actually raise it, - how to fix that issue, and - when and how should that issue be addressed

Formalization

Ix = { Sx, Φx, ρx, Ox, Px, Kx, Ax }Sx (scope) and Φx (applicability condition)

determine the potential set of elements that may raise an issue of type Ix

Formalization

g3, g4

LandVehicle

MotorVehicle

Car Motorcycle

Formalization

g3, g4

LandVehicle

MotorVehicle

Car Motorcycle

Sx = { Generalization }

Formalization

g3, g4

LandVehicle

MotorVehicle

Car Motorcycle

Sx = { Generalization }Φx (g) = “there are two generalizations ga and gb such that: g.general = ga.general g.specific = gb.specific

Formalization

ρx (issue condition) determines if an element in Pot(Ix) does actually raise an issue of type Ix

Formalization

g3, g4

LandVehicle

MotorVehicle

Car Motorcycle

ρx (g) = “there is an indi-rect generalization path between g.general and g.specific”

Formalization

g3, g4

LandVehicle

MotorVehicle

Car Motorcycle

ρx (g) = “there is an indirect generalizations path between g.general and g.specific”

Formalization

Ox is a set of actions that help the conceptual modeler to fix an issue instance

Formalization

g3, g4

LandVehicle

MotorVehicle

Car Motorcycle

Ox = { “remove redundant generalization” }

Formalization

g3, g4

LandVehicle

MotorVehicle

Car Motorcycle

Ox = { “remove redundant generalization” }

Formalization

g3, g4

LandVehicle

MotorVehicle

Car Motorcycle

Ox = { “remove redundant generalization”,“break the indirect path of generalizations” }

Formalization

g3, g4

LandVehicle

MotorVehicle

Car Motorcycle

Ox = { “remove redundant generalization”,“break the indirect path of generalizations” }

Formalization

Px is a set of precedents, which are issue types that must not have issues for considering Ix.

Formalization

Ia = “there is a cycle of generalizations”

Ib = “there are redundant generalizations”

Formalization

LandVehicle

MotorVehicle

Ib = “the generalization is redundant”

Formalization

LandVehicle

MotorVehicle

Formalization

LandVehicle

MotorVehicle

Formalization

LandVehicle

MotorVehicle

Pb = { Ia }

Formalization

LandVehicle

MotorVehicle

Kx (kind) can either be Problem or Checking.

Formalization

Problem Issues can only be fixed by changing the schema, so that the issue does no longer exist.

Formalization

LandVehicle

MotorVehicle

Car Motorcycle

LandVehicle

MotorVehicle

Car Motorcycle

Formalization

Checking Issues require the conceptual modeler to manually check something.

There might be situations in which this checking will entail some changes in the schema.

Formalization

“Check whether the asso-ciation «IsParentOf» needs a constraint enforcing the symmetry property.”

Formalization

Personparent 0..2

*child

IsParentOf

Personparent 0..2

*child

IsParentOf

Formalization

Personparent 0..2

*child

IsParentOf

Formalization

Ax (acceptability) indicates whether anissue type is Acceptable or Non-acceptable

Formalization

MotorVehicle

If non-acceptable,we must modify the schema in a way such that the issue disappears.

Formalization

MotorVehicle

Formalization

Pull-up Property

MotorVehicleplateNumber:String

Car Motorcycle

Formalization

MotorVehicle

Formalization

Change it to incomplete

MotorVehicle

{disjoint, incomplete}

Formalization

MotorVehicle

If acceptable,the modeler can simply state that he won't fix it the schema.

Formalization

MotorVehicle

If acceptable,the modeler can simply state that he won't fix it the schema.

Formalization

Life cycle of an Issue Instance

Formalization

Non-AcceptableProblem Issue

AcceptableProblem Issue

Non-AcceptableChecking Issue

AcceptableChecking Issue

PendingPending

Accepted

Pending

CheckedChecked

Pending

Accepted

Deletion

Deletion Deletion Deletion

A Catalog of Quality Issues

The Catalog

Design Science Research requiresan artifact to be built.

Catalog

A Catalog of Quality Issues presents quality properties uniformly and

demonstrates the expressiveness and usefulness of our method.

Expressiveness

The catalog includes all metamodel constraints plus 65 additional non-syntactic quality issue types.

(from conceptual modeling books, papers, and IDEs)

Catalog

We defined them as Quality Issues using

our formalization.

Classification

Catalog

Syntactic Issue TypesAn integrity constraint defined in the UML metamodel.

For example,“There is a cycle of generalizations.”

Classification

Catalog

Syntactic Issue TypesAn integrity constraint defined in the UML metamodel.

LandVehicle

MotorVehicle

Non-acceptable Problem = <Classifier> = true = self.allParents()-> includesSelf()

S Φ ρ

Classification

Catalog

Syntactic Plus Issue Types (11)Integrity constraints applicable when UML is used as a conceptual modeling language.

For example,“An attribute has no type.”

44MOODY, D.L., Metrics for evaluating the quality of entity relationship models. In ER, vol. 1507 of LNCS. Springer, 1998, pp. 211-225

Classification

Catalog

Syntactic Plus Issue Types (11)Integrity constraints applicable when UML is used as a conceptual modeling language.

CarplateNumber

Non-acceptable Problem = <Property> = it is an attribute = self.type()-> notEmpty()

S Φ ρ

Classification

Catalog

Basic Quality Issue Types (20)Fundamental properties for a schema to be correct, relevant, and complete.

For example,“The schema is not strongly satisfia-ble because of a recursive associa-tion.”

Classification

Catalog

Basic Quality Issue Types (20)

Personparent 2

3child

IsParentOf

Fundamental properties for a schema to be correct, relevant, and complete.

Non-acceptable Problem = <Association> = “is binary and recursive” = “the multiplicities are not strongly satisfiable”

S Φ ρ

Classification

Catalog

Best Practices (18)Issues that are recommended by some authors in some contexts.

For example,“An attribute repeated among all specific classes of an incomplete generalization set is correct.”

Classification

Catalog

Best Practices (18)Issues that are recommended by some authors in some contexts.

(Non-)Acceptable Checking = <gs:GenSet, s:String> = “gs is incomplete” = “every specific class of gs has an attribute named s”

S Φ ρ

MotorVehicle

{incomplete}

Classification

Catalog

Naming Guidelines (16)Special kind of best practices, focused on the names given to schema elements.

For example,“The name of a boolean attribute is not a third-person singular verb-phrase.”

47AGUILERA, D., GÓMEZ, C., OLIVÉ, A., A complete set of guidelines for naming UML conceptual schema elements.Data Knowl. Eng. 88, 0 (2013), 60-74

Classification

Catalog

Naming Guidelines (16)Special kind of best practices, focused on the names given to schema elements.

(Non-)Acceptable Problem = <Property> = “it is boolean” = “its name is not a verb phrase written in singular third-person form”

S Φ ρ

Personadult:Boolean

Usefulness

We analyzed 13 conceptual schemas developed by students as part of their

final projects in a Computer Science degree.

Catalog

Size of the schemas (median):- 17 Classes- 3 AssocClases- 12 Associations

- 56 Attributes- 8 Invariants

Usefulness

Catalog

All conceptual schemas presentedseveral Quality Issues!

Number of issues (median):- 0 Syntactic+- 111 Basic Properties

- 33 Best Practices- 24 Naming Guidelines

Size of the schemas: - 17 Classes - 3 AssocClases - 12 Associations

- 56 Attributes- 8 Invariants

Explore and Analyze current UML IDEs, comparing them with our catalog

Support by Current IDEs

29 Modeling ToolsFocus on the UML

Conceptual Modeling Tasks

Catalog

(ArgoUML, Rational Rose, USE, Poseidon, SDMetrics...)

- Do they control syntactic issue types?- What about other issue types?- How do they o er this support?ff- Do they provide assistance for fixing them?- Can they be extended with new issue types?

Support by Current IDEs

Catalog

Explore and Analyze current UML IDEs, comparing them with our catalog

What we found...

Syntactic Support3 Full

17 Partial

9 None

Catalog

What we found...

Syntactic Support Non-Syntactic Support

S+ BasProp BestPrac Naming

3 Full

17 Partial

9 NoneCatalogArgoUMLSDMetrics

CatalogCatalog

What we found...

Syntactic Support Non-Syntactic Support3 Full

17 Partial

9 None

CatalogArgoUMLSDMetrics

CatalogCatalog

Corrective Actions - 2 tools only

What we found...

Syntactic Support Non-Syntactic Support

Extension Mechanisms - 4 tools only

3 Full

17 Partial

9 None

CatalogArgoUMLSDMetrics

Catalog

Corrective Actions - 2 tools only

Support by IDEs vs. our Catalog

Best IDEs today ArgoUML and SDMetrics

The number ofissues detected by our catalog versus

those detected by these toolsis 10 times larger!

Catalog

Fair Comparison... (extensibility?)

- Only 4 tools can be extended

- They all deal with problem issues, thus ignoring checking issues

- The formalization they use is less expressive than ours

Catalog

Conceptual Modeling AssistantImplementation of a Prototype Tool

Eclipse

CMA based on Eclipse

Plugin

Workbench

Platform Runtime

WebTools

Java DevTools

Design Science Research requiresan artifact to be built.

Architecture of our CMA

Eclipse

Workbench

Platform Runtime

Eclipse

Workbench

Platform Runtime

UML2Tools

OCLInterpreter

Eclipse

Workbench

Platform Runtime

UML2Tools

OCLInterpreter

CMA Plugin

Issue Processor

Issue View(feedback)

Eclipse

Workbench

Platform Runtime

UML2Tools

OCLInterpreter

CMA Plugin

Issue Processor

IssueTypeXML

Eclipse

Workbench

Platform Runtime

UML2Tools

OCLInterpreter

CMA Plugin

Issue Processor

Remote Server

IssueCatalog

IssueTypeXML

The Catalog

The Catalog – Regular Issue Types

<context>Generalization</context> <title>A generalization is redundant</title>

<applicability-condition> Generalization.allInstances()->select( g1, g2 | g1 <> self and g2 <> self and g2.specific = self.specific and g2.general = self.general ) ->notEmpty() </applicability-condition>

</issue>59

The Catalog – Black-Box Issue Types

UML2Tools

OCLInterpreter

CMA Plugin

Issue Processor

IssueCatalogIssue

TypeXML

UML2Tools

OCLInterpreter

CMA Plugin

Issue Processor

IssueCatalogIssue

TypeXML

UML2Tools

OCLInterpreter

CMA Plugin

Issue Processor

IssueCatalogIssue

TypeXML

«interface»IBlackBoxIssueType

UML2Tools

OCLInterpreter

CMA Plugin

Issue Processor

IssueCatalogIssue

TypeXML

«interface»IBlackBoxIssueType

BlackBoxIssueType

getPotentialSet()doesRaiseAnIssueType(Tuple)

Efficient Evaluationof Quality Issues

Computation of Issue Instances

Incremental

Personadult:Boolean

BookisABestSeller:Boolean

Sx = { Property }ρx(a) = “the name of a boolean attribute is not a verb phrase”

Incremental

Issues?Evaluate the Applicability and Issue Conditions for every instance of the scope.

Personadult:Boolean

Incremental

Personadult:Boolean

Incremental

Personadult:Boolean

Incremental

Personadult:Boolean

Incremental

Personadult:Boolean

The name of the boolean attribute «adult» is not a verb phrase.

Incremental

This evaluation takes time.

We want to detect quality issuesas fast as possible.

Incremental

“Not all changes that can be applied to the schema have an e ect on the ffevaluation of the expression”.

Incremental Methods

Possible changes:

Incremental

Personadult:Boolean

Incremental Methods

Possible changes: - Change the name of A1

Incremental

Personadult:Boolean

Incremental Methods

Possible changes: - Change the name of A1

Incremental

Personadult:Boolean

Bookfree:Boolean

The name of the boolean attribute «free» is not a verb phrase.

Incremental Methods

Possible changes: - Change the name of A1 - Change the name of A2

Incremental

Personadult:Boolean

Incremental Methods

Possible changes: - Change the name of A1 - Change the name of A2

Incremental

PersonisAnAdult:Boolean

Incremental Methods

Possible changes: - Change the name of A1 - Change the name of A2 - Change the name of C1

Incremental

Personadult:Boolean

Incremental Methods

Possible changes: - Change the name of A1 - Change the name of A2 - Change the name of C1

Incremental

Manadult:Boolean

Incremental Methods

Possible changes: - Change the name of A1 - Change the name of A2 - Change the name of C1 - Add a new attribute - Delete an association - Create a generalization

Incremental

Personadult:Boolean

Incremental Methods

Incremental

Possible changes: - Change the name of A1 - Change the name of A2 - Change the name of C1 - Add a new attribute - Delete an association

Personadult:Boolean

Sx = { Property }ρx(a) = “the name of a boolean attribute is not a verb phrase”The goal of an Incremental Method

is to determine the set of changesthat (might) change the result of

evaluating an expression.

Incremental Methods

Incremental

Personadult:Boolean

Incremental Methods

Incremental

Personadult:Boolean

Incremental Methods

Incremental

Personadult:Boolean

Possible changes: - Change the name of A1 - Change the name of A2 - Change the type of A2 - Delete A2 - Delete an association - Create a generalization

Efficient Detection of Issues

We selected Egyed's method and applied it toour algorithm, taking into account: - Applicability and issue conditions - Precedents

Modify the algorithm forcomputing issue instances with an

instance-based incremental approach.

Incremental

70EGYED, A. Automatically detecting and tracking inconsistencies in software design models.IEEE Trans. Softw. Eng. 37, 2 (2011), 188-204

Improvements in Efficiency

Regular approach (schemas <500 elems)

Incremental approach

Avg. 9 seconds Max. over 5 minutes

Max. 250 millisecs

Incremental

The results are conclusive.

Conclusions and Future Work

Conclusions

The ProblemDefining Conceptual Schemas is a complex and difficult activity, but the support modelers get is scarce.

Conclusions

The ProblemQuality in Conceptual Modeling is important,but the support modelers get is scarce.

The SolutionA method for defining and treating Quality Issues,

whose goal is to assist conceptual modelers.

(based on current literature)

The ProblemDefining Conceptual Schemas is a complex and difficult activity, but the support modelers get is scarce.

Conclusions

1Formalization

Conceptual Schema Quality Issues- Definition- (Efficient) Detection- Solution

Conclusions

AGUILERA, D., GÓMEZ, C., AND OLIVÉ, A.A method for the definition and treatment of conceptual schema quality issues.In ER (2012), vol. 7532 of LNCS, Springer, pp. 501-514 74

2Catalog

Issues from the literature- UML/OCL- Syntactic correctness- Best practices and guidelines

Conclusions

AGUILERA, D., GÓMEZ, C., AND OLIVÉ, A.A complete set of guidelines for naming UML conceptual schema elements.Data Knowl. Eng. 88, 0 (2013), 60-74

AGUILERA, D., GÓMEZ, C., AND OLIVÉ, A.Enforcement of conceptual schema quality issues in current Integrated Development Environments. In CAiSE (2013), vol. 7908 of LNCS, Springer, pp. 626-640

Conceptual Modeling Assistant- The Eclipse Platform- Implements the method- Integrates the catalog

Conclusions

AGUILERA, D., GARCÍA-RANEA, R., GÓMEZ, C., AND OLIVÉ, A.An eclipse plugin for validating names in UML conceptual schemas. InER Workshops (2011), vol. 6999 of LNCS, Springer, pp. 323-327

AGUILERA, D., GÓMEZ, C., AND OLIVÉ, A.An eclipse plugin for improving the quality of UML conceptual schemas. InER Workshops (2012), vol. 7518 of LNCS, Springer, pp. 387-390 76

What's next?

Conclusions

What's next?Extending the Catalog

Conclusions

What's next?Integration with Testing

Conclusions

What's next?Validation with Real Users and Projects

Conclusions

What's next?Automatic Reparation

Conclusions

Publications

AGUILERA, D., GÓMEZ, C., AND OLIVÉ, A.Enforcement of conceptual schema quality issues in current Integrated Development Environments.In CAiSE (2013), vol. 7908 of LNCS, Springer, pp. 626-640

AGUILERA, D., GÓMEZ, C., AND OLIVÉ, A.An eclipse plugin for improving the quality of UML conceptual schemas.In ER Workshops (2012), vol. 7518 of LNCS, Springer, pp. 387-390

AGUILERA, D., GARCÍA-RANEA, R., GÓMEZ, C., AND OLIVÉ, A.An eclipse plugin for validating names in UML conceptual schemas.In ER Workshops (2011), vol. 6999 of LNCS, Springer, pp. 323-327

AGUILERA, D., GÓMEZ, C., AND OLIVÉ, A.A complete set of guidelines for naming UML conceptual schema elements.Data Knowl. Eng. 88, 0 (2013), 60-74

AGUILERA, D., GÓMEZ, C., AND OLIVÉ, A.A method for the definition and treatment of conceptual schema quality issues.In ER (2012), vol. 7532 of LNCS, Springer, pp. 501-514

Conclusions

David AguileraUPC - Barcelona

Dr. Olivé and Dr. Gómez

A Method for theUnified Definition and Treatment ofConceptual Schema Quality Issues

A Method for the Unified Definition and Treatment of Conceptual Schema Quality Issues

Education

Transcript of A Method for the Unified Definition and Treatment of Conceptual Schema Quality Issues

Development of the conceptual schema of a bowling game ...upcommons.upc.edu/bitstream/handle/2117/11196/BowlingTDCMRe… · DEVELOPMENT OF THE CONCEPTUAL SCHEMA OF A BOWLING GAME

Using Schematron as Schema Language in Conceptual Modeling ...crpit.com/confpapers/CRPITV143Benda.pdf · Using Schematron as Schema Language in Conceptual Modeling for XML Sobeslav

[MC-CSDL-Diff]: Conceptual Schema Definition File Format€¦ · 8 / 127 [MC-CSDL-Diff] - v20190313 Conceptual Schema Definition File Format Copyright © 2019 Microsoft Corporation

[MS-CSDLBI]: Conceptual Schema Definition File Format with ...

Database Schema Handbook for Cisco Unified ICM/Contact Center ...

[MS-CSDLBI]: Conceptual Schema Definition File …...The conceptual schema definition file format with business intelligence (BI) annotations provides the structure and semantics of

[MS-CSDLBI-Diff]: Conceptual Schema Definition File Format ...download.microsoft.com/download/C/2/E/C2E4BF6C-8F... · The conceptual schema definition file format with business intelligence

The Genomics Unified Schema and Application Framework · Java Data Loading API & Plugins ... Facilitates development of data mining oriented websites: ... The Genomics Unified Schema

Introducere Arhitectura unui SGBD Schema Conceptual˘adavos.science.upm.ro/~ccalin/curs/NotiuniIntroductive.pdf · Introducere Arhitectura unui SGBD Schema Conceptual˘a No¸tiuni

Conceptual Blending of Dialog and Image Schema - Design ...essay.utwente.nl/74459/1/Rejek_BA_BMS.pdf · Conceptual Blending of Dialog and Image Schema - ... The primary aim in interest

iho.int and Standards/NIPW… · Web viewIn this document, conceptual schemas are presented in the Unified Modelling Language (UML). Several model elements used in this schema are

Test effort: A pre-conceptual-schema-based representation · man-per-time unit. size, testing team experience , software complexity, etc. 2.3. Pre-conceptual schema representation

Magento Conceptual Schema

Cisco Unified CCX Database Schema Guide, Release 10.5(1) · i. Cisco Unified CCX Database Schema Guide, Release 10.5(1) CONTENTS Preface . i. Database Schema . 1-1. General Database

Cisco Unified CCX Database Schema Guide, Release 10.6(1) · i. Cisco Unified CCX Database Schema Guide, Release 10.6(1) CONTENTS Preface. i. Database Schema . 1-1. General Database

[MC-CSDL]: Conceptual Schema Definition File FormatMC-CSDL]-140515.… · [MC-CSDL]: Conceptual Schema Definition File Format Intellectual Property Rights Notice for Open Specifications

[MC-CSDL]: Conceptual Schema Definition File Format...8 / 127 [MC-CSDL] - v20150630 Conceptual Schema Definition File Format Copyright © 2015 Microsoft Corporation Release: June 30,

[MC-CSDL]: Conceptual Schema Definition File Format · 8 / 141 [MC-CSDL] — v20130722 Conceptual Schema Definition File Format Copyright © 2013 Microsoft Corporation. Release: Monday,

[MS-CSDLBI-Diff]: Conceptual Schema Definition File Format ...MS... · Conceptual Schema Definition File Format with Business ... Conceptual Schema Definition File Format with Business

Part II Distributed Database Systems - dbse.ovgu.deData...Schema Architecture Local schema (GDS) Conceptual Local Internal Local Local..... Schema M (LCS) Schema 2 (LIS) Schema M (LIS)