Web服务过程建模及其逻辑正确性验证

摘要：

为研究Web服务过程的逻辑正确性及其形式化验证方法,提出一种基于着色Petri网的Web服务过程模型,给出了逻辑正确性的形式化定义.为验证其正确性,提出通信可达树的概念,借助通信可达树的某些性质来验证服务的逻辑正确性,并给出了正确性判定定理.另外,为了简化组合服务逻辑正确性的验证过程,阐述了组合服务与其子服务之间的内在关系.最后,通过一个应用实例验证了方法的可用性.

关键词：Web服务、着色Petri网、服务组合、正确性验证

所属期刊栏目：14

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

资助基金：国家自然科学基金资助项目60674080;国家863计划资助项目2006AA04Z151,2006AA04Z166

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

页数：共8页

页码：675-682