基于AXML的动态Web服务合成的合理性判定研究
赵军富1，赵宇红2
（1 内蒙古科技大学 工程训练中心，内蒙古 包头 014010;2内蒙古科技大学信息工程学院，内蒙古 包头 014010）
关键词：Active XML；Web服务；合成；合理性
中图分类号：TP31.4文献标识码：A
摘要：目前，大多数Web服务合成的语言规范，如BPEL4WS，仅仅提供了规范合成流程的描述机制，缺乏验证合成流程是否合理的分析机制，忽略了合成时的可行性。本文引入Active XML（简称AXML），对Web服务进行形式化描述，提出了一个Client/Server（简称C/S）模型，根据这个模型对Web服务合成过程中消息的正确性进行判定，并且对合成时合理性进行判定，保证了Web服务合成的合理性。
The Research on Rationality Decision of Dynamic Web Services SynthesisBased on AXML
Zhao Junfu1,Zhao Yuhong2
(1. Engineering&Training Center ,Inner Mongolia University of Science and Technology, Baotou, InnerMongolia014010;2.Information Engineering School,Inner Mongolia University of Science and Technology, Baotou, InnerMongolia014010)
keywords：Active XML；Web Services；Synthesis；Rationality
Abstract：At present, mostlanguage specification of web services synthesis,such as BPEL4WS,only provides description mechanism of the standard synthesis flow, but itlacks analysis mechanism that verifies whether the synthesis process is reasonable andignores the synthesis feasibility. Active XML（AXML，for short）was introduced, and the formalization description about web services was carried out. A Client/Server（C/S，for short）model was proposed,according to which the message correctness of Web services composition process can be judged. And the rationalityof synthesis judgment ensures the rationality of Web services composition .