2009 年 5月 4 日随笔档案 - 服务学习

2009年5月4日

摘要： 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 阅读全文

posted @ 2009-05-04 21:06 服务学习阅读(227) 评论(0) 推荐(0)

Nawal Guermouche

摘要： Web 服务组合与时间属性的论文：（1）Timed Properties-Aware Asynchronous Web Service Composition.（2） Timed Specification For Web Services Compatibility Analysis. 阅读全文

posted @ 2009-05-04 21:02 服务学习阅读(297) 评论(0) 推荐(0)