语义Web服务自动组合的有色网验证模型(英文)

【摘要】：Web服务组合是面向服务的计算模式下应用构造的主要方式,而现有的组合方法与实施框架缺乏有效的验证机制,从而产生大量无效的组合结果。针对这一问题,提出一种具有正确性分析与验证功能的Web服务自动组合系统框架。其核心是利用有色Petri网对基于OWL-S的服务组合系统进行形式化建模,通过对组合模型的模拟执行及对其动态性能的全面分析,预测组合服务的执行结果,从而提高组合的可靠性。另外,该框架采用智能Agent技术,可有效实现组合过程的自动化。