|
论文《基于Alloy的服务组合验证》发表于第十九届全国网络与数据通信学术会议，探讨了利用Alloy模型检测工具对服务组合进行形式化验证的方法。文章提出了一个有效的建模框架，能够检测服务组合中的潜在冲突和错误，提高服务集成的可靠性和正确性。研究为复杂分布式系统中的服务协调提供了理论支持和技术手段，具有重要的学术价值和应用前景。 文档为pdf格式，0.69MB，总共7页。
- 文件大小:
- 706.56 KB
- 下载次数:
- 60
- 基于Alloy的服务组合验证 - 第十九届全国网络与数据通信学术会议.pdf
-
高速下载
| 
