Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: User Assistance Characteristics of the USE Model Checking Tool   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.

8
The categories of this paper are: hep-ex
35
The categories of this paper are: mtrl-th
11
The categories of this paper are: hep-lat
4
The categories of this paper are: cond-mat
20
The categories of this paper are: acc-phys
13
The categories of this paper are: quant-ph
23
The categories of this paper are: solv-int
24
The categories of this paper are: dg-ga
30
The categories of this paper are: q-alg
36
The categories of this paper are: cmp-lg
19
The categories of this paper are: eess
29
The categories of this paper are: funct-an
34
The categories of this paper are: chem-ph
17
The categories of this paper are: q-fin
33
The categories of this paper are: plasm-ph
18
The categories of this paper are: econ