%0 Journal Article
%T Model Checking Web Services Based on Temporal Logic of Knowledge<br>基于时态认知逻辑的Web服务模型检测
%A LUO Xiang-yu
%A CHEN Yan
%A GU Tian-long
%A DONG Rong-sheng
%A <br>骆翔宇
%A 陈艳
%A 古天龙
%A 董荣胜
%J 计算机科学
%D 2009
%I 
%X 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...
%K Model checking
%K Temporal logics of knowledge
%K Multi-agent system
%K Web service<br>模型检测
%K 时态认知逻辑
%K 多智能体系统
%K Web服务
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=613AA7BF4C69C9C170DEBBADD739FC24&yid=DE12191FBD62783C&vid=933658645952ED9F&iid=5D311CA918CA9A03&sid=D59111839E7C8BDF&eid=0B4F496D54044D86&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=12