A New Approach for the Verification of BPMN Models Using Refinement Patterns

Salma Ayari, Yosra Ben Dali Hlaoui, Leila Jemni Ben Ayed. A New Approach for the Verification of BPMN Models Using Refinement Patterns. In Sorel Reisman, Sheikh Iqbal Ahamed, Claudio Demartini, Thomas M. Conte, Ling Liu 0001, William R. Claycomb, Motonori Nakamura, Edmundo Tovar, Stelvio Cimato, Chung-Horng Lung, Hiroki Takakura, Ji-Jiang Yang, Toyokazu Akiyama, Zhiyong Zhang 0002, Kamrul Hasan, editors, 2018 IEEE 42nd Annual Computer Software and Applications Conference, COMPSAC 2018, Tokyo, Japan, 23-27 July 2018, Volume 1. pages 807-808, IEEE Computer Society, 2018. [doi]

Authors

Salma Ayari

This author has not been identified. Look up 'Salma Ayari' in Google

Yosra Ben Dali Hlaoui

This author has not been identified. Look up 'Yosra Ben Dali Hlaoui' in Google

Leila Jemni Ben Ayed

This author has not been identified. Look up 'Leila Jemni Ben Ayed' in Google