Imed Eddine Chama

Publication Activity (10 Years)

Years Active: 2014-2017
Publications (10 Years): 1

Top Topics

Workflow Engine

Temporal Ordering

Business Process

Top Venues

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

Int. J. Bus. Process. Integr. Manag.

Publications

Imed Eddine Chama, Nabil Belala, Djamel Eddine Saiotadouni
A timed semantics for web services composition. Int. J. Bus. Process. Integr. Manag. 8 (1) (2017)
Imed Eddine Chama, Nabil Belala, Djamel-Eddine Saïdouni
FMEBP: A Formal Modeling Environment of Business Process. ICIST (2014)
Imed Eddine Chama, Nabil Belala, Djamel-Eddine Saïdouni
Formalization and analysis of timed BPEL. IRI (2014)
Imed Eddine Chama, Nabil Belala, Djamel-Eddine Saïdouni
Formalizing Timed BPEL by D-LOTOS. Int. J. Embed. Real Time Commun. Syst. 5 (2) (2014)