Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Runtime Verification for Business Processes Utilizing the Bitcoin
  Blockchain   The usage of process choreographies and decentralized Business Process
Management Systems has been named as an alternative to centralized business
process orchestration. In choreographies, control over a process instance is
shared between independent parties, and no party has full control or knowledge
during process runtime. Nevertheless, it is necessary to monitor and verify
process instances during runtime for purposes of documentation, accounting, or
compensation.
  To achieve business process runtime verification, this work explores the
suitability of the Bitcoin blockchain to create a novel solution for
choreographies. The resulting approach is realized in a fully-functional
software prototype. This software solution is evaluated in a qualitative
comparison. Findings show that our blockchain-based approach enables a seamless
execution monitoring and verification of choreographies, while at the same time
preserving anonymity and independence of the process participants. Furthermore,
the prototype is evaluated in a performance analysis.

16
The categories of this paper are: stat
29
The categories of this paper are: funct-an
27
The categories of this paper are: comp-gas
32
The categories of this paper are: atom-ph
31
The categories of this paper are: ao-sci
11
The categories of this paper are: hep-lat
17
The categories of this paper are: q-fin
24
The categories of this paper are: dg-ga
0
The categories of this paper are: hep-ph
18
The categories of this paper are: econ
14
The categories of this paper are: math-ph
34
The categories of this paper are: chem-ph
19
The categories of this paper are: eess
10
The categories of this paper are: q-bio
37
The categories of this paper are: supr-con
33
The categories of this paper are: plasm-ph