Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Translating UML State Machines to Coloured Petri Nets Using Acceleo: A
  Report   UML state machines are widely used to specify dynamic systems behaviours.
However its semantics is described informally, thus preventing the application
of model checking techniques that could guarantee the system safety. In a
former work, we proposed a formalisation of non-concurrent UML state machines
using coloured Petri nets, so as to allow for formal verification. In this
paper, we report our experience to implement this translation in an automated
manner using the model-to-text transformation tool Acceleo. Whereas Acceleo
provides interesting features that facilitated our translation process, it also
suffers from limitations uneasy to overcome.

28
The categories of this paper are: alg-geom
15
The categories of this paper are: nucl-ex
34
The categories of this paper are: chem-ph
2
The categories of this paper are: math
14
The categories of this paper are: math-ph
0
The categories of this paper are: hep-ph
25
The categories of this paper are: patt-sol
6
The categories of this paper are: astro-ph
16
The categories of this paper are: stat
23
The categories of this paper are: solv-int
19
The categories of this paper are: eess
18
The categories of this paper are: econ
20
The categories of this paper are: acc-phys
27
The categories of this paper are: comp-gas
36
The categories of this paper are: cmp-lg
4
The categories of this paper are: cond-mat