loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Salma Ayari 1 ; Yousra Bendali Hlaoui 1 and Leila Ben Ayed 2

Affiliations: 1 Faculty of Sciences of Tunis, University of Tunis El Manar, Tunisia ; 2 National School of Computer Science, University of Mannouba, Tunisia

Keyword(s): BPMN, Refinement, Context-free Grammar, Syntax-directed Translation, Formal Semantics, Formal Verification.

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.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 44.192.75.131

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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 - ICSOFT; ISBN 978-989-758-523-4; ISSN 2184-2833, SciTePress, pages 489-496. DOI: 10.5220/0010561404890496

@conference{icsoft21,
author={Salma Ayari. and Yousra Bendali 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 - ICSOFT},
year={2021},
pages={489-496},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0010561404890496},
isbn={978-989-758-523-4},
issn={2184-2833},
}

TY - CONF

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