基于时序描述逻辑的Web服务本体语言过程模型语义

doi:10.3724/SP.J.1087.2013.00266

计算机应用 ›› 2013, Vol. 33 ›› Issue (01): 266-269.DOI: 10.3724/SP.J.1087.2013.00266

基于时序描述逻辑的Web服务本体语言过程模型语义

李明,刘士仪,年福忠

兰州理工大学计算机与通信学院，兰州 730050

收稿日期:2012-07-13 修回日期:2012-08-19 出版日期:2013-01-01 发布日期:2013-01-09
通讯作者: 刘士仪
作者简介:李明(1959-)，男，河北辛集人，教授，主要研究方向：智能信息处理、知识工程；刘士仪(1987-)，男，河南郸城人，硕士研究生，主要研究方向：Web服务；年福忠(1974-),男，甘肃古浪人，副教授，博士，主要研究方向：复杂网络及复杂系统建模。
基金资助:
甘肃省自然科学基金资助项目(1014RJZA028, 1112RJZA029);甘肃省高等学校基本科研项目(1114ZTC144)

Semantics of OWL-S process model based on temporal description logic

LI Ming,LIU Shiyi,NIAN Fuzhong

School of Computer and Communication, Lanzhou University of Technology, Lanzhou Gansu 730050, China

Received:2012-07-13 Revised:2012-08-19 Online:2013-01-01 Published:2013-01-09
Contact: LIU Shiyi

摘要/Abstract

摘要： 针对Web服务本体语言(OWL-S)过程模型存在动态交互和时序特征表达能力不足的问题，提出一种基于时序描述逻辑的过程模型形式化方法。通过对OWL-S过程模型的原子过程和组合过程语义进行形式化的描述，得到了OWL-S的过程模型的动态语义，最终实现了对OWL-S过程模型的形式化建模。实例结果验证了所提方法的可行性，为进一步的分析和验证提供了基础。

关键词: Web服务本体语言, 时序描述逻辑, 服务组合, 形式化, 过程模型, 建模

Abstract: Concerning the problem that Ontology Web Language for Services (OWL-S) process model lacks capacity for dynamic interaction and timing characteristics, a formalization method based on temporal description logic for process model was proposed. It described the atomic processes and composite processes of the OWL-S process model, and then the dynamic semantic of OWL-S process model was obtained. Finally, the formal modeling of OWL-S process model was realized. The experimental results show that the proposed method is feasible, and it provides the foundation for the analysis and validation.

Key words: Ontology Web Language for Services (OWL-S), temporal description logic, services composition, formalization, process model, modeling

中图分类号:

TP301

李明刘士仪年福忠. 基于时序描述逻辑的Web服务本体语言过程模型语义[J]. 计算机应用, 2013, 33(01): 266-269.

LI Ming LIU Shiyi NIAN Fuzhong. Semantics of OWL-S process model based on temporal description logic[J]. Journal of Computer Applications, 2013, 33(01): 266-269.

参考文献

［1］鲍爱华,王晓璇,文艾,等.基于扩展CPN的OWL-S过程语义建模及分析方法研究［J］.计算机科学,2011,38(4):203-204.

［2］史忠植,常亮.基于动态描述逻辑的语义Web服务推理［J］.计算机学报,2008,31(9):1599-1611.

［3］WANG H B, ZHOU Q Z, SHI Y Q. Describing and verifying Web service composition using TLA reasoning ［C］// SCC 2010: Proceedings of the 7th IEEE International Conference on Services Computing. Washington, DC: IEEE Computer Society, 2010: 234-241.

［4］沈雅芬,黄宁,彭永义.OWL-S模型转化为重写逻辑模型的方法［J］.计算机应用,2011,31(6):1491-1494.

［5］马炳先,杜玉越.OWL-S服务操作语义的Petri网描述新方法［J］.系统仿真学报,2007,19(S1):69-74.

［6］刘大有,刘思培,齐红.基于SROIQB的语义Web服务建模和组合［J］.通信学报,2010,31(8A):1-9.

［7］MARTIN D, BURSTEIN M, HOBBS J, et al. OWL-S: semantic markup for Web services ［EB/OL］. ［2012-04-15］. http://www.w3.org/submission/owl-s.

［8］The OWL-S Coalition. OWL-S1.2 release. 2004 ［EB/OL］. ［2012-04-15］. http://www.daml.org/services/owl-s/1.2/.

