基于AXML动态Web服务合成的合理性判定研究

摘要：

目前,大多数Web服务合成的语言规范,如BPEL4WS,仅仅提供了规范合成流程的描述机制,缺乏验证合成流程是否合理的分析机制,忽略了合成时的可行性.本文引入Active XML(简称AXML),对Web服务进行形式化描述,提出了一个Client/Server(简称C/S)模型,根据这个模型对Web服务合成过程中消息的正确性进行判定,并且对合成时合理性进行判定,保证了Web服务合成的合理性.

关键词：Active XML、Web服务、合成、合理性

所属期刊栏目：33

分类号：TP31.4(计算技术、计算机技术)

资助基金：蒙古自然科学基金资助项目2011MS0916

在线出版日期：2014-05-04（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：43-47