论文部分内容阅读
针对Web服务编排标准WS-CDL中信息对齐交互模式的异步特性,提出了一种基于进程代数的Web服务编排方法（PA4WS）,该方法新增WS-CDL工作单元描述算子,通过设置工作单元算子的卫式条件和循环条件来描述异步交互,进而完成对信息对齐交互的建模。
Web服务编排中信息对齐交互建模方法研究
【摘 要】
：
针对Web服务编排标准WS-CDL中信息对齐交互模式的异步特性,提出了一种基于进程代数的Web服务编排方法（PA4WS）,该方法新增WS-CDL工作单元描述算子,通过设置工作单元算子的卫式条
【机 构】
：
江西财经大学信息管理学院
【出 处】
：
计算机工程与应用
【发表日期】
：
2010年2期
【基金项目】
：
国家自然科学基金（the National Natural Science Foundstion of China under Grant No.60970007） 国家高技术研究发展计划（863）（the National High-Tech Research and Development Plan of China under Grant No.2007AA01Z144）
其他文献
现代教育技术是艺术设计课堂教学实现优化的手段，它使学生主动接受教师传授的知识，提高课堂空习质量。
利用单调张成方案讨论了线性秘密共享体制方案的构造,给出了目标向量为e=（100）时任意一个接入结构所对应的单调张成方案的矩阵,并给出了相应的例子。最后利用乘性线性
随着集成密度的增大以及工作电压的降低，基于SRAM的FPGA芯片更加容易受到单粒子翻转的影响。提出了一种基于通用布局布线工具VPR的抗辐射布线算法，通过改变相关布线资源节点的
本文针对包含至少一个上游瓶颈路段和一个共用的下游瓶颈路段的Y型交通路网，研究了策略性等待单步收费条件下早高峰期间通勤者的出行行为和最优道路拥挤收费方案。基于出行者
土地利用变化检测一直是遥感影像变化检测研究的重点。在分析已有变化检测方法的基础上提出了一种基于状态转移矩阵(State Transition Matrix,STM)的变化检测方法。以像斑为分析单位,通过样本像斑的选择与更新对变化检测区域进行分析,利用辅助数据生成的地物变化状态转移矩阵对变化检测结果进行修正。实验证明了该方法的有效性。
利用P-集合概念和结构,给出f-遗传信息,信息的f-遗传基因,P-集合的F-遗传、F-遗传变异等概念;提出信息的f-遗传定理,P-集合的F-遗传定理;提出P-集合的F-遗传变异与F-遗传显性