一种基于DFA的服务行为模型及其应用

DFA-based Model and Application of Web Services Behavior

本文对Web服务行为描述进行深入分析,在构造web服务自动集成结构基础上,对原有限自动机定义进行语义扩展和候选集扩展,达到准确地描述Web服务间的执行步骤、行为间简单逻辑运算关系和代价选择运算关系目的。完成服务提供商提供服务流与用户期望在该结构下的自动匹配,为web服务自动集成提供了理论依据。

This paper builds the framework of this system which could be used to integrate the web services into one application. It extends the semantics of the deterministic finite state automaton and its state set. It would provide the accurate description of the process and interaction of the web service. It would be more useful to the auto match between the flow of web services and the exception of customers. It is the basic theories about the auto integration of the web service.