Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Multi-view Consistency in UML   We study the question of consistency of multi-view models in UML and OCL. We
first critically survey the large amount of literature that already exists. We
find that only limited subsets of the UML/OCL have been covered so far and that
consistency checks mostly only cover structural aspects, whereas only few
methods also address behaviour. We also give a classification of different
techniques for multi-view UML/OCL consistency: consistency rules, the system
model approach, dynamic meta-modelling, universal logic, and heterogeneous
transformation. Finally, we elaborate cornerstones of a comprehensive
distributed semantics approach to consistency using OMG's Distributed Ontology,
Model and Specification Language (DOL).

37
The categories of this paper are: supr-con
28
The categories of this paper are: alg-geom
14
The categories of this paper are: math-ph
10
The categories of this paper are: q-bio
25
The categories of this paper are: patt-sol
34
The categories of this paper are: chem-ph
22
The categories of this paper are: chao-dyn
3
The categories of this paper are: physics
26
The categories of this paper are: bayes-an
11
The categories of this paper are: hep-lat
18
The categories of this paper are: econ
29
The categories of this paper are: funct-an
6
The categories of this paper are: astro-ph
5
The categories of this paper are: gr-qc
32
The categories of this paper are: atom-ph
21
The categories of this paper are: adap-org