Description Logics and Specialization for Structured BPMN

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

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.

Original languageEnglish (US)
Title of host publicationBusiness Process Management Workshops - BPM 2019 International Workshops, Revised Selected Papers
EditorsChiara Di Francescomarino, Remco Dijkman, Uwe Zdun
PublisherSpringer
Pages19-31
Number of pages13
ISBN (Print)9783030374525
DOIs
StatePublished - Jan 1 2019
EventInternational 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 - Vienna, Austria
Duration: Sep 1 2019Sep 6 2019

Publication series

NameLecture Notes in Business Information Processing
Volume362 LNBIP
ISSN (Print)1865-1348
ISSN (Electronic)1865-1356

Conference

ConferenceInternational 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
Country/TerritoryAustria
CityVienna
Period9/1/199/6/19

All Science Journal Classification (ASJC) codes

  • Management Information Systems
  • Control and Systems Engineering
  • Business and International Management
  • Information Systems
  • Modeling and Simulation
  • Information Systems and Management

Fingerprint

Dive into the research topics of 'Description Logics and Specialization for Structured BPMN'. Together they form a unique fingerprint.

Cite this