会议论文《一种基于发生序和锁集的BPEL数据竞争静态检测方法》提出了一种有效的数据竞争检测机制。该方法通过分析BPEL流程中的发生序和锁集，实现对数据竞争的静态检测。研究旨在提高Web服务组合的可靠性与一致性，为复杂业务流程提供安全保障。本文在第七届全国Web信息系统及其应用学术会议等多学科会议上发表，展示了其在电子政务与语义Web领域的应用价值。
文档为pdf格式，0.22MB，总共4页。
举报
