论文部分内容阅读
文章从Web服务的编排、验证、部署角度提出了基于Pi演算的Web服务组合过程框架，说明了这个框架中每一步骤涉及的理论和工具应用。并在现有研究的基础上，针对框架中人工参与较多形式化验证环节提出了其向自动化、可视化方向发展的改进方法。
基于Pi演算的Web服务组合过程框架
【摘 要】
：
文章从Web服务的编排、验证、部署角度提出了基于Pi演算的Web服务组合过程框架，说明了这个框架中每一步骤涉及的理论和工具应用。并在现有研究的基础上，针对框架中人工参与较多
【机 构】
：
武汉大学电子信息学院
【出 处】
：
计算机与数字工程
【发表日期】
：
2011年7期
其他文献
棉花“无土栽培”即无土育苗，无钵体移栽，应用生根剂、保叶剂，无土基质等新技术材料进行工厂化育苗，把过去栽不活的棉花变为栽棉如栽菜一样简单。具有商业化、产业化、市场化，前景
进入21世纪,我国为实现第三步战略目标,达到民族复兴,已制定科教兴国战略,按照邓小平科学技术是第一生产力的指导思想,致力于国家创新体系的建设."十五”期间,国家的整体战略
基于分类模型的目标跟踪算法采用分类模型实现对多目标的跟踪。在传统算法中目标跟踪的对象是每个传感器的实时采样,而在分类模型中将传感器采样根据分类规则进行分类。然后
多Agent系统是近年来比较热门的一个研究领域，而Q-learning算法是强化学习算法中比较著名的算法，也是应用最广泛的一种强化学习算法。以单Agent强化学习Qlearning算法为基础，提
随着舰船信息系统网络化应用的不断增加,信息系统对舰船网络的依赖性也在不断增强,这对网络持续提供服务的高可用能力提出了更高的要求。鉴于目前舰船网络系统的可用性不能满
在不同生态点条件下，棉花主要农艺及经济性状之间有明显的差异。纤维品质中以麦克隆值的变异最大，产量性状中以单株成铃的变异最大。通过分析，在不同生态点下建立了纤维品质与籽
农业推广服务的公共物品属性使得单纯依靠政府供给或市场交易机制难以实现利润最大化,必须引进其他的一些替代性制度安排或者对现有的制度安排进行变更,其最优供给主要有以下
在我国加入WTO和建立社会主义市场经济的条件下,产品保证将发挥越来越重要的作用.简述了国外产品保证的发展过程,分析了我国目前产品保证存在的一些问题,提出了提高我国产品
农一师地处塔克拉玛干沙漠边缘。各团都存在相当一部分中低产田。尤其是低产田。所占份额大。严重影响了农业总产量和团场效益的提高。也是团与团、连与连之间生产水平参差不