论文部分内容阅读
针对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）
其他文献
反思教学是教师提高自身教学水平的重要途径，它是由意识教学问题，分析教学问题，提出教学假设和验证教学假设四个环节组成，反思教学可以通过教学日记，观摩，教学，行动研究学等方式进行
文章从现行中学英语新教材的教学目的和要求出发,结合教材中的具体语言实例,研究了归纳法在语法教学中的作用及理据。
“3＋X”高考制度的实施，需要高素质的教师这必然对师范教育提出挑战，对此需对其进行改革。改变陈腐的教育观念，建构体现师范特色的深程体系；采取行之有效的教学方法。建立套科的教
现代教育技术是艺术设计课堂教学实现优化的手段，它使学生主动接受教师传授的知识，提高课堂空习质量。
本文试从当今素质教育形势下，高校培养人才的特点出发，提出了化学应与哲学相渗透这一命题，作者通过对哲学思想在化学发展史及化学理论中的渗透作用的论证分析，认为在现行高师化学
利用单调张成方案讨论了线性秘密共享体制方案的构造,给出了目标向量为e=（100）时任意一个接入结构所对应的单调张成方案的矩阵,并给出了相应的例子。最后利用乘性线性
随着集成密度的增大以及工作电压的降低，基于SRAM的FPGA芯片更加容易受到单粒子翻转的影响。提出了一种基于通用布局布线工具VPR的抗辐射布线算法，通过改变相关布线资源节点的
本文针对包含至少一个上游瓶颈路段和一个共用的下游瓶颈路段的Y型交通路网，研究了策略性等待单步收费条件下早高峰期间通勤者的出行行为和最优道路拥挤收费方案。基于出行者
土地利用变化检测一直是遥感影像变化检测研究的重点。在分析已有变化检测方法的基础上提出了一种基于状态转移矩阵(State Transition Matrix,STM)的变化检测方法。以像斑为分析单位,通过样本像斑的选择与更新对变化检测区域进行分析,利用辅助数据生成的地物变化状态转移矩阵对变化检测结果进行修正。实验证明了该方法的有效性。
利用P-集合概念和结构,给出f-遗传信息,信息的f-遗传基因,P-集合的F-遗传、F-遗传变异等概念;提出信息的f-遗传定理,P-集合的F-遗传定理;提出P-集合的F-遗传变异与F-遗传显性