Logo PTI
Polish Information Processing Society
Logo FedCSIS

Annals of Computer Science and Information Systems, Volume 8

Proceedings of the 2016 Federated Conference on Computer Science and Information Systems

Overview of Time Issues with Temporal Logics for Business Process Models

, , ,

DOI: http://dx.doi.org/10.15439/2016F328

Citation: Proceedings of the 2016 Federated Conference on Computer Science and Information Systems, M. Ganzha, L. Maciaszek, M. Paprzycki (eds). ACSIS, Vol. 8, pages 11151123 ()

Full text

Abstract. Process models can specify various aspects of business processes. In this paper, we present an overview of the existing solutions for describing time aspects of such models. We focus on Business Process Model and Notation and provide examples of representing time patterns in this notation. As temporal issues can be specified using temporal logics, we provide a short overview of selected temporal logics which can be used to specify the time patterns in business process models.


  1. M. Weske, Business Process Management: Concepts, Languages, Architectures 2nd Edition. Springer, 2012.
  2. A. Lindsay, D. Dawns, and K. Lunn, “Business processes – attempts to find a definition,” Information and Software Technology, vol. 45, no. 15, pp. 1015–1019, Dec 2003, elsevier.
  3. F. Hunka and R. Belunek, “Transaction based business process modeling,” in Computer Science and Information Systems (FedCSIS), 2015 Federated Conference on. IEEE, 2015, pp. 1397–1402.
  4. M. Mach-Król, “Perspectives of using temporal logics for knowledge management,” in 2012 Federated Conference on Computer Science and Information Systems (FedCSIS), 2012.
  5. M. Mach-Król and K. Michalik, “Selected aspects of temporal knowledge engineering,” in Computer Science and Information Systems (FedCSIS), 2014 Federated Conference on. IEEE, 2014, pp. 1091–1096.
  6. M. Owoc and K. Marciniak, “Knowledge management as foundation of smart university,” in Computer Science and Information Systems (FedCSIS), 2013 Federated Conference on. IEEE, 2013, pp. 1267–1272.
  7. W. M. P. Aalst, H. T. Beer, and B. F. Dongen, “Process mining and verification of properties: An approach based on temporal logic,” in On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE: OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2005, Agia Napa, Cyprus, October 31 - November 4, 2005, Proceedings, Part I, R. Meersman and Z. Tari, Eds. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005, pp. 130–147.
  8. Y. Qiang, M. Valcke, P. De Maeyer, and N. Van de Weghe, “Representing time intervals in a two-dimensional space: an empirical study,” Journal of Visual Languages & Computing, vol. 25, no. 4, pp. 466–480, 2014.
  9. W. M. P. van der Aalst, “Business process management: A comprehensive survey,” ISRN Software Engineering, vol. 2013, 2013.
  10. A. W. Scheer, Aris: Business Process Modeling, 3rd ed. Secaucus, NJ, USA: Springer-Verlag New York, Inc., 2000.
  11. M. Rosemann and W. M. P. van der Aalst, “A configurable reference modelling language,” Information Systems, vol. 32, no. 1, pp. 1–23, 2007.
  12. C. Menzel and R. J. Mayer, “The IDEF family of languages,” in Hand- book on Architectures of Information Systems, ser. International Hand- books on Information Systems, P. Bernus, K. Mertins, and G. Schmidt, Eds. Springer Berlin Heidelberg, 1998, ch. 10, pp. 209–241.
  13. C. Badiča, A. Badiča, and V. Litoiu, “A new formal IDEF-based modelling of business processes,” in Proc. of the 1st Balkan Conference in Informatics, Thessaloniki, Greece, 2003, pp. 535–549.
  14. C. P. Menzel, R. J. Mayer, and D. D. Edwards, “IDEF3 formalization report,” DTIC Document, Texas TX USA, Tech. Rep. KBSL-89-1007, October 1991.
  15. C. Badiča and C. Fox, “Hybrid DEF0/IDEF3 modelling of business processes: Syntax, semantics and expressiveness,” in Romanian-Austrian Workshop on Computer-Aided Verification of Information Systems: A Practical Industry-Oriented Approach. Timisoara, Romania, 2004, pp. 20–22.
  16. R. J. Mayer, C. Menzel, M. Painter, P. S. deWitte, T. Blinn, and B. Perakath, “Information integration for concurrent engineering (IICE) IDEF3 process description capture method report,” Knowledge Based Systems, Inc., Tech. Rep. AL-TR-1995-XXXX, 1995.
  17. OMG, “Unified Modeling Language (OMG UML) version 2.2. super-structure,” Object Management Group, Tech. Rep. formal/2009-02-02, February 2009.
  18. J. Hunt, Guide to the Unified Process featuring UML, Java and Design Patterns. Springer, 2003.
  19. M. Fowler, UML Distilled: A Brief Guide to the Standard Object Modeling Language, 3rd ed. Addison-Wesley Professional, 2003.
  20. D. Pilone and N. Pitman, UML 2.0 in a Nutshell. O’Reilly, 2005.
  21. T. Murata, “Petri nets: Properties, analysis and applications,” Proceedings of the IEEE, vol. 77, no. 4, pp. 541–580, 1989.
  22. M. Szpyrka, Sieci Petriego w modelowaniu i analizie systemów współbieżnych. Warszawa: Wydawnictwa Naukowo-Techniczne, 2008.
  23. B. Berthomieu and M. Diaz, “Modeling and verification of time dependent systems using time petri nets,” IEEE transactions on software engineering, vol. 17, no. 3, p. 259, 1991.
  24. L. Popova-Zeugmann, Time and Petri Nets. Springer, 2013.
  25. A. H. M. ter Hofstede, W. M. P. van der Aalst, M. Adams, and N. Russell, Eds., Modern Business Process Automation: YAWL and its Support Environment. Springer, 2010.
  26. W. M. P. van der Aalst and A. H. M. ter Hofstede, “YAWL: Yet another workflow language,” Information Systems, vol. 30, no. 4, pp. 245–275, 2005.
  27. W. M. P. van der Aalst and A. H. M. ter Hofstede, “Workflow patterns: On the expressive power of (petri-net-based) workflow languages,” in Proceedings of the Fourth International Workshop on Practical Use of Coloured Petri Nets and the CPN Tools, Aarhus, Denmark, August 28–30, 2002, K. Jensen, Ed., University of Aarhus. DAIMI PB-560, Aug 2002, pp. 1–20.
  28. W. M. P. van der Aalst, “Verification of workflow nets,” in Application and Theory of Petri Nets 1997, ser. Lecture Notes in Computer Science, P. Azema and G. Balbo, Eds. Springer Berlin Heidelberg, 1997, vol. 1248, pp. 407–426.
  29. OMG, “Business Process Model and Notation (BPMN): Version 2.0 specification,” Object Management Group, Tech. Rep. formal/2011-01-03, January 2011.
  30. B. List and B. Korherr, “An evaluation of conceptual business process modelling languages,” in Proceedings of the 2006 ACM symposium on Applied computing. ACM, 2006, pp. 1532–1539.
  31. W. M. P. van der Aalst, L. Aldred, M. Dumas, and A. H. M. ter Hofstede, “Design and implementation of the YAWL system,” in Advanced Information Systems Engineering, ser. Lecture Notes in Computer Science, A. Persson and J. Stirna, Eds. Springer Berlin Heidelberg, 2004, vol. 3084, pp. 142–159.
  32. J. Recker, M. Rosemann, M. Indulska, and P. F. Green, “Business process modeling – a comparative analysis,” Journal of the Association for Information Systems, vol. 10, no. 4, 2009.
  33. F.-R. Lin, M.-C. Yang, and Y.-H. Pai, “A generic structure for business process modeling,” Business Process Management Journal, vol. 8, no. 1, pp. 19–41, 2002.
  34. W. Wang, H. Ding, J. Dong, and C. Ren, “A comparison of business process modeling methods,” in Proceedings of the IEEE International Conference on Service Operations and Logistics, and Informatics, 2006. SOLI ’06, 2006, pp. 1136–1141.
  35. O. Svatoš, “Conceptual process modeling language: Regulative approach,” in Proceedings of the 9th Undergraduate and Graduate Students eConf. and 14th Business & Government Executive Meeting on Innovative Cross-border eRegion, Univ. of Maribor, 2007.
  36. J. Allen, “Maintaining knowledge about temporal intervals,” in Communications of ACM, 26(11)1983, pp. 832–843.
  37. K. Kluza and K. Kaczor, “Overview of BPMN model equivalences: towards normalization of BPMN diagrams,” in 8th Workshop on Knowledge Engineering and Software Engineering (KESE2012) at the at the biennial European Conference on Artificial Intelligence (ECAI 2012): August 28, 2012, Montpellier, France, J. Canadas, G. J. Nalepa, and J. Baumeister, Eds., 2012, pp. 38–45. [Online]. Available: http://ceur-ws.org/Vol-949/
  38. A. Lanz, B. Weber, and M. Reichert, “Time patterns for process-aware information systems,” Requirements Engineering, vol. 19, no. 2, pp. 113–141, 2012.
  39. D. Gagne and A. Trudel, “Time-bpmn,” in 2009 IEEE Conference on Commerce and Enterprise Computing, July 2009, pp. 361–367.
  40. S. Cheikhrouhou, S. Kallel, N. Guermouche, and M. Jmaiel, “A survey on time-aware business process modeling,” in International Conference on Enterprise Information Systems (ICEIS), July 2013, p. 10p.
  41. S. Cheikhrouhou, S. Kallel, N. Guermouche, and M. Jmaiel, “The temporal perspective in business process modeling: a survey and research challenges,” Service Oriented Computing and Applications, vol. 9, no. 1, pp. 75–85, 2015.
  42. A. Lanz, B. Weber, and M. Reichert, “Workflow time patterns for process-aware information systems,” in Enterprise, Business-Process and Information Systems Modeling: 11th International Workshop, BP-MDS 2010, and 15th International Conference, EMMSAD 2010, held at CAiSE 2010, Hammamet, Tunisia, June 7-8, 2010. Proceedings. Berlin, Heidelberg: Springer, 2010, pp. 94–107.
  43. A. Lanz, U. Kreher, M. Reichert, and P. Dadam, “Enabling process support for advanced applications with the Aristaflow BPM suite,” in Proceedings of the Business Process Management 2010 Demonstration Track, September 2010, no. 615.
  44. I. Barba, A. Lanz, B. Weber, M. Reichert, and C. del Valle, “Optimized time management for declarative workflows,” in 13th BPMDS’12 working conference, Lecture Notes in Business Information Processing. Berlin, Heidelberg: Springer, 2012, pp. 195–210.
  45. J. Xie, Y. Tang, Q. He, and N. Tang, “Research of temporal workflow process and resource modeling,” in Proceedings of the 9th international conference on computer supported cooperative work in design, 2005, vol. 1, pp. 530–534.
  46. M. Szpyrka, G. J. Nalepa, A. Ligęza, and K. Kluza, “Proposal of formal verification of selected BPMN models with Alvis modeling language,” in Intelligent Distributed Computing V. Proceedings of the 5th International Symposium on Intelligent Distributed Computing – IDC 2011, Delft, the Netherlands – October 2011, ser. Studies in Computational Intelligence, F. M. Brazier, K. Nieuwenhuis, G. Pavlin, M. Warnier, and C. Badica, Eds. Springer-Verlag, 2011, vol. 382, pp. 249–255. [Online]. Available: http://www.springerlink.com/content/m181144037q67271/
  47. A. Ligęza, K. Kluza, and T. Potempa, “Ai approach to formal analysis of bpmn models. towards a logical model for bpmn diagrams,” in Proceedings of the Federated Conference on Computer Science and Information Systems – FedCSIS 2012, Wroclaw, Poland, 9-12 September 2012, M. Ganzha, L. A. Maciaszek, and M. Paprzycki, Eds., 2012, pp. 931–934. [Online]. Available: http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6354394
  48. M. Szpyrka, P. Matyasik, and M. Wypych, “Alvis language with time dependence,” in Computer Science and Information Systems (FedCSIS), 2013 Federated Conference on. IEEE, 2013, pp. 1565–1570.
  49. Y. Du, P. Xiong, Y. Fan, and X. Li, “Dynamic checking and solution to temporal violations in concurrent workflow processes,” IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans, vol. 41, no. 6, pp. 1166–1181, 2011.
  50. R. Klimek and P. Szwed, “Verification of archimate process specifications based on deductive temporal reasoning,” in Computer Science and Information Systems (FedCSIS), 2013 Federated Conference on. IEEE, 2013, pp. 1109–1116.
  51. N. Guermouche, “Etude des Interactions Temporisées dans la Composition de Services Web,” PhD Thesis, Université Henri Poincaré - Nancy, Jun. 2010.
  52. N. Guermouche and S. D. Zilio, “Towards timed requirement verification for service choreographies,” in 2012 8th International Conference on Collaborative Computing: Networking, Applications and Worksharing (CollaborateCom), 2012, pp. 117–126.
  53. S. Kallel, A. Charfi, T. Dinkelaker, M. Mezini, and M. Jmaiel, “Specifying and monitoring temporal properties in web services compositions,” in 7th IEEE European Conference on Web Services, ECOWS ’09, 2009, pp. 148–157.
  54. K. Watahiki, F. Ishikawa, and K. Hiraishi, “Formal verification of business processes with temporal and resource constraints,” in Systems, Man, and Cybernetics (SMC), 2011 IEEE International Conference on, 2011, pp. 1173–1180.
  55. M. Makni, S. Tata, M. Yeddes, and N. Ben Hadj-Alouane, “Satisfaction and coherence of deadline constraints in inter-organizational workflows,” in On the Move to Meaningful Internet Systems: OTM 2010: Con- federated International Conferences: CoopIS, IS, DOA and ODBASE, Hersonissos, Crete, Greece, October 25-29, 2010, Proceedings, Part I. Berlin, Heidelberg: Springer, 2010, pp. 523–539.
  56. P. Y. H. Wong and J. Gibbons, “A relative timed semantics for BPMN,” Electronic Notes in Theoretical Computer Science, vol. 229, no. 2, pp. 59–75, 2009.
  57. K. Jobczyk and A. Ligeza, “Systems of temporal logic for a use of engineering. toward a more practical approach,” in Intelligent Systems for Computer Modelling. Springer, 2016, pp. 147–157.
  58. K. Jobczyk and A. Ligeza, “Why systems of temporal logic are sometimes (un) useful?” in International Conference on Artificial Intelligence and Soft Computing. Springer, 2016, pp. 306–316.
  59. A. Pnueli, “The temporal logic of programs,” Proceedings of the 18th Annual Symposium on Foundation of Computer Science, 1977:46-57.
  60. J. Halpern and Y. Shoham, “A propositional modal logic of time intervals,” Journal of the ACM, vol. 38, pp. 935–962, 1991.
  61. M. Mach-Krol and K. Michalik, “Validation and verification of temporal knowledge as an important aspect of implementing a temporal knowledge base system supporting organizational creativity,” in Computer Science and Information Systems (FedCSIS), 2015 Federated Conference on. IEEE, 2015, pp. 1315–1320.
  62. A. Awad, G. Decker, and M. Weske, “Efficient compliance checking using bpmn-q and temporal logic,” in Business Process Management: 6th International Conference, BPM 2008, Milan, Italy, September 2-4, 2008. Proceedings, M. Dumas, M. Reichert, and M.-C. Shan, Eds. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008, pp. 326–341.
  63. M. Mach-Król, “Tools for building a temporal knowledge base system supporting organizational creativity,” Procedia Computer Science, vol. 65, pp. 1031–1037, 2015.
  64. E. Kucharska, K. Grobler-Dębska, J. Gracel, and M. Jagodziński, “Idea of impact of erp-aps-mes systems integration on the effectiveness of decision making process in manufacturing companies,” in International Conference: Beyond Databases, Architectures and Structures. Springer, 2015, pp. 551–564.
  65. G. J. Nalepa and S. Bobek, “Rule-based solution for context-aware reasoning on mobile devices,” Computer Science and Information Systems, vol. 11, no. 1, pp. 171–193, 2014.
  66. S. Bobek, M. Slazynski, and G. J. Nalepa, “Capturing dynamics of mobile context-aware systems with rules and statistical analysis of historical data,” in Artificial Intelligence and Soft Computing, ser. Lecture Notes in Computer Science, L. Rutkowski, M. Korytkowski, R. Scherer, R. Tadeusiewicz, L. A. Zadeh, and J. M. Zurada, Eds., vol. 9120. Springer International Publishing, 2015, pp. 578–590. [Online]. Available: http://dx.doi.org/10.1007/978-3-319-19369-4_51
  67. G. J. Nalepa and A. Lig ̨eza, Software engineering: evolution and emerging technologies, ser. Frontiers in Artificial Intelligence and Applications. Amsterdam: IOS Press, 2005, vol. 130, ch. Conceptual modelling and automated implementation of rule-based systems, pp. 330–340.
  68. D. Luengo and M. Sepúlveda, “Applying clustering in process mining to find different versions of a business process that changes over time,” in Business Process Management Workshops: BPM 2011 International Workshops, Clermont-Ferrand, France, August 29, 2011, Revised Selected Papers, Part I, F. Daniel, K. Barkaoui, and S. Dustdar, Eds. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012, pp. 153–158.