Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Tracing Properties of UML and OCL Models with Maude   The starting point of this paper is a system described in form of a UML class
diagram where system states are characterized by OCL invariants and system
transitions are defined by OCL pre- and postconditions. The aim of our approach
is to assist the developer in learning about the consequences of the described
system states and transitions and about the formal implications of the
properties that are explicitly given. We propose to draw conclusions about the
stated constraints by translating the UML and OCL model into the algebraic
specification language and system Maude, which is based on rewrite logic. We
will concentrate in this paper on employing Maude's capabilities for state
search. Maude's state search offers the possibility to describe a start
configuration of the system and then explore all configurations reachable by
rewriting. The search can be adjusted by formulating requirements for the
allowed states and the allowed transitions.

17
The categories of this paper are: q-fin
20
The categories of this paper are: acc-phys
3
The categories of this paper are: physics
13
The categories of this paper are: quant-ph
31
The categories of this paper are: ao-sci
4
The categories of this paper are: cond-mat
2
The categories of this paper are: math
18
The categories of this paper are: econ
26
The categories of this paper are: bayes-an
23
The categories of this paper are: solv-int
10
The categories of this paper are: q-bio
32
The categories of this paper are: atom-ph
16
The categories of this paper are: stat
6
The categories of this paper are: astro-ph
9
The categories of this paper are: nlin
30
The categories of this paper are: q-alg