Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Comprehensive Monitor-Oriented Compensation Programming   Compensation programming is typically used in the programming of web service
compositions whose correct implementation is crucial due to their handling of
security-critical activities such as financial transactions. While traditional
exception handling depends on the state of the system at the moment of failure,
compensation programming is significantly more challenging and dynamic because
it is dependent on the runtime execution flow - with the history of behaviour
of the system at the moment of failure affecting how to apply compensation. To
address this dynamic element, we propose the use of runtime monitors to
facilitate compensation programming, with monitors enabling the modeller to be
able to implicitly reason in terms of the runtime control flow, thus separating
the concerns of system building and compensation modelling. Our approach is
instantiated into an architecture and shown to be applicable to a case study.

17
The categories of this paper are: q-fin
26
The categories of this paper are: bayes-an
25
The categories of this paper are: patt-sol
4
The categories of this paper are: cond-mat
18
The categories of this paper are: econ
22
The categories of this paper are: chao-dyn
9
The categories of this paper are: nlin
29
The categories of this paper are: funct-an
21
The categories of this paper are: adap-org
10
The categories of this paper are: q-bio
15
The categories of this paper are: nucl-ex
27
The categories of this paper are: comp-gas
0
The categories of this paper are: hep-ph
32
The categories of this paper are: atom-ph
35
The categories of this paper are: mtrl-th
33
The categories of this paper are: plasm-ph