Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: An Operational Semantics for Activity Diagrams using SMV   This document defines an operational semantics for activity diagrams (ADs)
using a translation to SMV. The translation is inspired by the work of Eshuis
[Esh06] and extends it with support for data. Each execution step of the SMV
module obtained from an AD represents an executed action of this AD with
interleaved execution of concurrent branches. An implementation of the given
translation was used in the context of semantic differencing for ADs [MRR11].
We define the translation and give two examples, showing ADs and their complete
representation in SMV.

15
The categories of this paper are: nucl-ex
19
The categories of this paper are: eess
31
The categories of this paper are: ao-sci
36
The categories of this paper are: cmp-lg
29
The categories of this paper are: funct-an
14
The categories of this paper are: math-ph
17
The categories of this paper are: q-fin
6
The categories of this paper are: astro-ph
21
The categories of this paper are: adap-org
10
The categories of this paper are: q-bio
32
The categories of this paper are: atom-ph
18
The categories of this paper are: econ
20
The categories of this paper are: acc-phys
26
The categories of this paper are: bayes-an
28
The categories of this paper are: alg-geom
3
The categories of this paper are: physics