刘士仪

作品数：2被引量：3H指数：1
导出分析报告
供职机构：兰州理工大学计算机与通信学院更多>>
发文主题：形式化WEB服务本体语言描述逻辑语言过程WEB服务组合更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《计算机应用》《软件》更多>>
所获基金：甘肃省自然科学基金甘肃省高等学校基本科研业务费项目更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于时序描述逻辑的Web服务本体语言过程模型语义被引量：2
《计算机应用》2013年第1期266-269,共4页李明 刘士仪 年福忠 
甘肃省自然科学基金资助项目(1014RJZA028;1112RJZA029);甘肃省高等学校基本科研项目(1114ZTC144)
针对Web服务本体语言(OWL-S)过程模型存在动态交互和时序特征表达能力不足的问题,提出一种基于时序描述逻辑的过程模型形式化方法。通过对OWL-S过程模型的原子过程和组合过程语义进行形式化的描述,得到了OWL-S的过程模型的动态语义,最...
关键词：WEB服务本体语言 时序描述逻辑 服务组合 形式化 过程模型 建模 
基于活动图的OWL-S过程模型的图形化建模及实现被引量：1
《软件》2012年第4期101-104,共4页梁磊 刘士仪 李明 
甘肃省自然基金项目(1014RJZA028);甘肃省高等学校基本科研业务费项目(1114ZTC144)
用可扩展标记语言(XML)对Web服务合成的描述,存在着描述的复杂性高和不易于用户理解的问题。本文采用基于模型驱动框架(MDA)方法,利用UML活动图对OWL-S的过程模型进行图形化建模,实现了对Web服务合成的描述,并通过实例验证了该方法的可...
关键词：OWL-S UML 活动图 WEB服务组合 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部