基于扩展颜色Petri网的Web服务组合建模研究-计算机系统结构专业论文.docxVIP

摘要Web服务按术邑趋成熟，提供了一种平台独立、自描述、位鼍透明的软佟模块。利 摘要 Web服务按术邑趋成熟，提供了一种平台独立、自描述、位鼍透明的软佟模块。利 耀Web服务组合技术，能够快速、灵活的满足复杂多变的业务器求。当前Web服务缀 会的建模、分析验证、仿真运行等方蕊的研究还不完善，本文针对这姥不足展开研究， 具体研究成果如下； 1．提出了一个Web服务组合模型WSC ECPN。该模型借鉴了模型驱动体系结构的思 想，基于形式化模型一扩展颜色Petri网，能对Web服务组合进行描述、分祈验证及 仿真运行，虽模型独立于具体Web服务组合描述语言；模型将Web服务组合的描述 细化到Web服务操作，能同时描述控制流和数据滤，支持层次化Web服务缝会摧述， 并以图形方式表示Web服务缀合，精确、全面、清晰、赢观的刻画了Web服务组会。 2．首先给出了WSC ECPN模型语法正确性检测算法，然后从四个层面对WSC—ECPN 模怼的厩确性进行了分析检测：控制流正确性：给出了WSC ECPN模型控制流正确 性的形式化定义及检测算法；数据依赖正确性：分析了数据依赖错误产生的原因， 并给出了检测数据依赖错误的算法；控锏依赖与数据依赖冲突：分祈了冲突产生的 原因势给出了j孛突检测算法；Web服务操作闰数据浃射正确性：给赉了数据映射正 确性定义并绘出了相应检测算法。通过以上算法能鸯效检测