论文部分内容阅读
基于BPEL(Business Process Execution Language)的服务组合是Web服务的发展方向。基于BPEL的一致性声明文稿是基于BPEL的服务组合系统一致性测试内容和构造基于BPEL的服务组合系统测试用例的主要依据。基于一致性测试理论和BPEL/WSDL规范分析,研究基于BPEL/WSDL的各成分结构关系,提出基于BPEL的一致性声明文稿。该文稿包含10类子文稿:流程支持文稿、合作伙伴链接支持文稿、服务组件支持文稿、变量支持文稿、相关集支持文稿、消息支持文稿、各种处理支持文