一个基于有色petri网的自动web服务合成模型

提出了一个基于有色petri网的自动web服务合成模型，为web服务的合成提供语义支持，提高合成服务的可靠性和可维护性。该模型将服务的合成结构分成顺序、并发、选择、循环、置换5种合成结构。给出了web服务基于有色petri网的形式化定义。定义了一个封闭的web服务合成算法，通过算法获得的框架能够对web服务进行说明性的合成。定义了一个自动web服务合成算法，通过该算法，可以对web服务进行有人工指导的半自动合成和无人工指导的自动合成。