A Specific Language for Developing Business Process by Refinement based on BPMN 2.0

Salma Ayari, Yousra Hlaoui, Leila Ben Ayed

2021

Abstract

This paper deals with the development by refinement of BPMN(Business Process Model and Notations) models. Indeed, Business Process (BP) development based on step-wise refinement (i) facilitates the understanding of complex BP (ii) specifies all the BP semantics that the BPMN model has to describe by focusing on the smallest detail of the BP since details are added gradually to the model under development. Hence, we propose an approach assisting a business process developer to gradually build his/her BPMN model ensuring an automatic syntax and semantic property checking. The approach allows in one hand a BPMN syntax driven refinement based on a BPMN context-free grammar and in the other hand a formal verification of semantic properties. To be validated, the proposed approach is illustrated throughout the development of an on line flight booking BP.

Paper Citation

in Harvard Style

Ayari S., Hlaoui Y. and Ben Ayed L. (2021). A Specific Language for Developing Business Process by Refinement based on BPMN 2.0. In Proceedings of the 16th International Conference on Software Technologies - Volume 1: ICSOFT, ISBN 978-989-758-523-4, pages 489-496. DOI: 10.5220/0010561404890496

in Bibtex Style

@conference{icsoft21,
author={Salma Ayari and Yousra Hlaoui and Leila Ben Ayed},
title={A Specific Language for Developing Business Process by Refinement based on BPMN 2.0},
booktitle={Proceedings of the 16th International Conference on Software Technologies - Volume 1: ICSOFT,},
year={2021},
pages={489-496},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0010561404890496},
isbn={978-989-758-523-4},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 16th International Conference on Software Technologies - Volume 1: ICSOFT,
TI - A Specific Language for Developing Business Process by Refinement based on BPMN 2.0
SN - 978-989-758-523-4
AU - Ayari S.
AU - Hlaoui Y.
AU - Ben Ayed L.
PY - 2021
SP - 489
EP - 496
DO - 10.5220/0010561404890496