论文部分内容阅读
Web服务组合是一个复杂的、易错的过程。为了保证其正确性，本文采用CCS对服务组合系统进行形式化描述和建模，通过对服务组合代数的定义建立其对应的CCS结构。根据相应的组合算子，建立服务组合到CCS的转换机制。利用自动推理机CWB对模型进行分析和验证。使用该方法可以预先检验组合系统的各项动态性能，探测死锁等错误，从而提高组合的可靠性，避免执行失败。