Imed Eddine Chama

According to our database, Imed Eddine Chama authored at least 5 papers between 2014 and 2017.

Collaborative distances:

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

2017

A timed semantics for web services composition.

Imed Eddine Chama, Nabil Belala, Djamel Eddine Saiotadouni

Int. J. Bus. Process. Integr. Manag., 2017

2015

Formal Modeling and Analysis of Business Process Timed Constraints.

Imed Eddine Chama, Nabil Belala, Djamel-Eddine Saïdouni

Proceedings of the Formalisms for Reuse and Systems Integration, 2015

2014

Formalizing Timed BPEL by D-LOTOS.

Imed Eddine Chama, Nabil Belala, Djamel-Eddine Saïdouni

Int. J. Embed. Real Time Commun. Syst., 2014

Formalization and analysis of timed BPEL.

Imed Eddine Chama, Nabil Belala, Djamel-Eddine Saïdouni

Proceedings of the 15th IEEE International Conference on Information Reuse and Integration, 2014

FMEBP: A Formal Modeling Environment of Business Process.

Imed Eddine Chama, Nabil Belala, Djamel-Eddine Saïdouni

Proceedings of the Information and Software Technologies - 20th International Conference, 2014