Yousra Bendaly Hlaoui, Ahlem Ben Younes, Leila Jemni Ben Ayed, Manel Fathalli. From Sequence Diagrams to Event B: A Specification and Verification Approach of Flexible Workflow Applications of Cloud Services Based on Meta-model Transformation. In Sorel Reisman, Sheikh Iqbal Ahamed, Claudio Demartini, Thomas M. Conte, Ling Liu 0001, William R. Claycomb, Motonori Nakamura, Edmundo Tovar, Stelvio Cimato, Chung-Horng Lung, Hiroki Takakura, Ji-Jiang Yang, Toyokazu Akiyama, Zhiyong Zhang 0002, Kamrul Hasan, editors, 41st IEEE Annual Computer Software and Applications Conference, COMPSAC 2017, Turin, Italy, July 4-8, 2017. Volume 2. pages 187-192, IEEE Computer Society, 2017. [doi]
@inproceedings{HlaouiYAF17,
title = {From Sequence Diagrams to Event B: A Specification and Verification Approach of Flexible Workflow Applications of Cloud Services Based on Meta-model Transformation},
author = {Yousra Bendaly Hlaoui and Ahlem Ben Younes and Leila Jemni Ben Ayed and Manel Fathalli},
year = {2017},
doi = {10.1109/COMPSAC.2017.135},
url = {https://doi.org/10.1109/COMPSAC.2017.135},
researchr = {https://researchr.org/publication/HlaouiYAF17},
cites = {0},
citedby = {0},
pages = {187-192},
booktitle = {41st IEEE Annual Computer Software and Applications Conference, COMPSAC 2017, Turin, Italy, July 4-8, 2017. Volume 2},
editor = {Sorel Reisman and Sheikh Iqbal Ahamed and Claudio Demartini and Thomas M. Conte and Ling Liu 0001 and William R. Claycomb and Motonori Nakamura and Edmundo Tovar and Stelvio Cimato and Chung-Horng Lung and Hiroki Takakura and Ji-Jiang Yang and Toyokazu Akiyama and Zhiyong Zhang 0002 and Kamrul Hasan},
publisher = {IEEE Computer Society},
}