论文部分内容阅读
为保证基于OWL-S的Web服务组合的正确性和可靠性，验证组合服务的交互协议．采用一种三层体系结构思想，即以OWLS来组合服务，以GA模型为中间模型，以Promela模型为验证模型．设计和实现了服务组合模型到GA模型的转化，并将GA模型转化为Promela模型，最后利用SPIN工具完成验证。由于采用了中间模型．该方法具有极好的灵活性和可扩展性，并且较好地解决了Web服务的特征给模型验证带来挑战的问题。