Automated Detection Method for Web Services Feature Interaction
一种Web服务特征交互自动检测方法

模型检测技术可有效验证Web服务组合的异常情况，如特征交互问题等，但是目前验证过程的自动化程度比较低。为了提高验证的自动化程度，需要将BPEL转化为模型检测工具的输入语言。在分析BPEL语言控制流程的基础上，提出BPEI、活动执行的形式化模型，给出活动执行语义，进而分别提出将BPEL流程自动转换为七元组集合以及将这些七元组转化为MCTK(一种我们开发的符号化模型检测工具)输入语言的算法，这些七元组包含了智能体执行过程中有关状态变化的有效信息。实验表明，提出的算法可以有效验证Web服务中的特征交互问题，而且支持认知逻辑规范的验证。