Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content
Springer Nature Link
Log in

Description Logics and Specialization for Structured BPMN

  • Conference paper
  • First Online:
Business Process Management Workshops (BPM 2019)

Part of the book series: Lecture Notes in Business Information Processing ((LNBIP,volume 362))

Included in the following conference series:

  • 2950 Accesses

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Similar content being viewed by others

Notes

  1. 1.

    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.

  2. 2.

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

  3. 3.

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

  4. 4.

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

References

  1. 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_30

    Chapter  Google Scholar 

  2. 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_3

    Chapter  Google Scholar 

  3. 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)

    Google Scholar 

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

    Google Scholar 

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

    Article  Google Scholar 

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

    Article  MathSciNet  Google Scholar 

  7. 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_4

    Chapter  Google Scholar 

  8. 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_4

    Chapter  Google Scholar 

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

    Google Scholar 

  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)

    Google Scholar 

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

    Article  Google Scholar 

  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_6

    Chapter  Google Scholar 

  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)

    Google Scholar 

  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_11

    Chapter  Google Scholar 

  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)

    Google Scholar 

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

    Google Scholar 

  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_29

    Chapter  Google Scholar 

  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_6

    Chapter  Google Scholar 

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

    Article  MathSciNet  Google Scholar 

  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)

    Article  Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

  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)

    Article  Google Scholar 

  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)

    Google Scholar 

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

    Article  Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

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

    Article  Google Scholar 

  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_40

    Chapter  Google Scholar 

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

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Rutgers University, New Brunswick, USA

    Alexander Borgida, Varvara Kalokyri & Amélie Marian

Authors
  1. Alexander Borgida
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Varvara Kalokyri
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Amélie Marian
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Alexander Borgida .

Editor information

Editors and Affiliations

  1. Fondazione Bruno Kessler, Trento, Italy

    Chiara Di Francescomarino

  2. Eindhoven University of Technology, Eindhoven, The Netherlands

    Remco Dijkman

  3. University of Vienna, Vienna, Austria

    Uwe Zdun

Rights and permissions

Reprints and permissions

Copyright information

© 2019 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Borgida, A., Kalokyri, V., Marian, A. (2019). Description Logics and Specialization for Structured BPMN. In: Di Francescomarino, C., Dijkman, R., Zdun, U. (eds) Business Process Management Workshops. BPM 2019. Lecture Notes in Business Information Processing, vol 362. Springer, Cham. https://doi.org/10.1007/978-3-030-37453-2_3

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-37453-2_3

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-37452-5

  • Online ISBN: 978-3-030-37453-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation