Login / Signup
Salma Ayari
Publication Activity (10 Years)
Years Active: 2018-2021
Publications (10 Years): 5
Top Topics
Metamodel
Model Driven
Business Process
Workflow Model
Top Venues
ICSOFT
COMPSAC (2)
ICSOFT (Selected Papers)
COMPSAC (1)
</>
Publications
</>
Salma Ayari
,
Yousra Bendaly Hlaoui
,
Leila Ben Ayed
A Specific Language for Developing Business Process by Refinement based on BPMN 2.0.
ICSOFT
(2021)
Salma Ayari
,
Yousra Bendaly Hlaoui
,
Leila Ben Ayed
A Grammar Based Approach to BPMN Model Semantic Preservation using Refinement.
COMPSAC (2)
(2019)
Salma Ayari
,
Yosra Ben Dali Hlaoui
,
Leila Jemni Ben Ayed
A New Approach for the Verification of BPMN Models Using Refinement Patterns.
COMPSAC (1)
(2018)
Salma Ayari
,
Yousra Bendaly Hlaoui
,
Leila Jemni Ben Ayed
A Refinement based Verification Approach of BPMN Models using NuSMV.
ICSOFT
(2018)
Yousra Bendaly Hlaoui
,
Salma Ayari
,
Leila Jemni Ben Ayed
Towards an Automatic Verification of BPMN Model Semantic Preservation During a Refinement Process.
ICSOFT (Selected Papers)
(2018)