Evaluating and Debugging OCL Expressions in UML Models

Brüning, Jens; Gogolla, Martin; Hamann, Lars; Kuhlmann, Mirco

doi:10.1007/978-3-642-30473-6_13

Cited by 4 publications

(5 citation statements)

References 6 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…1. It was continuously extended with new features, e. g. the Evaluation Browser (Brüning et al 2012) in the lower-right corner, state machine diagrams (Hamann, Hofrichter, & Gogolla 2012a) and communication diagrams in upperright corner.…”

Section: The Evolution Of Usementioning

confidence: 99%

History of the USE Tool 20 Years of UML/OCL Modeling Made in Germany.

Hilken¹,

Hamann²

2020

JOT

Self Cite

View full text Add to dashboard Cite

The UML-based Specification Environment (USE) originated as a modeling tool for validating UML and OCL models but has grown much larger over the years. The first version of USE was released in 1998. Since then, USE has been applied in several projects and had lots of contributors developing it, benefiting from a university environment and open source code basis. Its strong OCL evaluator allows for using it as a platform for other modeling projects but also applications in research projects and teaching have made USE a significant entry in the world of UML/OCL modeling tools. Countless case studies have been performed on the basis of USE. This contribution shows the evolution of USE by summarizing important extensions over the years. Furthermore, noteworthy applications of USE in teaching, research and industry are presented.

show abstract

Section: The Evolution Of Usementioning

confidence: 99%

History of the USE Tool 20 Years of UML/OCL Modeling Made in Germany.

Hilken¹,

Hamann²

2020

JOT

Self Cite

View full text Add to dashboard Cite

show abstract

“…In this paper, the UML-based Specification Environment tool (USE, [2]) is used together with the socalled model validator plugin that allows to generate system states for UML/OCL models based on a relational logic encoding [6]. There is earlier work showing features of the USE tool that help to analyze and debug OCL expressions, namely the evaluation browser [1], but we concentrate on the model validator and its model checking aspects in this work.…”

Section: Model Verification With the Use Toolmentioning

confidence: 99%

“…The GUI is split into three tabs that each cover a part of the configuration. 1 The first tab is the basic types tab in which the domains for the basic types of OCL are defined. The domains can be defined as ranges or specific values that will be used by the model validator.…”

Section: Configuration Guimentioning

confidence: 99%

“…Both categories pose problems to the users of the tools. If there are no means in place to 1 A detailed explanation of all three tabs in detail including screenshots can be found in [4]. detect the limitations, the outcome might differ from the user's expectations and it is not feasible to keep track of all limitations from long tool manuals.…”

Section: Analysis Of Potential Modeling Problemsmentioning

confidence: 99%

See 1 more Smart Citation

User Assistance Characteristics of the USE Model Checking Tool

Hilken

Gogolla

2017

Electron. Proc. Theor. Comput. Sci.

Self Cite

View full text Add to dashboard Cite

The Unified Modeling Language (UML) is a widely used general purpose modeling language. Together with the Object Constraint Language (OCL), formal models can be described by defining the structure and behavior with UML and additional OCL constraints. In the development process for formal models, it is important to make sure that these models are (a) correct, i.e. consistent and complete, and (b) testable in the sense that the developer is able to interactively check model properties. The USE tool (UML-based Specification Environment) allows both characteristics to be studied. We demonstrate how the tool supports modelers to analyze, validate and verify UML and OCL models via the use of several graphical means that assist the modeler in interpreting and visualizing formal model descriptions. In particular, we discuss how the so-called USE model validator plugin is integrated into the USE environment in order to allow non domain experts to use it and construct object models that help to verify properties like model consistency.Comment: In Proceedings F-IDE 2016, arXiv:1701.0792

show abstract

“…This tool allows the designer to provide an instantiation of the schema and to check whether it satisfies the OCL constraints. USE may also trace and debug the validity of an expected theorem (i.e., an OCL constraint) within a given instantiation provided by the designer (Brüning et al 2012), but it does not tell the user whether there are other causes (i.e., explanations) for the same problem as AuRUS does. USE behaves as model checking since it may determine whether a constraint is violated, but it is not able to invent new instances that could complement the given test case to make it valid if it is not.…”

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

Evaluating and Debugging OCL Expressions in UML Models

Cited by 4 publications

References 6 publications

History of the USE Tool 20 Years of UML/OCL Modeling Made in Germany.

History of the USE Tool 20 Years of UML/OCL Modeling Made in Germany.

User Assistance Characteristics of the USE Model Checking Tool

AuRUS: explaining the validation of UML/OCL conceptual schemas

Contact Info

Product

Resources

About