【摘 要】
：
形式化方法对于建模和验证软件系统是一种有效的方法,所以对Web服务的形式化描述和验证是一个重要的研究方向.对于Web服务及其组合来说,保证其组合正确性以实现其服务增值是
论文部分内容阅读
形式化方法对于建模和验证软件系统是一种有效的方法,所以对Web服务的形式化描述和验证是一个重要的研究方向.对于Web服务及其组合来说,保证其组合正确性以实现其服务增值是十分必要的.Pi-演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模.该文基于Pi-演算对Web服务及其组合进行形式化描述和建模.文中说明了Pi-演算与以前形式化方法的不同之处,分析了Pi-演算应用于Web服务组合需要解决的问题.讨论了Pi-演算与Web服务协议栈的对应关系,说明了利用Pi-演算建立Web服务组合模型的规则,指出了
其他文献
该文研究了求解可满足问题的调查传播算法.该算法利用合取范式因子图进行调查消息的迭代,并根据每一次迭代的收敛情况对部分布尔变量赋值以对问题进行简化,最后把简化的问题
引入半马尔可夫模型描述网络流量特性,通过忙阈值和闲阈值的设定将网络流量划分为四种状态:忙、空闲、上升和下降,研究各状态下的网络流量特性及各状态间的相互转换关系.通过
1国内产量及作物天气分析1．1丰产预期基本兑现根据国家粮油信息中心对全国玉米生产情况的最新预测．2013年玉米或将增产4．56％。据预测，本年度玉米播种面积为35690千ha．同比增加1．88％：玉
某些应用程序不能通过数组内元素的重排优化获得性能提高.针对这一问题,该文扩展了数组之间数据重组优化方法,着重分析了将多个数组的数据按一定方式进行融合来提高局部性和
为检测益倍健奶牛专用对产奶量和奶指标影响，本试验选择胎次、年龄、泌乳天数及生理性状相近的荷斯坦奶牛144头．其中试验组72头，对照组72头。对照组饲喂基础日粮．试验组精料中添
7月份以来．大连豆粕市场曾随着美豆天气炒作的不断预热而一度发力．M1401期货合约最高触及3328元，t。正当市场看涨预期高涨之际，天气题材却慢慢冷却．CBOT大豆盘面急速下挫再一次给
该文提出了一种新的基于多层染色体基因表达式编程的遗传进化算法M-GEP,新算法引入了多层染色体的概念,利用染色体构建的层次调用模型对个体进行表达,在解决实际函数发现、电
随着Web环境下服务数量的快速增长,如何自动地根据服务请求,进行服务的动态组合成为一个迫切需要解决的问题.该文提出了一种基于领域本体的服务动态组合方法,该方法利用领域
2013年上半年氨基酸市场整体表现弱势,几乎所有氨基酸产品均呈下滑走势,其中赖氨酸跌势尤为严峻。5-6月赖氨酸市场价格接近甚至跌破历史低位,饲料厂采购积极性差,赖氨酸市场