会议论文《WS—CDL模型到Pi-演算的形式化描述方法研究》提出了一种将Web服务协作流程（WS-CDL）转化为Pi-演算的建模方法。该研究旨在通过Pi-演算的理论基础，实现对WS-CDL模型的精确形式化分析，提升服务组合的正确性与可靠性。论文在第五届中国软件工程大会上发表，为服务计算领域提供了新的形式化验证思路。
文档为pdf格式，0.2MB，总共3页。
举报
