Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: SAP Speaks PDDL: Exploiting a Software-Engineering Model for Planning in
  Business Process Management   Planning is concerned with the automated solution of action sequencing
problems described in declarative languages giving the action preconditions and
effects. One important application area for such technology is the creation of
new processes in Business Process Management (BPM), which is essential in an
ever more dynamic business environment. A major obstacle for the application of
Planning in this area lies in the modeling. Obtaining a suitable model to plan
with -- ideally a description in PDDL, the most commonly used planning language
-- is often prohibitively complicated and/or costly. Our core observation in
this work is that this problem can be ameliorated by leveraging synergies with
model-based software development. Our application at SAP, one of the leading
vendors of enterprise software, demonstrates that even one-to-one model re-use
is possible.
  The model in question is called Status and Action Management (SAM). It
describes the behavior of Business Objects (BO), i.e., large-scale data
structures, at a level of abstraction corresponding to the language of business
experts. SAM covers more than 400 kinds of BOs, each of which is described in
terms of a set of status variables and how their values are required for, and
affected by, processing steps (actions) that are atomic from a business
perspective. SAM was developed by SAP as part of a major model-based software
engineering effort. We show herein that one can use this same model for
planning, thus obtaining a BPM planning application that incurs no modeling
overhead at all.
  We compile SAM into a variant of PDDL, and adapt an off-the-shelf planner to
solve this kind of problem. Thanks to the resulting technology, business
experts may create new processes simply by specifying the desired behavior in
terms of status variable value changes: effectively, by describing the process
in their own language.

3
The categories of this paper are: physics
2
The categories of this paper are: math
21
The categories of this paper are: adap-org
34
The categories of this paper are: chem-ph
15
The categories of this paper are: nucl-ex
29
The categories of this paper are: funct-an
33
The categories of this paper are: plasm-ph
11
The categories of this paper are: hep-lat
20
The categories of this paper are: acc-phys
28
The categories of this paper are: alg-geom
17
The categories of this paper are: q-fin
16
The categories of this paper are: stat
27
The categories of this paper are: comp-gas
37
The categories of this paper are: supr-con
25
The categories of this paper are: patt-sol
13
The categories of this paper are: quant-ph