摘要:
Formal Analysis of Web Service Compositions;Timed Modelling and Analysis in Web Service Compositions;Representation, Verification, and Computation of Timed Properties in Web Service Compositions 阅读全文
摘要:
Web 服务组合与时间属性的论文:(1)Timed Properties-Aware Asynchronous Web Service Composition.(2)
Timed Specification For Web Services Compatibility Analysis. 阅读全文