Formal semantics and transformation of BPMN models. - Toufik Messaoud Maarouk; Elkamel Merah; Sara Ghaoui; Nihed Rahabi (Int. J. Bus. Process. Integr. Manag., 2019)