随着因特网及数据挖掘技术的快速发展,因特网软件的使用者对个人隐私数据的安全给予了越来越多的关注。通过WEB服务或服务组合建立起来的软件不但要重视功能需求,还应该重视隐私数据的安全等非功能需求。BPEL是WEB服务组合广泛使用的业务流程执行语言,BPEL中的WEB服务通过交换消息来实现服务间的协作。本文对BPEL流程中隐私数据的使用和传播是否符合隐私规约进行了分析和验证,主要工作如下：第一,为BPEL建立了CPN模型,并描述了建模方法。该建模方法考虑了流程的行为和数据两个方面,在描述控制流的同时也描述了数据流,分别通过解析BPEL文档和解析WSDL文档实现。第二,使用扩展P3P策略来描述用户的隐私需求,扩展后的隐私策略将隐私数据的使用目的用服务组合内的操作以及访问权限来描述。第三,设计了验证算法,该算法能够从隐私策略的XML文档和服务组合流程CPN模型的XML文档分别提取隐私规约和流程中的可达路径、路径上的操作、操作的隐私输入数据、操作的隐私输出数据,并能够找到BPEL流程中违背隐私规约的路径以及路径上违约的操作。第四,实现了一个服务组合隐私数据分析原型系统,该系统为BPEL流程中隐私数据的安全性提供了保障,并通过实例验证了该系统的功能。