［9］BAADER F, CALVANESE D, McGUINESS D, et al. The description logic handbook: theory, implementation, and applications ［M］. Cambridge: Cambridge University Press, 2003.

［10］LUTZ C, WOLTER F, ZAKHARYASCHEV M. Temporal description logics: a survey ［C］// Proceedings of the 15th International Symposium on Temporal Representation and Reasoning. Washington, DC: IEEE Computer Society, 2008: 3-14.

［11］BAADER F, BAUER A, LIPPMANN M. Runtime verification using a temporal description logic ［C］// Proceedings of the 7th International Conference on Frontiers of Combining Systems, LNCS 5749. Berlin: Springer-Verlag, 2009: 149-164.

［12］HORROCKS I, SATTLER U. A tableau decision procedure for SHOIQ ［J］. Journal of Automated Reasoning, 2007, 39(3): 249-276.

［13］STURM H, WOLTER F. A tableau calculus for temporal description logic: the expanding domain case ［J］. Journal of Logic and Computation, 2002, 12(5): 809-838.

［14］梅婧,林作铨.从ALC到SHOQ(D)：描述逻辑及其Tableau算法［J］.计算机科学,2005,32(3):1-11.

［15］MARRIN D, BURSTEIN M, McDERMOTT D, et al. OWL-S1.2 release ［EB/OL］. ［2012-04-15］. http://www.ai.sri.com/daml/services/owl-s/1.2/CongoProcess.owl.

[1]	罗明宇, 骆晓萌, 朱文敏, 张磊, 范秀敏. 船舶狭小空间虚拟人维修姿态建模技术[J]. 计算机应用, 2021, 41(8): 2466-2472.
[2]	武鹏, 吴尽昭. 基于线性误差断言的推理方法[J]. 计算机应用, 2021, 41(8): 2199-2204.
[3]	赵秋云, 魏乐, 舒红平. 面向制造任务的云制造虚拟车间构造方法[J]. 计算机应用, 2021, 41(7): 2003-2011.
[4]	吴恺凡, 殷新春. 基于随机运算符的轻量级匿名射频识别系统双向认证协议[J]. 计算机应用, 2021, 41(6): 1621-1630.
[5]	包玉龙, 朱雪阳, 张文辉, 孙鹏飞, 赵颖琪. 物联网应用中访问控制智能合约的形式化验证[J]. 计算机应用, 2021, 41(4): 930-938.
[6]	孙鹤立, 徐统, 何亮, 贾晓琳. 融合用户历史行为与社交关系的个性化社交事件推荐方法[J]. 计算机应用, 2021, 41(2): 324-329.
[7]	张凌浩, 王胜, 周辉, 陈一凡, 桂盛霖. 基于MAVLink协议的无人机系统安全通信方案[J]. 计算机应用, 2020, 40(8): 2286-2292.
[8]	曹策俊, 刘桔. 灾害运作管理中应急组织决策建模方法综述[J]. 计算机应用, 2020, 40(7): 2142-2149.
[9]	安鑫, 夏近伟, 杨海娇, 欧阳一鸣, 任福继. 基于离散控制器合成的异构多核系统资源管理方法[J]. 计算机应用, 2020, 40(6): 1698-1706.
[10]	刘惠剑, 刘峻松, 王佳伟, 薛岗. 基于过程划分技术的服务组合拆分方法[J]. 计算机应用, 2020, 40(3): 799-805.
[11]	王舒漫, 李爱萍, 段利国, 付佳, 陈永乐. 基于BTM的物联网服务发现方法[J]. 计算机应用, 2020, 40(2): 459-464.
[12]	毛昕怡, 钮俊, 丁雪儿, 张开乐. 基于模型检测的微服务组合平台QoS验证[J]. 计算机应用, 2020, 40(11): 3267-3272.
[13]	秦楠, 马亮, 黄锐. 基于系统理论过程分析的软件安全性需求分析与验证方法[J]. 计算机应用, 2020, 40(11): 3261-3266.
[14]	刘伟荣, 真虹. 基于区块链原理的集装箱共享模式下集装箱运输流程建模与仿真[J]. 计算机应用, 2019, 39(7): 2141-2147.
[15]	苏振宇, 宋桂香, 刘雁鸣, 赵媛. 服务器管理控制系统威胁建模与应用[J]. 计算机应用, 2019, 39(7): 1991-1996.

基于时序描述逻辑的Web服务本体语言过程模型语义

Semantics of OWL-S process model based on temporal description logic

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics