Samira Tasharofi, Marjan Sirjani. Formal Modeling and Conformance Validation for WS-CDL using Reo and CASM. Electronic Notes in Theoretical Computer Science, 229(2):155-174, 2009. [doi]
@article{TasharofiS09,
title = {Formal Modeling and Conformance Validation for WS-CDL using Reo and CASM},
author = {Samira Tasharofi and Marjan Sirjani},
year = {2009},
doi = {10.1016/j.entcs.2009.06.034},
url = {http://dx.doi.org/10.1016/j.entcs.2009.06.034},
tags = {modeling},
researchr = {https://researchr.org/publication/TasharofiS09},
cites = {0},
citedby = {0},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {229},
number = {2},
pages = {155-174},
}