搜索筛选:
搜索耗时0.5469秒,为你在为你在102,267,441篇论文里面共找到 6 篇相符的论文内容
发布年度:
[学位论文] 作者：朱稷涵,
来源：苏州大学 年份：2018
...
[期刊论文] 作者：张侃,朱稷涵,张广泉,,
来源：苏州大学学报(工科版) 年份：2010
形式化定义了Web服务组合过程中的5种基本逻辑结构,并采用有色Petri网表示,然后将其抽象为服务的代数运算;在此基础上,提出了经过服务运算后得到的服务的性质及组合服务的构...
[期刊论文] 作者：吴剑峰,朱稷涵,张广泉,
来源：苏州大学学报：自然科学版 年份：2012
如何将现有的Web服务进行组合、实现服务的增值是目前服务计算领域的一个研究热点.针对目前服务组合研究中缺乏对时间属性分析的不足,提出了一种基于时间服务模型(TSM)的Web...
[期刊论文] 作者：狄浩军,戎玫,张广泉,朱稷涵,,
来源：计算机科学 年份：2011
为了验证Web服务组合中的数据属性和时间属性,提出了一种基于数据和时间感知的服务模型DTSM的Web服务组合模型检测方法。首先将BPEL描述的Web服务组合转换为含有数据流信息和...
[期刊论文] 作者：石慧娟,戎玫,张广泉,朱稷涵,,
来源：计算机科学 年份：2011
以web服务组合为研究对象，重点讨论了服务组合中异步通信行为和时间属性的形式化描述和验证。首先，从软件体系结构角度分析web服务组合，采用基于时序逻辑的XYZ／ADL描述web服务的......
[会议论文] 作者：石慧娟,张广泉,戎玫,朱稷涵,
来源：第二届中国云计算与SaaS大会 年份：2011
在实际应用中,Web服务交互是异步的,而服务组合的正确性也会受相关时间和数据约束的影响.基于此,提出了一种异步Web服务组合的分析验证方法:首先,采用基于时序逻辑的XYZ/ADL描述Web服务组合,提出一种可精确刻画时间和数据约束的异步Web服务模型AWSM,并实现了两......
相关搜索：
