Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: A Formal Model for Dynamically Adaptable Services   The growing complexity of software systems as well as changing conditions in
their operating environment demand systems that are more flexible, adaptive and
dependable. The service-oriented computing paradigm is in widespread use to
support such adaptive systems, and, in many domains, adaptations may occur
dynamically and in real time. In addition, services from heterogeneous,
possibly unknown sources may be used. This motivates a need to ensure the
correct behaviour of the adapted systems, and its continuing compliance to time
bounds and other QoS properties. The complexity of dynamic adaptation (DA) is
significant, but currently not well understood or formally specified. This
paper elaborates a well-founded model and theory of DA, introducing formalisms
written using COWS. The model is evaluated for reliability and responsiveness
properties with the model checker CMC.

34
The categories of this paper are: chem-ph
14
The categories of this paper are: math-ph
28
The categories of this paper are: alg-geom
17
The categories of this paper are: q-fin
20
The categories of this paper are: acc-phys
26
The categories of this paper are: bayes-an
12
The categories of this paper are: nucl-th
32
The categories of this paper are: atom-ph
33
The categories of this paper are: plasm-ph
10
The categories of this paper are: q-bio
11
The categories of this paper are: hep-lat
18
The categories of this paper are: econ
7
The categories of this paper are: hep-th
8
The categories of this paper are: hep-ex
6
The categories of this paper are: astro-ph
22
The categories of this paper are: chao-dyn