Imed Eddine CHAMA
...
Maître de conférences
Univ. Constantine 1
Equipe : CFSC

Ancien membre
Détails
Publications
Imed Eddine Chama; Nabil Belala; Djamel Eddine Saidouni
A timed semantics for web services composition. Int. J. of Business Process Integration and Management (IJBPIM) 8(1): 64-79 (2017)
Imed Eddine Chama; Nabil Belala; Djamel Eddine Saidouni
Formalizing Timed BPEL by D-LOTOS. Int. J. of Embedded and Real-Time Communication Systems (IJERTCS) 5(2): 1-21 (2014)
Imed Eddine Chama; Nabil Belala; Djamel Eddine Saidouni
FMEBP: A Formal Modeling Environment of Business Process. 20th Int. Conf. Information and Software Technologies (ICIST'14): 211-223 (2014)
Imed Eddine Chama; Nabil Belala; Djamel Eddine Saidouni
Formalization and analysis of timed BPEL. 15th IEEE Int. Conf. on Information Reuse and Integration (IRI'14): 483-491 (2014)
Imed Eddine Chama; Nabil Belala; Djamel Eddine Saidouni
Formal Modeling and Analysis of Business Process Timed Constraints. 2nd Workshop on Formal Methods Integration (FMI'14): 149-172 (2014)
Thèse de doctorat
Imed Eddine Chama
Formalisation et analyse des processus BPEL temporellement temporisés par l’utilisation des modèles de temps. Université Constantine 2, Algérie (2015)