【摘 要】
：
如何将现有的Web服务进行组合、实现服务的增值是目前服务计算领域的一个研究热点.针对目前服务组合研究中缺乏对时间属性分析的不足,提出了一种基于时间服务模型(TSM)的Web
【基金项目】
：
苏州大学"莙政基金"项目，苏州大学国家级大学生创新性实验计划项目
论文部分内容阅读
如何将现有的Web服务进行组合、实现服务的增值是目前服务计算领域的一个研究热点.针对目前服务组合研究中缺乏对时间属性分析的不足,提出了一种基于时间服务模型(TSM)的Web服务组合模型检测方法.该方法首先将BPEL描述的Web服务行为文档建模为TSM,并转化为UPPAAL规约,然后用分支时序逻辑CTL表示服务组合的性质,最后采用模型检测工具UPPAAL验证服务组合的性质,并结合实例分析了该方法的可行性.
其他文献
报道了新显色剂１－（２，４－二硝基苯）－３－（２－噻唑）－三氮烯的合成及其与Ｈｇ（Ⅱ）的显色反应。实验表明，在非离子表面活性剂Ｔｒｉｔｏｎ Ｘ－１００存在下，于ｐＨ１１．７５的三酸缓冲介质中，试剂与Ｈｇ（Ⅱ）能生成蓝绿色配合物，最大吸收波长位于６９０ｎｍ处，试剂的
近年来,辖区各级人民银行结合自身实际,不断加大货币政策贯彻执行力度,疏通货币政策传导渠道,切实强化金融监管,提高防范化解金融风险的能力。7月份召开的中国人民银行济南分
近年来,现金投放趋缓的幅度不断增大,对经济产生了较大的影响,本文以泰安市为例,对近年来现金回笼变化情况进行了实证分析,并提出了改善和加强现金管理的思路.
本文利用准液膜法与火焰原子吸收法相结合测定锰，方法的精密度为１．９％，回收率为９８．９％，可富集测定ｎｇ／ｇ级的锰。本方法已用于人发，湖水和茶中锰的分析。
研究了在准静态极限下,各向异性介电核-金属壳层这种特殊核-壳结构的表面增强拉曼散射的特性.首先,基于第一性原理,我们推导出这个带壳纳米球颗粒的多重极化率,然后运用Gerst
研究发现Ｌａ＾３＋（Ｌｕ＾３＋，Ｙ＾３＋）对Ｔｂ＾３＋均苯四甲酸（ＢＴＣＡ）体系具有强烈的共发荧光效应，在最佳条件下，共发光离子Ｌａ＾３＋，Ｌｕ＾３＋，Ｙ＾３＋可分别使Ｔｂ－ＢＴＣＡ体系的荧光增强３１２，１３３和１００倍，介绍了Ｔｂ－Ｌａ（Ｌｕ，Ｙ）－ＢＴＣＡ共发荧光体系的荧光特点，形成条件和影响因素，利用Ｌａ＾３＋（Ｌｕ＾３＋，Ｙ＾３＋）的增敏效应，测定了
研究斜积系统F：X × Y→X × Y,F（x,y） = （f（x）,g（x,y））上连续函数φ（x，y）纤维方向的增长率．我们证明了如果μ是f-遍历测度，则∧（μ）=max ∪∈uμ（F） ∫X×Y φd∪ 及 λ（μ）=lim n→