摘要： Model-based Analysis of Time-aware Web Services Interactions;Analysis and Applications of Timed Service Protocols;fine-grained Compatibility and Replaceability Analysis of Timed Web Service Protocols. 阅读全文