内蒙古科技大学学报
內矇古科技大學學報
내몽고과기대학학보
JOURNAL OF INNER MONGOLIA UNIVERSITY OF SCIENCE AND TECHNOLOGY
2014年
1期
43-47
,共5页
Active XML%Web服务%合成%合理性
Active XML%Web服務%閤成%閤理性
Active XML%Web복무%합성%합이성
目前,大多数Web服务合成的语言规范,如BPEL4WS,仅仅提供了规范合成流程的描述机制,缺乏验证合成流程是否合理的分析机制,忽略了合成时的可行性.本文引入Active XML(简称AXML),对Web服务进行形式化描述,提出了一个Client/Server(简称C/S)模型,根据这个模型对Web服务合成过程中消息的正确性进行判定,并且对合成时合理性进行判定,保证了Web服务合成的合理性.
目前,大多數Web服務閤成的語言規範,如BPEL4WS,僅僅提供瞭規範閤成流程的描述機製,缺乏驗證閤成流程是否閤理的分析機製,忽略瞭閤成時的可行性.本文引入Active XML(簡稱AXML),對Web服務進行形式化描述,提齣瞭一箇Client/Server(簡稱C/S)模型,根據這箇模型對Web服務閤成過程中消息的正確性進行判定,併且對閤成時閤理性進行判定,保證瞭Web服務閤成的閤理性.
목전,대다수Web복무합성적어언규범,여BPEL4WS,부부제공료규범합성류정적묘술궤제,결핍험증합성류정시부합리적분석궤제,홀략료합성시적가행성.본문인입Active XML(간칭AXML),대Web복무진행형식화묘술,제출료일개Client/Server(간칭C/S)모형,근거저개모형대Web복무합성과정중소식적정학성진행판정,병차대합성시합이성진행판정,보증료Web복무합성적합이성.