Advertisement

Translating BPMN to Business Rules

  • Hamda Al-Ali
  • Ernesto Damiani
  • Mahmoud Al-Qutayri
  • Mohammad Abu-Matar
  • Rabeb Mizouni
Conference paper
Part of the Lecture Notes in Business Information Processing book series (LNBIP, volume 307)

Abstract

Business Process Model and Notation (BPMN) is a standard graphical notation that is widely used for modeling Business Processes (BP) in Business Process Management (BPM) systems. A key application of such systems is continuous analysis of BP execution for checking compliance of execution logs with process models. In this paper we introduce a simple, human-readable rule language based on a fragment of First-Order Logic (FOL) and show how compliance rules can be generated directly from BPMN models. We focus on control flow aspects of BPMN models by (1) transforming the model to obtain a uniform representation of task activation (2) dividing the model into sets of components and (3) using our proposed language to generate compliance rules for each component. We show that these rules can be used in the analysis of the business process execution log using British Telecom’s Aperture business process analysis tool.

Keywords

BPMN BPM FOL Process mining Conformance checking 

References

  1. 1.
    Van der Aalst, W., Damiani, E.: Processes meet big data: connecting data science with process science. IEEE Trans. Serv. Comput. 8, 810–819 (2015)CrossRefGoogle Scholar
  2. 2.
    Van der Aalst, W., Reijers, H., Weijters, A., Van Dongen, B., Alves de Medeiros, A., Song, M., Verbeek, H.: Business process mining: an industrial application. Inf. Syst. 32, 713–732 (2007)CrossRefGoogle Scholar
  3. 3.
    Ly, L., Maggi, F., Montali, M., Rinderle-Ma, S., Van der Aalst, W.: Compliance monitoring in business processes: functionalities, application, and tool-support. Inf. Syst. 54, 209–234 (2015)CrossRefGoogle Scholar
  4. 4.
    Huurros, M.: The emergence and scope of complex system/service innovation: the case of the mobile payment service market in Finland. Helsinki School of Economics (2007)Google Scholar
  5. 5.
    Von Halle, B., Goldberg, L., Zachman, J.: The business rule revolution. HappyAbout.info, Cupertino, 9–10 CA (2006)Google Scholar
  6. 6.
    Ouyang, C., Van der Aalst, W., Dumas, M., Ter Hofstede, A.H.M.: Translating BPMN to BPEL. Technical report BPM-06-02, BPM Center (2006)Google Scholar
  7. 7.
    Di Ciccio, C., Mecella, M.: On the discovery of declarative control flows for artful processes. ACM Trans. Manag. Inf. Syst. 5(4), 24:1–24:37 (2015). http://doi.acm.org/10.1145/2629447CrossRefGoogle Scholar
  8. 8.
    Burattin, A., Cimitile, M., Maggi, F., Sperduti, A.: Online discovery of declarative process models from event streams. IEEE Trans. Serv. Comput. 8, 833–846 (2015)CrossRefGoogle Scholar
  9. 9.
    Turetken, O., Elgammal, A., Van den Heuvel, W., Papazoglou, M.: Capturing compliance requirements: a pattern-based approach. IEEE Softw. 29, 28–36 (2012)CrossRefGoogle Scholar
  10. 10.
    Malik, S., Bajwa, I.S.: A rule based approach for business rule generation from business process models. In: Bikakis, A., Giurca, A. (eds.) RuleML 2012. LNCS, vol. 7438, pp. 92–99. Springer, Heidelberg (2012).  https://doi.org/10.1007/978-3-642-32689-9_8CrossRefGoogle Scholar
  11. 11.
    Damiani, E., Mulazzani, F., Russo, B., Succi, G.: SAF: strategic alignment framework for monitoring organizations. In: Abramowicz, W., Fensel, D. (eds.) BIS 2008. LNBIP, vol. 7, pp. 213–226. Springer, Heidelberg (2008).  https://doi.org/10.1007/978-3-540-79396-0_19CrossRefGoogle Scholar
  12. 12.
    Kluza, K., Malanka, T., Nalepa, G., Ligza, A.: Proposal of representing BPMN diagrams with XTT2-based business rules. In: Brazier, F.M.T., Nieuwenhuis, K., Pavlin, G., Warnier, M., Badica, C. (eds.) Intelligent Distributed Computing V. SCI, vol. 382, pp. 243–248. Springer, Heidelberg (2011).  https://doi.org/10.1007/978-3-642-24013-3_25CrossRefGoogle Scholar
  13. 13.
    Rachdi, A., En-Nouaary, A., Dahchour, M.: Analysis of common business rules in BPMN process models using business rule language. In: 2016 11th International Conference on Intelligent Systems: Theories and Applications (SITA) (2016)Google Scholar
  14. 14.
    Awad, A., Decker, G., Weske, M.: Efficient compliance checking using BPMN-Q and temporal logic. In: Dumas, M., Reichert, M., Shan, M.-C. (eds.) BPM 2008. LNCS, vol. 5240, pp. 326–341. Springer, Heidelberg (2008).  https://doi.org/10.1007/978-3-540-85758-7_24CrossRefGoogle Scholar
  15. 15.
    Taylor, P., Leida, M., Majeed, B.: Case study in process mining in a multinational enterprise. In: Aberer, K., Damiani, E., Dillon, T. (eds.) SIMPDA 2011. LNBIP, vol. 116, pp. 134–153. Springer, Heidelberg (2012).  https://doi.org/10.1007/978-3-642-34044-4_8CrossRefGoogle Scholar
  16. 16.
    Rowley, M., Minnam, S., Koppala, V.: Using BPM to implement services in telecom and media: practical advice and insights from the real world. In: ActiveVOS, pp. 30–33 (2012)Google Scholar

Copyright information

© IFIP International Federation for Information Processing 2018

Authors and Affiliations

  • Hamda Al-Ali
    • 1
  • Ernesto Damiani
    • 1
    • 2
  • Mahmoud Al-Qutayri
    • 1
  • Mohammad Abu-Matar
    • 2
  • Rabeb Mizouni
    • 1
  1. 1.Khalifa UniversityAbu DhabiUAE
  2. 2.Etisalat BT Innovation Center (EBTIC)Abu DhabiUAE

Personalised recommendations