搜索筛选:
搜索耗时0.0319秒,为你在为你在61,042,058篇论文里面共找到 4 篇相符的论文内容
发布年度:
[学位论文] 作者：解金刚,
来源：国防科学技术大学 年份：2018
...
[期刊论文] 作者：李磊,解金刚,宋辉,,
来源：计算机与数字工程 年份：2009
针对不包含循环的web服务，提出了一种自动组合的形式化方法。由于web服务行为具有异步性的特点，而状态迁移系统能够恰当地描述这种异步通信，因此利用状态迁移系统来完成对非循环......
[期刊论文] 作者：曹国荣,谭庆平,解金刚,吴浩,
来源：2012年全国理论计算机科学学术年会(NCTCS2012) 年份：2012
Web服务适配是面向服务计算领域的重要研究内容.针对现有服务行为建模和适配技术在循环服务行为、数据流建模和状态空间爆炸方面存在的问题,提出一种新的服务行为建模和适配...
[期刊论文] 作者：曹国荣,谭庆平,吴浩,解金刚,
来源：计算机科学与探索 年份：2010
对规范流网中OR-join任务语义及使能判定算法进行了深入研究。首先介绍YAWL语言中与OR-join任务有关的概念，规范流网的有关定义，然后在此基础上定义规范流网关于OR-join任务新...
相关搜索：
