Is my model right? Let me ask the expert

Bertolino, Antonia; Angelis, Guglielmo De; Sandro, Alessio Di; Sabetta, Antonino

doi:10.1016/j.jss.2011.01.054

Cited by 17 publications

(7 citation statements)

References 26 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Bertolino et al [6] have investigated the use of QG-based methods for validation purposes. Their method aims at validating models in general and can be applied to ontologies as well.…”

Section: Related Workmentioning

confidence: 99%

A Similarity Based Approach to Omission Finding in Ontologies

Alsubait

Parsia

Sattler

2016

Lecture Notes in Computer Science

View full text Add to dashboard Cite

With the growing interest in using ontologies in semanticallyenabled applications, the interest in enhancing the quality of such ontologies has grown as well. Standard reasoning services focus on certain obvious dimensions of quality, e.g., to detect inconsistencies and incoherence. In addition, bespoke tools have been presented to address the completeness dimension of quality, e.g., missing entailments. These tools are usually focused on very restricted subsets of all the possible missing entailments, i.e., only atomic subsumptions. We present a new protocol to detect both existing invalid entailments and missing valid entailments. We also present a case study to evaluate the usefulness of the presented protocol for ontology validation purposes.

show abstract

“…Bertolino et al [6] have investigated the use of QG-based methods for validation purposes. Their method aims at validating models in general and can be applied to ontologies as well.…”

Section: Related Workmentioning

confidence: 99%

A Similarity Based Approach to Omission Finding in Ontologies

Alsubait

Parsia

Sattler

2016

Lecture Notes in Computer Science

View full text Add to dashboard Cite

show abstract

“…For the sake of illustration, Listing 15 shows the OCLbased semantics of the contains spatial relation. 1 context LayoutElement inv contains: Using this approach, unsound models like those in Fig. 9 do not get any visualization, thus signalling they have some problem.…”

Section: Layouting Modelsmentioning

confidence: 99%

Example-based validation of domain-specific visual languages

López-Fernández

Guerra

Lara

2015

Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering

View full text Add to dashboard Cite

The definition of Domain-Specific Languages (DSLs) is a recurrent activity in Model-Driven Engineering. However, their construction is many times an ad-hoc process, partly due to the lack of tools enabling a proper engineering of DSLs and promoting domain experts to play an active role.The focus of this paper is on the validation of metamodels for visual DSLs. For this purpose, we propose a language and tool support for describing properties that instances of meta-models should (or should not) meet. Then, our system uses a model finder to produce example models, enriched with a graphical concrete syntax, that confirm or refute the assumptions of the meta-model developer.Our language complements metaBest, a framework for the validation and verification of meta-models that includes two other languages for unit testing and specification-based testing of meta-models. A salient feature of our approach is that it fosters interaction with domain experts by the use, processing and creation of informal drawings constructed in editors liked yED or Dia. We assess the usefulness of the approach in the validation of a DSL for house blueprints, with the participation of 26 4 th year computer science students.

show abstract

“…Finally, the problem of model validation is also well known in model-driven engineering [6]. In that case, the model cannot be verified but only validated; recent work suggests generating questions about model properties as a form of sanity check [6].…”

Section: Related Workmentioning

confidence: 99%

“…In that case, the model cannot be verified but only validated; recent work suggests generating questions about model properties as a form of sanity check [6].…”

Section: Related Workmentioning

confidence: 99%

With an Open Mind: How to Write Good Models

Artho¹,

Hayamizu²,

Ramler

et al. 2014

Communications in Computer and Information Science

View full text Add to dashboard Cite

Abstract. Writing effective models for systems and their environment is a challenge. The task involves both mastering the modeling tool and its notation, and faithfully translating all requirements and specifications into a complete model. The former ability can be learned, while the latter one is a continuous challenge requiring experience and tools supporting the visualization and understanding of models. This paper describes our experience with incomplete models, the types of changes that were made later, and the defects that were found with the improved models.

show abstract

Is my model right? Let me ask the expert

Cited by 17 publications

References 26 publications

A Similarity Based Approach to Omission Finding in Ontologies

A Similarity Based Approach to Omission Finding in Ontologies

Example-based validation of domain-specific visual languages

With an Open Mind: How to Write Good Models

Contact Info

Product

Resources

About