Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Incremental Consistency Checking in Delta-oriented UML-Models for
  Automation Systems   Automation systems exist in many variants and may evolve over time in order
to deal with different environment contexts or to fulfill changing customer
requirements. This induces an increased complexity during design-time as well
as tedious maintenance efforts. We already proposed a multi-perspective
modeling approach to improve the development of such systems. It operates on
different levels of abstraction by using well-known UML-models with activity,
composite structure and state chart models. Each perspective was enriched with
delta modeling to manage variability and evolution. As an extension, we now
focus on the development of an efficient consistency checking method at several
levels to ensure valid variants of the automation system. Consistency checking
must be provided for each perspective in isolation, in-between the perspectives
as well as after the application of a delta.

3
The categories of this paper are: physics
22
The categories of this paper are: chao-dyn
25
The categories of this paper are: patt-sol
32
The categories of this paper are: atom-ph
13
The categories of this paper are: quant-ph
8
The categories of this paper are: hep-ex
24
The categories of this paper are: dg-ga
26
The categories of this paper are: bayes-an
10
The categories of this paper are: q-bio
15
The categories of this paper are: nucl-ex
0
The categories of this paper are: hep-ph
12
The categories of this paper are: nucl-th
36
The categories of this paper are: cmp-lg
21
The categories of this paper are: adap-org
33
The categories of this paper are: plasm-ph
16
The categories of this paper are: stat