Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Pragmatic Requirements for Adaptive Systems: a Goal-Driven Modelling and
  Analysis Approach   Goal-models (GM) have been used in adaptive systems engineering for their
ability to capture the different ways to fulfill the requirements. Contextual
GM (CGM) extend these models with the notion of context and context-dependent
applicability of goals. In this paper, we observe that the interpretation of a
goal achievement is itself context-dependent. Thus, we introduce the notion of
Pragmatic Goals which have a dynamic satisfaction criteria. We also developed
and evaluated an algorithm to decide the Pragmatic CGM's achievability.
Finally, we performed several experiments to evaluate and to compare our
algorithm against human judgment and concluded that the specification of
context-dependent goals' applicability and interpretations make it hard for
domain stakeholders to decide whether the model covers all possibilities, both
in terms of time and accuracy, thus showing the importance and contribution of
our algorithm.

2
The categories of this paper are: math
21
The categories of this paper are: adap-org
5
The categories of this paper are: gr-qc
11
The categories of this paper are: hep-lat
8
The categories of this paper are: hep-ex
15
The categories of this paper are: nucl-ex
9
The categories of this paper are: nlin
32
The categories of this paper are: atom-ph
22
The categories of this paper are: chao-dyn
26
The categories of this paper are: bayes-an
33
The categories of this paper are: plasm-ph
13
The categories of this paper are: quant-ph
36
The categories of this paper are: cmp-lg
3
The categories of this paper are: physics
14
The categories of this paper are: math-ph
16
The categories of this paper are: stat