Sylvain Hallé, Roger Villemaire, Omar Cherkaoui. Specifying and Validating Data-Aware Temporal Web Service Properties. IEEE Trans. Software Eng., 35(5):669-683, 2009. [doi]
@article{HalleVC09,
title = {Specifying and Validating Data-Aware Temporal Web Service Properties},
author = {Sylvain Hallé and Roger Villemaire and Omar Cherkaoui},
year = {2009},
doi = {10.1109/TSE.2009.29},
url = {http://doi.ieeecomputersociety.org/10.1109/TSE.2009.29},
tags = {data validation, web service, data-flow, context-aware},
researchr = {https://researchr.org/publication/HalleVC09},
cites = {0},
citedby = {0},
journal = {IEEE Trans. Software Eng.},
volume = {35},
number = {5},
pages = {669-683},
}