|
论文《带时间约束的Web服务异步交互相容性分析》发表于2011全国软件与应用学术会议(NASAC2011)。该文研究了在时间约束条件下，异步Web服务交互的相容性问题，提出了一种分析方法，以确保服务间通信的正确性和有效性。通过形式化建模和验证技术，增强了系统的可靠性和灵活性，对分布式系统的设计与实现具有重要参考价值。 文档为pdf格式，0.24MB，总共6页。
- 文件大小:
- 245.76 KB
- 下载次数:
- 60
- 带时间约束的Web服务异步交互相容性分析 - 2011全国软件与应用学术会议(NASAC2011).pdf ...
-
高速下载
| 
