TY - GEN
T1 - Description Logics and Specialization for Structured BPMN
AU - Borgida, Alexander
AU - Kalokyri, Varvara
AU - Marian, Amélie
N1 - Publisher Copyright:
© 2019, Springer Nature Switzerland AG.
PY - 2019
Y1 - 2019
N2 - The literature contains arguments for the benefits of representing and reasoning with BPMN processes in (OWL) ontologies, but these proposals are not able to reason about their dynamics. We introduce a new Description Logic, sBPMprocessDL, to represent the behavioral semantics of (block) structured BPMN. It supports reasoning about process concepts based on their execution traces. Starting from the traditional notion of subsumption in Description Logics (including sBPMprocessDL), we further investigate the notions of specialization and inheritance, as a way to help build and abbreviate large libraries of processes in an ontology, which are needed in many applications. We also provide formal evidence for the intuition that features of structured BPMN diagrams such as AND-gates and sub-processes can provide substantial benefits for their succinctness. The same can be true when moving from a structured to an equivalent unstructured version.
AB - The literature contains arguments for the benefits of representing and reasoning with BPMN processes in (OWL) ontologies, but these proposals are not able to reason about their dynamics. We introduce a new Description Logic, sBPMprocessDL, to represent the behavioral semantics of (block) structured BPMN. It supports reasoning about process concepts based on their execution traces. Starting from the traditional notion of subsumption in Description Logics (including sBPMprocessDL), we further investigate the notions of specialization and inheritance, as a way to help build and abbreviate large libraries of processes in an ontology, which are needed in many applications. We also provide formal evidence for the intuition that features of structured BPMN diagrams such as AND-gates and sub-processes can provide substantial benefits for their succinctness. The same can be true when moving from a structured to an equivalent unstructured version.
UR - http://www.scopus.com/inward/record.url?scp=85078547142&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85078547142&partnerID=8YFLogxK
U2 - 10.1007/978-3-030-37453-2_3
DO - 10.1007/978-3-030-37453-2_3
M3 - Conference contribution
AN - SCOPUS:85078547142
SN - 9783030374525
T3 - Lecture Notes in Business Information Processing
SP - 19
EP - 31
BT - Business Process Management Workshops - BPM 2019 International Workshops, Revised Selected Papers
A2 - Di Francescomarino, Chiara
A2 - Dijkman, Remco
A2 - Zdun, Uwe
PB - Springer
T2 - International Workshops on AI4BPM, BP-Meet-IoT, BPI, BPMinDIT, BPMS2, DEC2H, MIEL, PM-DiPro, PODS4H, PQ, SPBP, VEnMo 2019 held at the 17th International Conference on Business Process Management, BPM 2019
Y2 - 1 September 2019 through 6 September 2019
ER -