ATL Based Refinement of WS-CDL Choreography into BPEL Processes

Khadidja Salah-Mansour, Youcef Hammal. ATL Based Refinement of WS-CDL Choreography into BPEL Processes. In Salim Chikhi, Abdelmalek Amine, Allaoua Chaoui, Djamel-Eddine Saïdouni, editors, Modelling and Implementation of Complex Systems - Proceedings of the 5th International Symposium, MISC 2018, Laghouat, Algeria, December 16-18, 2018. Volume 64 of Lecture Notes in Networks and Systems, pages 329-343, Springer, 2018. [doi]

Authors

Khadidja Salah-Mansour

This author has not been identified. Look up 'Khadidja Salah-Mansour' in Google

Youcef Hammal

This author has not been identified. Look up 'Youcef Hammal' in Google