Model Checking Web Services Based on Temporal Logic of Knowledge
基于时态认知逻辑的Web服务模型检测

Model checking has being used mainly to check if a system satisfies the specifications expressed in temporal logic.People pay little attention to the model checking problem for multi-agent logics of knowledge.However,in the distributed systems community,the desirable specifications of systems and protocols have been expressed widely in logics of knowledge.A Web service is an abstract notion that must be implemented by a concrete agent.The agent is the concrete piece of software or hardware that sends and re...