Formal Reasoning on Natural Language Descriptions of Processes

  • Josep Sànchez-FerreresEmail author
  • Andrea Burattin
  • Josep Carmona
  • Marco Montali
  • Lluís Padró
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 11675)


The existence of unstructured information that describes processes represents a challenge in organizations, mainly because this data cannot be directly referred into process-aware ecosystems due to ambiguities. Still, this information is important, since it encompasses aspects of a process that are left out when formalizing it on a particular modelling notation. This paper picks up this challenge and faces the problem of ambiguities by acknowledging its existence and mitigating it. Specifically, we propose a framework to partially automate the elicitation of a formal representation of a textual process description, via text annotation techniques on top of natural language processing. The result is the ATDP language, whose syntax and semantics are described in this paper. ATDP allows to explicitly cope with several interpretations of the same textual description of a process model. Moreover, we link the ATDP language to a formal reasoning engine and show several use cases. A prototype tool enabling the complete methodology has been implemented, and several examples using the tool are provided.



This work has been supported by MINECO and FEDER funds under grant TIN2017-86727-C2-1-R and by Innovation Fund Denmark project (7050-00034A).


  1. 1.
    Buijs, J.C.A.M., van Dongen, B.F., van der Aalst, W.M.P.: A genetic algorithm for discovering process trees. In: Proceedings of the IEEE Congress on Evolutionary Computation (CEC), pp. 1–8 (2012)Google Scholar
  2. 2.
    Carmona, J., van Dongen, B., Solti, A., Weidlich, M.: Conformance Checking - Relating Processes and Models. Springer, Cham (2018). Scholar
  3. 3.
    Cimatti, A., Clarke, E.M., Giunchiglia, F., Roveri, M.: NUSMV: a new symbolic model checker. STTT 2(4), 410–425 (2000)CrossRefGoogle Scholar
  4. 4.
    Claes, J., Vanderfeesten, I., Pinggera, J., Reijers, H.A., Weber, B., Poels, G.: A visual analysis of the process of process modeling. Inf. Syst. e-Bus. Manag. 13(1), 147–190 (2015)CrossRefGoogle Scholar
  5. 5.
    De Giacomo, G., De Masellis, R., Montali, M.: Reasoning on LTL on finite traces: insensitivity to infiniteness. In: Proceedings of the 28th AAAI Conference on Artificial Intelligence, pp. 1027–1033. AAAI Press (2014)Google Scholar
  6. 6.
    De Giacomo, G., Vardi, M.Y.: Linear temporal logic and linear dynamic logic on finite traces. In: Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI), pp. 854–860. IJCAI/AAAI (2013)Google Scholar
  7. 7.
    Delicado, L., Sanchez-Ferreres, J., Carmona, J., Padró, L.: NLP4BPM - natural language processing tools for business process management. In: BPM Demo Track (2017)Google Scholar
  8. 8.
    Delicado, L., Sanchez-Ferreres, J., Carmona, J., Padró, L.: The model judge - a tool for supporting novices in learning process modeling. In: BPM 2018 Demonstration Track (2018)Google Scholar
  9. 9.
    Dijkman, R., Vanderfeesten, I., Reijers, H.A.: Business process architectures: overview, comparison and framework. Enterp. Inf. Syst. 10(2), 129–158 (2016)CrossRefGoogle Scholar
  10. 10.
    Dumas, M., La Rosa, M., Mendling, J., Reijers, H.: Fundamentals of Business Process Management, 2nd edn. Springer, Heidelberg (2018). Scholar
  11. 11.
    Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: Proceedings of the 1999 International Conference on Software Engineering (ICSE), pp. 411–420. ACM (1999)Google Scholar
  12. 12.
    Leopold, H.: Natural Language in Business Process Models. Springer, Cham (2013). Ph.D. thesisCrossRefGoogle Scholar
  13. 13.
    Maqbool, B., et al.: A comprehensive investigation of BPMN models generation from textual requirements—techniques, tools and trends. In: Kim, K.J., Baek, N. (eds.) ICISA 2018. LNEE, vol. 514, pp. 543–557. Springer, Singapore (2019). Scholar
  14. 14.
    Mendling, J., Baesens, B., Bernstein, A., Fellmann, M.: Challenges of smart business process management: an introduction to the special issue. Decis. Support Syst. 100, 1–5 (2017)CrossRefGoogle Scholar
  15. 15.
    Mendling, J., Leopold, H., Pittke, F.: 25 challenges of semantic process modeling. Int. J. Inf. Syst. Softw. Eng. Big Co. 1(1), 78–94 (2015)Google Scholar
  16. 16.
    Padró, L., Stanilovsky, E.: Freeling 3.0: towards wider multilinguality. In: Proceedings of the Eighth International Conference on Language Resources and Evaluation (LREC), pp. 2473–2479 (2012)Google Scholar
  17. 17.
    Pesic, M., Schonenberg, H., van der Aalst, W.M.P.: DECLARE: full support for loosely-structured processes. In: Proceedings of the Eleventh IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007), pp. 287–298. IEEE Computer Society (2007)Google Scholar
  18. 18.
    Pinggera, J.: The process of process modeling. Ph.D. thesis, University of Innsbruck, Department of Computer Science (2014)Google Scholar
  19. 19.
    Pnueli, A.: The temporal logic of programs, pp. 46–57. IEEE (1977)Google Scholar
  20. 20.
    Sànchez-Ferreres, J., Carmona, J., Padró, L.: Aligning textual and graphical descriptions of processes through ILP techniques. In: Dubois, E., Pohl, K. (eds.) CAiSE 2017. LNCS, vol. 10253, pp. 413–427. Springer, Cham (2017). Scholar
  21. 21.
    Semmelrodt, F.: Modellierung klinischer prozesse und compliance regeln mittels BPMN 2.0 und eCRG. Master’s thesis, University of Ulm (2013)Google Scholar
  22. 22.
    van der Aa, H., Carmona, J., Leopold, H., Mendling, J., Padró, L.: Challenges and opportunities of applying natural language processing in business process management. In: Proceedings of the 27th International Conference on Computational Linguistics (COLING), pp. 2791–2801 (2018)Google Scholar

Copyright information

© Springer Nature Switzerland AG 2019

Authors and Affiliations

  • Josep Sànchez-Ferreres
    • 1
    Email author
  • Andrea Burattin
    • 2
  • Josep Carmona
    • 1
  • Marco Montali
    • 3
  • Lluís Padró
    • 1
  1. 1.Universitat Politècnica de CatalunyaBarcelonaSpain
  2. 2.Technical University of DenmarkKongens LyngbyDenmark
  3. 3.Free University of Bozen-BolzanoBolzanoItaly

Personalised recommendations