Ensuring UML Models Consistency Using the OCL Environment

Chiorean, Dan; Paşca, Mihai; Cârcu, Adrian; Botiza, Cristian; Moldovan, Sorin

doi:10.1016/j.entcs.2003.09.005

Cited by 39 publications

(18 citation statements)

References 2 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…This tool also checks if a given configuration of objects fulfills the invariants defined in the underlying model. OCLE [7] is a tool that allows the creation of instances of a UML model and the evaluation of invariants attached to both model and meta-model elements. USE [38] is a tool that supports the animation, testing and validation of a UML model and its OCL constraints, including pre and postconditions.…”

Section: Related Workmentioning

confidence: 99%

Refactoring object constraint language specifications

Correa

Werner

2006

Softw Syst Model

View full text Add to dashboard Cite

The object constraint language (OCL) plays an important role in the elaboration of precise models. Although OCL was designed to be both formal and simple, OCL specifications may be difficult to understand and evolve, particularly those containing complex or duplicated expressions. In this paper, we discuss how refactoring techniques can be applied in order to improve the understandability and maintainability of OCL specifications. In particular, we present several potentially bad constructions often found in OCL specifications and a collection of refactorings that can be applied to replace such constructions by better ones. We also briefly discuss how refactorings can be automated and how model regression testing can be used to increase our confidence that the semantics of an OCL specification has been preserved after manually performed refactorings.

show abstract

Section: Related Workmentioning

confidence: 99%

Refactoring object constraint language specifications

Correa

Werner

2006

Softw Syst Model

View full text Add to dashboard Cite

show abstract

“…OCL evaluation tools such as USE [30] or OCLE [14] are not geared towards automatic validation. Nevertheless, they provide limited support for consistency analysis of UML/OCL models.…”

Section: Related Workmentioning

confidence: 99%

Efficient analysis of pattern-based constraint specifications

Wahler

Basin

Brucker³

et al. 2009

Softw Syst Model

View full text Add to dashboard Cite

Precision and consistency are important prerequisites for class models to conform to their intended domain semantics. Precision can be achieved by augmenting models with design constraints and consistency can be achieved by avoiding contradictory constraints. However, there are different views of what constitutes a contradiction for design constraints. Moreover, state-of-the-art analysis approaches for proving constrained models consistent either scale poorly or require the use of interactive theorem proving. In this paper, we present a heuristic approach for efficiently analyzing constraint specifications built from constraint patterns. This analysis is based on precise notions of consistency for constrained class models and exploits the semantic properties of constraint patterns, thereby enabling syntax-based consistency checking in polynomial-time. We introduce a consistency checker implementing these ideas and we report on case studies in applying our approach to analyze industrial-scale models. These studies show that pattern-based constraint development supports the creation Communicated by Dr. Alessandra Cavarra. M. Wahler ( )

show abstract

“…The OCLE environment (Chiorean et al 2004) is a tool for checking the consistency of UML models. The checks provided by this tool allow ensuring the consistency of UML models as defined by means of well-formedness rules specified in OCL.…”

Section: Tools For Checking the Correctness Of A Uml/ocl Conceptual Smentioning

confidence: 99%

AuRUS: explaining the validation of UML/OCL conceptual schemas

et al. 2013

View full text Add to dashboard Cite

Abstract:The validation and the verification of conceptual schemas have attracted a lot of interest during the last years, and several tools have been developed to automate this process as much as possible. This is achieved, in general, by assessing whether the schema satisfies different kinds of desirable properties which ensure that the schema is correct. In this paper we describe AuRUS, a tool we have developed to analyze UML/OCL conceptual schemas and to explain their (in)correctness. When a property is satisfied, AuRUS provides a sample instantiation of the schema showing a particular situation where the property holds. When it is not, AuRUS provides an explanation for such unsatisfiability, i.e., a set of integrity constraints which is in contradiction with the property.

show abstract

Ensuring UML Models Consistency Using the OCL Environment

Cited by 39 publications

References 2 publications

Refactoring object constraint language specifications

Refactoring object constraint language specifications

Efficient analysis of pattern-based constraint specifications

AuRUS: explaining the validation of UML/OCL conceptual schemas

Contact Info

Product

Resources

About