Salma Ayari

According to our database, Salma Ayari authored at least 5 papers between 2018 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2021

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

Salma Ayari, Yousra Bendaly Hlaoui, Leila Ben Ayed

Proceedings of the 16th International Conference on Software Technologies, 2021

2019

A Grammar Based Approach to BPMN Model Semantic Preservation using Refinement.

Salma Ayari, Yousra Bendaly Hlaoui, Leila Ben Ayed

Proceedings of the 43rd IEEE Annual Computer Software and Applications Conference, 2019

2018

Towards an Automatic Verification of BPMN Model Semantic Preservation During a Refinement Process.

Yousra Bendaly Hlaoui, Salma Ayari, Leila Jemni Ben Ayed

Proceedings of the Software Technologies - 13th International Conference, 2018

A Refinement based Verification Approach of BPMN Models using NuSMV.

Salma Ayari, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed

Proceedings of the 13th International Conference on Software Technologies, 2018

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

Salma Ayari, Yosra Ben Dali Hlaoui, Leila Jemni Ben Ayed

Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018