中国科技信息
中國科技信息
중국과기신식
CHINA SCIENCE AND TECHNOLOGY INFORMATION
2007年
6期
130-132,135
,共4页
异构Web服务组合%BPEL4WS%WSCI%π-演算%适配器
異構Web服務組閤%BPEL4WS%WSCI%π-縯算%適配器
이구Web복무조합%BPEL4WS%WSCI%π-연산%괄배기
采用针对Web服务组合协议的扩充π-演算,形式化地描述了Wab服务流程的行为,在抽象的形式化层次上描述了由不同Web服务组合协议构成的流程之间互操作的中间适配规范,适配器生成规范和由规范制导的适配器生成方法.通过适配器生成过程的形式化描述可以自动生成该适配器.通过实例具体实现了BPEL4WS和WSCI互操作的适配器形式化描述,以此说明可以在抽象层次上实现不同Web服务组合协议描述的服务流程之问的互操作.
採用針對Web服務組閤協議的擴充π-縯算,形式化地描述瞭Wab服務流程的行為,在抽象的形式化層次上描述瞭由不同Web服務組閤協議構成的流程之間互操作的中間適配規範,適配器生成規範和由規範製導的適配器生成方法.通過適配器生成過程的形式化描述可以自動生成該適配器.通過實例具體實現瞭BPEL4WS和WSCI互操作的適配器形式化描述,以此說明可以在抽象層次上實現不同Web服務組閤協議描述的服務流程之問的互操作.
채용침대Web복무조합협의적확충π-연산,형식화지묘술료Wab복무류정적행위,재추상적형식화층차상묘술료유불동Web복무조합협의구성적류정지간호조작적중간괄배규범,괄배기생성규범화유규범제도적괄배기생성방법.통과괄배기생성과정적형식화묘술가이자동생성해괄배기.통과실례구체실현료BPEL4WS화WSCI호조작적괄배기형식화묘술,이차설명가이재추상층차상실현불동Web복무조합협의묘술적복무류정지문적호조작.
