首页> 中文期刊> 《计算机应用》 >基于Spin检测语义Web服务过程模型

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

cqvip:在Web服务组合的实现中,正确高效验证语义Web服务过程的正确性具有重要意义。为了实现语义Web服务过程模型的自动化检测,针对过程模型中的控制流和数据流,阐述了使用Promela语言规范OWL-S过程模型的一般方法。实例和系统原型表明了该方法的可行性。

著录项

来源
《计算机应用》 |2010年第12期|P.215-218|共4页
作者
周瑾; 吴尽昭; 杨建书;
展开▼
作者单位

中国科学院成都计算机应用研究所成都610041;

展开▼
原文格式 PDF
正文语种 chi
中图分类形式语言理论;
关键词
模型检测; Web服务过程模型; Spin; Promela;

相似文献

中文文献
外文文献
专利

1. 基于过程本体的语义Web服务过程模型的研究 [J] . 洪豪1 ,曾一2 ,周波3 . 软件工程与应用 . 2014,第001期
2. 基于时序描述逻辑的Web服务本体语言过程模型语义 [J] . 李明 ,刘士仪 ,年福忠 . 计算机应用 . 2013,第001期
3. 基于petri网的语义Web服务过程模型匹配算法研究 [J] . 赵娟 . 微型电脑应用 . 2009,第006期
4. 基于Petri网的语义Web服务过程模型匹配算法研究 [J] . 赵娟 . 河南科学 . 2009,第002期
5. Web服务集成协调框架中的基于语义锁的死锁检测与解除 [J] . 李立耀 . 漳州师范学院学报（自然科学版） . 2007,第003期
6. 一种基于Petri网的语义Web服务组合动态检测技术 [C] . ZHOUJie ,周洁 ,RENJiang-Chun . 第18届全国信息存储技术学术会议 . 2012
7. 面向语义Web服务的发现机制研究——基于前缀树的语义Web服务发现 [A] . 李健 . 2009

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号