loading
Papers

Research.Publish.Connect.

Paper

Authors: Salma Ayari 1 ; Yousra Bendaly Hlaoui 2 and Leila Jemni Ben Ayed 3

Affiliations: 1 University of Sfax, FSEGS and Tunisia ; 2 University of Tunis Manar, FST and Tunisia ; 3 University of Mannouba, ENSI, Tunisia University of Tunis, Latice Laboratory, ENSIT and Tunisia

ISBN: 978-989-758-320-9

Keyword(s): Refinement, BPMN, Verification, LTL, NuSMV.

Related Ontology Subjects/Areas/Topics: Formal Methods ; Simulation and Modeling ; Software Engineering ; Software Engineering Methods and Techniques

Abstract: Modeling complex workflow systems, using BPMN (Business Process Modeling Notation), is going increasing attention by all interested researches in distributed field. The step-wise refinement technique facilitates the understanding of complex systems by dealing with the major issues before getting involved in the details. In this paper, we propose a verification technique based on refinement BPMN process which allows to model an application by refinement and to induce gradually required properties at each level from the abstract to the concrete one. We introduce refinement patterns allowing the design of a complex application at different abstract level. Hence, a formal semantics for BPMN models based on Kripke structure and BPMN refinement patterns will be provided for a formal verification of this correctness. This verification is ensured automatically by NuSMV model Checker based on a BPMN language to NuSMV language transformation. The refinement correctness are expressed as refineme nt safety properties specified with LTL (Linear Temporal Logic). (More)

PDF ImageFull Text

Download
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 3.229.142.175

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 Ayed, L. (2018). A Refinement based Verification Approach of BPMN Models using NuSMV.In Proceedings of the 13th International Conference on Software Technologies - Volume 1: ICSOFT, ISBN 978-989-758-320-9, pages 529-540. DOI: 10.5220/0006914105630574

@conference{icsoft18,
author={Salma Ayari. and Yousra Bendaly Hlaoui. and Leila Jemni Ben Ayed.},
title={A Refinement based Verification Approach of BPMN Models using NuSMV},
booktitle={Proceedings of the 13th International Conference on Software Technologies - Volume 1: ICSOFT,},
year={2018},
pages={529-540},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006914105630574},
isbn={978-989-758-320-9},
}

TY - CONF

JO - Proceedings of the 13th International Conference on Software Technologies - Volume 1: ICSOFT,
TI - A Refinement based Verification Approach of BPMN Models using NuSMV
SN - 978-989-758-320-9
AU - Ayari, S.
AU - Hlaoui, Y.
AU - Ayed, L.
PY - 2018
SP - 529
EP - 540
DO - 10.5220/0006914105630574

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.