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

摘要：

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

关键词：Web服务、有色Petri网、自动Web服务合成、模型

所属期刊栏目：35

分类号：TP3;TH1

资助基金：国家自然科学基金60403027

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

页数：共5页

页码：50-54