Top

Published in:

2019 | OriginalPaper | Chapter

Description Logics and Specialization for Structured BPMN

Authors : Alexander Borgida, Varvara Kalokyri, Amélie Marian

Published in: Business Process Management Workshops

Publisher: Springer International Publishing

Activate our intelligent search to find suitable subject content or patents.

search-config

AI-assisted search

Off

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.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

previous chapter Research Challenges for Intelligent Robotic Process Automation

next chapter Utilizing Ontology-Based Reasoning to Support the Execution of Knowledge-Intensive Processes

This can be used as another argument in favor of Structured BPM: several papers [12, 22] have shown how to represent the trace semantics of declarative BPMs, such as declare, by mapping to regular expressions.

This is a variant of the semantics of one of the plan DLs, \(RegExp(\{ \,\cdot \,,\,\sqcup \,,^*,\,\#\, \})\), described in [7, 9].

For brevity, we omit henceforth the beginning, including Initiate, EstablishWho,...

We use here pattern matching on terms in the style of modern functional languages such as Standard ML, Haskell, etc.

van der Aalst, W.M.P., Basten, T.: Life-cycle inheritance. In: Azéma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol. 1248, pp. 62–81. Springer, Heidelberg (1997). https://doi.org/10.1007/3-540-63139-9_30CrossRef

van der Aalst, W., Buijs, J., van Dongen, B.: Towards improving the representational bias of process mining. In: Aberer, K., Damiani, E., Dillon, T. (eds.) SIMPDA 2011. LNBIP, vol. 116, pp. 39–54. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-34044-4_3CrossRef

Artale, A., Kovtunova, A., Montali, M., van der Aalst, W.M.: Modeling and reasoning over declarative data-aware processes with object-centric behavioral constraints. In: Proceedings of BPM 2019 (2019, to appear)

Baader, F., Hanschke, P.: A scheme for integrating concrete domains into concept languages. In: Proceedings of IJCAI 1991, pp. 452–457 (1991)

Barron, J.: Dialogue and process design for interactive information systems using taxis. ACM SIGOA Newsl. 3, 12–20 (1982). Proceedings of SIGOA 1982CrossRef

Basten, T., van der Aalst, W.: Inheritance of behavior. J. Logic Algebr. Program. 47(2), 47–145 (2001)MathSciNetCrossRef

Borgida, A.: Initial steps towards a family of regular-like plan description logics. In: Lutz, C., Sattler, U., Tinelli, C., Turhan, A.-Y., Wolter, F. (eds.) Description Logic, Theory Combination, and All That. LNCS, vol. 11560, pp. 90–109. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-22102-7_4CrossRef

Borgida, A., Mylopoulos, J., Wong, H.K.T.: Generalization/specialization as a basis for software specification. In: Brodie, M.L., Mylopoulos, J., Schmidt, J.W. (eds.) On Conceptual Modelling. Topics in Information Systems, pp. 87–117. Springer, New York (1984). https://doi.org/10.1007/978-1-4612-5196-5_4CrossRef

Borgida, A., Toman, D., Weddell, G.: On special description logics for processes and plans. In: Proceedings of Workshop on Description Logics, DL 2019 (2019)

10.

Calvanese, D., Montali, M., Patrizi, F., De Giacomo, G.: Description logic based dynamic systems: modeling, verification, and synthesis. In: IJCAI 2015, pp. 4247–4253 (2015)

11.

Corradini, F., et al.: A guidelines framework for understandable BPMN models. Data Knowl. Eng. 113, 129–154 (2018)CrossRef

12.

De Giacomo, G., Dumas, M., Maggi, F.M., Montali, M.: Declarative process modeling in BPMN. In: Zdravkovic, J., Kirikova, M., Johannesson, P. (eds.) CAiSE 2015. LNCS, vol. 9097, pp. 84–100. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-19069-3_6CrossRef

13.

De Giacomo, G., Lenzerini, M.: TBox and ABox reasoning in expressive description logics. In: Proceedings of AAAI 199, pp. 37–48. AAAI Press (1996)

14.

Ferndriger, S., Bernstein, A., Dong, J.S., Feng, Y., Li, Y.-F., Hunter, J.: Enhancing semantic web services with inheritance. In: Sheth, A., et al. (eds.) ISWC 2008. LNCS, vol. 5318, pp. 162–177. Springer, Heidelberg (2008). https://doi.org/10.1007/978-3-540-88564-1_11CrossRef

15.

Frank, U.: Specialisation in business process modelling: Motivation, approaches and limitations. Institut für Informatik und Wirtschaftsinformatik (ICB), Universität Duisburg, Essen, Technical report (2012)

16.

Kalokyri, V., Borgida, A., Marian, A.: YourDigitalSelf: a personal digital trace integration tool. In: Proceedings of CIKM, pp. 1963–1966. ACM (2018)

17.

Kiepuszewski, B., ter Hofstede, A.H.M., Bussler, C.J.: On structured workflow modelling. In: Wangler, B., Bergman, L. (eds.) CAiSE 2000. LNCS, vol. 1789, pp. 431–445. Springer, Heidelberg (2000). https://doi.org/10.1007/3-540-45140-4_29CrossRef

18.

Leemans, S.J.J., Fahland, D., van der Aalst, W.M.P.: Discovering block-structured process models from incomplete event logs. In: Ciardo, G., Kindler, E. (eds.) PETRI NETS 2014. LNCS, vol. 8489, pp. 91–110. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-07734-5_6CrossRef

19.

Mayer, A.J., Stockmeyer, L.J.: The complexity of PDL with interleaving. Theor. Comput. Sci. 161(1–2), 109–122 (1996)MathSciNetCrossRef

20.

Mylopoulos, J., Bernstein, P.A., Wong, H.K.T.: A language facility for designing database-intensive applications. ACM Trans. Database Syst. 5(2), 185–207 (1980)CrossRef

21.

OWL-S Coalition: OWL-S 1.1 Release (2004)

22.

Prescher, J., Di Ciccio, C., Mendling, J.: From declarative processes to imperative models. Proc. SIMPDA 14, 162–173 (2014)

23.

Prieto, Á.E., Lozano-Tello, A., Rodríguez-Echeverría, R., Preciado, J.C.: A hierarchical adaptation method for administrative workflows. IEEE Access 7, 11066–11092 (2019) CrossRef

24.

Ren, Y., Gröner, G., Lemcke, J., Rahmani, T., Friesen, A., Zhao, Y., Pan, J.Z., Staab, S.: Validating process refinement with ontologies. In: Proceedings of Workshop on Description Logics, DL 2009 (2009)

25.

Riboni, D., Bettini, C.: Owl 2 modeling and reasoning with complex human activities. Pervasive Mob. Comput. 7(3), 379–395 (2011)CrossRef

26.

Rospocher, M., Ghidini, C., Serafini, L.: An ontology for the business process modelling notation. In: Proceedings of FOIS 2014, pp. 133–146 (2014)

27.

Schmiedel, A.: Temporal terminological logic. In: Proceedings of AAAI 1990, pp. 640–645 (1990)

28.

Wyner, G.M., Lee, J.: Process specialization: defining specialization for state diagrams. Comput. Math. Organ. Theory 8(2), 133–155 (2002)CrossRef

29.

Wyner, G.M., Lee, J.: Applying specialization to petri nets: implications for workflow design. In: Bussler, C.J., Haller, A. (eds.) BPM 2005. LNCS, vol. 3812, pp. 432–443. Springer, Heidelberg (2006). https://doi.org/10.1007/11678564_40CrossRef

30.

Zisman, M.: Representation, Specification And Automation of Office Procedures. Ph.D. thesis, University of Pennsylvania (1977)

Title: Description Logics and Specialization for Structured BPMN
Authors: Alexander Borgida
Varvara Kalokyri
Amélie Marian
Publisher: Springer International Publishing
Book: Business Process Management Workshops
Print ISBN: 978-3-030-37452-5

Electronic ISBN: 978-3-030-37453-2

Copyright Year: 2019
DOI: https://doi.org/10.1007/978-3-030-37453-2_3

Springer Professional

Abstract

Please log in to get access to your license.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"

Premium Partner