切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
Web服务编排中信息对齐交互建模方法研究
Web服务编排中信息对齐交互建模方法研究
来源 :计算机工程与应用 | 被引量 : 0次 | 上传用户:chiyulong2000
【摘 要】
:
针对Web服务编排标准WS-CDL中信息对齐交互模式的异步特性,提出了一种基于进程代数的Web服务编排方法(PA4WS),该方法新增WS-CDL工作单元描述算子,通过设置工作单元算子的卫式条
【作 者】
:
黎升洪
【机 构】
:
江西财经大学信息管理学院
【出 处】
:
计算机工程与应用
【发表日期】
:
2010年2期
【关键词】
:
WEB服务
进程代数
Web编排
形式化建模
Web services
process algebra
choreography of Web servic
【基金项目】
:
国家自然科学基金(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)
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
针对Web服务编排标准WS-CDL中信息对齐交互模式的异步特性,提出了一种基于进程代数的Web服务编排方法(PA4WS),该方法新增WS-CDL工作单元描述算子,通过设置工作单元算子的卫式条件和循环条件来描述异步交互,进而完成对信息对齐交互的建模。
其他文献
反思教学初探
反思教学是教师提高自身教学水平的重要途径,它是由意识教学问题,分析教学问题,提出教学假设和验证教学假设四个环节组成,反思教学可以通过教学日记,观摩,教学,行动研究学等方式进行
期刊
反思教学
实验教学假设
教学日记
观摩
中学英语新教材的语法教学刍议
文章从现行中学英语新教材的教学目的和要求出发,结合教材中的具体语言实例,研究了归纳法在语法教学中的作用及理据。
期刊
语法教学
中学英语
新教材
归纳法
定语从句
演绎法
语言教学
语法规则
教师用书
中学英语教学
“3+X”呼唤师范教育革命
“3+X”高考制度的实施,需要高素质的教师这必然对师范教育提出挑战,对此需对其进行改革。改变陈腐的教育观念,建构体现师范特色的深程体系;采取行之有效的教学方法。建立套科的教
期刊
师范教育革命
高考
师范教育
3+X
艺术设计教学中应用现代教育技术的必要性
现代教育技术是艺术设计课堂教学实现优化的手段,它使学生主动接受教师传授的知识,提高课堂空习质量。
期刊
艺术设计
现代教育技术
必要性
art design
modem educational technique
necessity
化学教育的哲学思考与运用
本文试从当今素质教育形势下,高校培养人才的特点出发,提出了化学应与哲学相渗透这一命题,作者通过对哲学思想在化学发展史及化学理论中的渗透作用的论证分析,认为在现行高师化学
期刊
化学教育
高师
素质教育
哲学教育
教学方法
线性秘密共享体制的一般构造
利用单调张成方案讨论了线性秘密共享体制方案的构造,给出了目标向量为e=(100)时任意一个接入结构所对应的单调张成方案的矩阵,并给出了相应的例子。最后利用乘性线性
期刊
线性秘密共享体制
单调张成方案
乘性线性秘密共享体制
linear secret sharing scheme
monotone span program
一种FPGA抗辐射布线算法设计
随着集成密度的增大以及工作电压的降低,基于SRAM的FPGA芯片更加容易受到单粒子翻转的影响。提出了一种基于通用布局布线工具VPR的抗辐射布线算法,通过改变相关布线资源节点的
期刊
SRAM型现场可编程门阵列
单粒子翻转
通用布局布线算法
布线
SRAM-based Field Programmable Gate Arrays(FPGA)
策略性等待下Y型瓶颈的单步拥堵收费模型
本文针对包含至少一个上游瓶颈路段和一个共用的下游瓶颈路段的Y型交通路网,研究了策略性等待单步收费条件下早高峰期间通勤者的出行行为和最优道路拥挤收费方案。基于出行者
期刊
道路拥挤收费
Y型瓶颈
策略性等待
单步收费模型
出发时间选择
road congestion pricing
Y-shaped bottleneck
t
基于状态转移矩阵的变化检测方法
土地利用变化检测一直是遥感影像变化检测研究的重点。在分析已有变化检测方法的基础上提出了一种基于状态转移矩阵(State Transition Matrix,STM)的变化检测方法。以像斑为分析单位,通过样本像斑的选择与更新对变化检测区域进行分析,利用辅助数据生成的地物变化状态转移矩阵对变化检测结果进行修正。实验证明了该方法的有效性。
期刊
变化检测
辅助数据
状态转移矩阵
马尔科夫链
change detection
auxiliary data
state transition matrix
p-集合与它的f-遗传
利用P-集合概念和结构,给出f-遗传信息,信息的f-遗传基因,P-集合的F-遗传、F-遗传变异等概念;提出信息的f-遗传定理,P-集合的F-遗传定理;提出P-集合的F-遗传变异与F-遗传显性
期刊
P-集合
f-遗传基因
f-遗传信息
显性度
关系定理
packet sets
f-genetic gene
f-genetic information
与本文相关的学术论文