面向应用的Web服务组合设计和验证框架

摘要：

针对Web服务组合设计规范缺乏形式化的语义和验证方法的问题,提出了一个自顶向下的Web服务设计和验证的框架一iFrame4WS.在iFrame4WS中,将Web服务组合的设计方案划分为描述层、抽象层和执行层,并通过抽象层的形式化模型和形式化验证来检查Web服务组合的正确性.

关键词：Web服务、Web服务组合、形式化模型

所属期刊栏目：44

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金the National Natural Science Foundation of China under Grant 60403027,60773191;国家高技术研究发展计划863the National High-Tech Research and Development Plan of China under Grant 2007AA01Z403

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

页数：共5页

页码：132-136