论文部分内容阅读
传统的模型检测技术无法描述系统的认知逻辑特性,而在分布式系统领域,系统和协议的规范适合用多智能体时态认知逻辑来描述.组合Web服务是典型的分布式系统.为了保证组合Web服务运行的正确性,把组合Web服务看成多智能体系统,将其建模成一组相互通信的时间自动机.采用时态认知逻辑模型检测工具Verics对该组合Web服务的可用性、可靠性和时效性的时态认知逻辑特性进行检测.本文以旅游预订系统组合Web服务为例,阐述了上述过程.
However, in the field of distributed systems, the norms of system and protocol are suitable to be described by multi-agent temporal logic.Composite Web Services is a typical distributed system.In order to Guaranteeing the correctness of the combined Web service operation, considering the composite Web service as a multi-agent system and modeling it as a group of timed automatons that communicate with each other.Using Verity to detect the availability of the combined Web service by the temporal cognitive logic model detection tool, , Reliability and timeliness of the temporal cognitive logic characteristics of detection.This paper takes the tourism reservation system combination Web service as an example to illustrate the above process.