has been cited by the following article(s):
[1]
|
Formal techniques for consistency checking of orchestrations of semantic Web services
Journal of Computational Science,
2020
DOI:10.1016/j.jocs.2020.101165
|
|
|
[2]
|
Formal Approach for Compatibility Checking of Orchestrations of Composite Semantic Web Services
2019 IEEE Symposium on Computers and Communications (ISCC),
2019
DOI:10.1109/ISCC47284.2019.8969690
|
|
|
[3]
|
Transformation of OWL-S model to rewrite-logic model
Journal of Computer Applications,
2012
DOI:10.3724/SP.J.1087.2011.01491
|
|
|
[4]
|
Discrimination of Chinese quantitative style features based on text clustering
2012 IEEE 11th International Conference on Signal Processing,
2012
DOI:10.1109/ICoSP.2012.6492018
|
|
|
[5]
|
Formal Analysis of OWL-S Process Model by FDR
2011 IEEE Asia-Pacific Services Computing Conference,
2011
DOI:10.1109/APSCC.2011.79
|
|
|