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]
@inproceedings{Salah-MansourH18,
title = {ATL Based Refinement of WS-CDL Choreography into BPEL Processes},
author = {Khadidja Salah-Mansour and Youcef Hammal},
year = {2018},
doi = {10.1007/978-3-030-05481-6_25},
url = {https://doi.org/10.1007/978-3-030-05481-6_25},
researchr = {https://researchr.org/publication/Salah-MansourH18},
cites = {0},
citedby = {0},
pages = {329-343},
booktitle = {Modelling and Implementation of Complex Systems - Proceedings of the 5th International Symposium, MISC 2018, Laghouat, Algeria, December 16-18, 2018},
editor = {Salim Chikhi and Abdelmalek Amine and Allaoua Chaoui and Djamel-Eddine Saïdouni},
volume = {64},
series = {Lecture Notes in Networks and Systems},
publisher = {Springer},
isbn = {978-3-030-05481-6},
}