基于Spin检测语义Web服务过程模型  

Model checking of semantic Web service process based on Spin

作　　者：周瑾[1] 吴尽昭[1] 杨建书[1] 

机构地区：[1]中国科学院成都计算机应用研究所,成都610041

出　　处：《计算机应用》2010年第12期215-218,共4页journal of Computer Applications

基　　金：国家863计划项目(2007AA01Z143);国家973计划项目(2007CB310803);国家自然科学基金资助项目(6087311860973147);北京交通大学科学基金资助项目(2007RC110)

摘　　要：在Web服务组合的实现中,正确高效验证语义Web服务过程的正确性具有重要意义。为了实现语义Web服务过程模型的自动化检测,针对过程模型中的控制流和数据流,阐述了使用Promela语言规范OWL-S过程模型的一般方法。实例和系统原型表明了该方法的可行性。In the implementation of Web services composition,the accurate and efficient verification of semantic Web services process plays an important role.In order to implement automatic verification of semantic Web service process model,a method of translating OWL-S process model to Promela specification was proposed,which aimed at the control flow and data flow of process models.The case study and system prototype framework show the feasibility.

关 键 词：模型检测 Web服务过程模型 SPIN PROMELA 

分 类 号：TP301.2[自动化与计算机技术—计算机系统结构]