机构

• 软件研究所 [9]
• 计算技术研究所 [6]
• 遥感与数字地球研究所 [1]

采集方式

• OAI收割 [16]

内容类型

• 期刊论文 [13]
• 学位论文 [3]

发表日期

• 2015 [1]
• 2014 [1]
• 2013 [1]
• 2012 [1]
• 2011 [2]
• 2010 [3]
• 更多

学科主题

• 计算机应用 [1]

筛选

浏览/检索结果: 共16条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 基于动态描述逻辑的Web自动化服务组合 期刊论文  OAI收割 高技术通讯, 2015, 卷号: 0.0, 期号: 2.0, 页码: 118 作者:  张建华;  田东平;  岳金朋;  张博   |  收藏  |  浏览/下载：15/0  |  提交时间：2023/12/04 Web服务组合  语义Web  描述逻辑  动态描述逻辑（DDL）   基于语义的Web服务组合技术研究 学位论文  OAI收割 硕士, 北京: 中国科学院大学, 2014 林玲   |  收藏  |  浏览/下载：16/0  |  提交时间：2014/05/29 Web服务  语义  QoS  工作流  服务组合   基于动态描述逻辑的语义Web服务组合 期刊论文  OAI收割 计算机学报, 2013, 卷号: 36.0, 期号: 012, 页码: 2468 作者:  常亮;  刘进;  古天龙;  史忠植   |  收藏  |  浏览/下载：34/0  |  提交时间：2023/12/04 语义Web服务  服务组合  动态描述逻辑  动作理论  规划问题   基于扩展自动机的服务组合静态与动态验证方法 期刊论文  OAI收割 通信学报, 2012, 期号: S1, 页码: 1-8 张广泉; 狄浩军; 石慧娟; 晏荣杰; 朱雪阳   |  收藏  |  浏览/下载：11/0  |  提交时间：2013/09/17 Web服务组合  定量属性  有限自动机  CTL  UPPAAL   基于XYZ/ADL的异步Web服务组合描述与验证 期刊论文  OAI收割 计算机科学, 2011, 卷号: 38, 期号: 12, 页码: 139-143 石慧娟; 戎玫; 张广泉; 朱稷涵   |  收藏  |  浏览/下载：13/0  |  提交时间：2013/10/08 Web服务组合  XYZ/ADL  异步通信  时间属性  模型检测   数据和时间感知的Web服务组合模型检测 期刊论文  OAI收割 计算机科学, 2011, 卷号: 38, 期号: 11, 页码: 123-126,136 狄浩军; 戎玫; 张广泉; 朱稷涵   |  收藏  |  浏览/下载：15/0  |  提交时间：2013/10/08 Web服务组合  数据属性  时间属性  BPEL  模型检测   基于有色Petri网的Web服务组合建模与分析 期刊论文  OAI收割 苏州大学学报(工科版), 2010, 卷号: 30, 期号: 4, 页码: 14-19 张侃; 朱稷涵; 张广泉 收藏  |  浏览/下载：12/0  |  提交时间：2011/05/23 有色Petri网  Web服务组合  建模  可达性分析   一种基于UPPAAL的Web服务组合模型检测方法 期刊论文  OAI收割 计算机科学, 2010, 卷号: 37, 期号: 11, 页码: 122-125 何亚丽; 戎玫; 张广泉 收藏  |  浏览/下载：237/44  |  提交时间：2011/05/23 Web服务组合  模型检测  XYZ/ADL  XYZ/RE  UPPAAL   基于BPEL的Web服务快速组合框架 期刊论文  OAI收割 计算机工程, 2010, 期号: 7, 页码: 262-264 崔福东; 乔彦友; 常原飞 收藏  |  浏览/下载：9/0  |  提交时间：2015/01/05 业务流程执行语言  Web服务  服务组合  有向无环图  工作流   基于BPEL的Web Service组合的数据流分析测试方法 期刊论文  OAI收割 软件学报, 2009, 期号: 8, 页码: 2102-2112 董文莉; 胡建华   |  收藏  |  浏览/下载：11/0  |  提交时间：2011/03/18 Web服务,业务流程执行语言,Web服务组合,软件测试,数据流分析