文档摘要:目前,大多数Web服务合成的语言规范,如BPEL4WS,仅仅提供了规范合成流程的描述机制,缺乏验证合成流程是否合理的分析机制,忽略了合成时的可行性.本文引入ActiveXML(简称AXML),对Web服务进行形式化描述,提出了一个Client/Server(简称C/S)模型,根据这个模型对Web服务合成过程中消息的正确性进行判定,并且对合成时合理性进行判定,保证了Web服务合成的合理性.
作者:赵军富 赵宇红 Author:ZHAOJun-fu ZHAOYu-hong
作者单位:内蒙古科技大学工程训练中心,内蒙古包头,014010内蒙古科技大学信息工程学院,内蒙古包头,014010
刊名:内蒙古科技大学学报
Journal:JournalofInnerMongoliaUniversityofScienceandTechnology
年,卷(期):2014, 33(1)
分类号:TP31.4
关键词:ActiveXML Web服务 合成 合理性
机标分类号:TQ0S27
在线出版日期:2014年5月4日
基金项目:蒙古自然科学基金资助项目基于AXML动态Web服务合成的合理性判定研究[
期刊论文] 内蒙古科技大学学报--2014, 33(1)赵军富 赵宇红目前,大多数Web服务合成的语言规范,如BPEL4WS,仅仅提供了规范合成流程的描述机制,缺乏验证合成流程是否合理的分析机制,忽略了合成时的可行性.本文引入ActiveXML(简称AXML),对Web服务进行形式化描述,提出了一个Client...参考文献和引证文献
参考文献
引证文献
本文读者也读过
相似文献
相关博文
关键词:
|
|