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

发布时间：2018-02-25 06:44

  本文关键词： Web服务本体语言 时序描述逻辑 服务组合 形式化 过程模型 建模　出处：《计算机应用》2013年01期 　论文类型：期刊论文

【摘要】：针对Web服务本体语言(OWL-S)过程模型存在动态交互和时序特征表达能力不足的问题,提出一种基于时序描述逻辑的过程模型形式化方法。通过对OWL-S过程模型的原子过程和组合过程语义进行形式化的描述,得到了OWL-S的过程模型的动态语义,最终实现了对OWL-S过程模型的形式化建模。实例结果验证了所提方法的可行性,为进一步的分析和验证提供了基础。
[Abstract]:In order to solve the problem of dynamic interaction and insufficient temporal feature expression in the process model of Web Services Ontology language (OWL-S). A formal method of process model based on temporal description logic is proposed. By formalizing the atomic process and combinatorial process semantics of OWL-S process model, the dynamic semantics of OWL-S process model are obtained. Finally, the formal modeling of OWL-S process model is realized, and the result of the example verifies the feasibility of the proposed method, which provides a basis for further analysis and verification.
【作者单位】： 兰州理工大学计算机与通信学院;
【基金】：甘肃省自然科学基金资助项目(1014RJZA028,1112RJZA029) 甘肃省高等学校基本科研项目(1114ZTC144)
【分类号】：TP391.1;TP393.09

【共引文献】

相关博士学位论文 前1条

1 欧灵;基于文本分类的本体匹配及其应用研究[D];重庆大学;2007年

相关硕士学位论文 前5条

1 李红英;基于语义的数据共享技术研究[D];西北工业大学;2007年

2 周鑫;基于语义Web技术的自动排课系统研究[D];西北大学;2007年

3 王洪;汽车制造业PLM系统信息集成研究[D];中南大学;2006年

4 汪智勇;本体查询与推理研究及其实现[D];中南大学;2007年

5 邬翠兰;语义WEB服务发现技术及应用研究[D];浙江师范大学;2007年

【二级参考文献】

相关期刊论文 前4条

1 史忠植,董明楷,蒋运承,张海俊;语义Web的逻辑基础[J];中国科学E辑;2004年10期

2 尹剑飞;王学斌;;模型转换的重写逻辑构架研究[J];计算机工程与应用;2006年02期

3 蒋运承;史忠植;;OWL-S的形式语义[J];计算机科学;2005年07期

4 李曼,王大治,杜小勇,王珊;基于领域本体的Web服务动态组合[J];计算机学报;2005年04期

【相似文献】

相关硕士学位论文 前1条

1 凌志辉;用户行为描述及跟踪机制的研究与实现[D];东南大学;2005年

，

本文编号：1533417