一个基于有色Petri网的自动Web服务合成模型
A Colored Petri Net-based Model for Automated Web Service Composition作者机构:华中科技大学计算机科学与技术学院
出 版 物:《计算机科学》 (Computer Science)
年 卷 期:2008年第35卷第6期
页 面:50-54页
核心收录:
学科分类:080802[工学-电力系统及其自动化] 0808[工学-电气工程] 08[工学] 081201[工学-计算机系统结构] 0812[工学-计算机科学与技术(可授工学、理学学位)]
主 题:Web服务 有色Petri网 自动Web服务合成 模型
摘 要:提出了一个基于有色Petri网的自动Web服务合成模型,为Web服务的合成提供语义支持,提高合成服务的可靠性和可维护性。该模型将服务的合成结构分成顺序、并发、选择、循环、置换5种合成结构。给出了Web服务基于有色Petri网的形式化定义。定义了一个封闭的Web服务合成算法,通过算法获得的框架能够对Web服务进行说明性的合成。定义了一个自动Web服务合成算法,通过该算法,可以对Web服务进行有人工指导的半自动合成和无人工指导的自动合成。