会议专题

给定环境下服务接口交互的强弱相容性及可达性检测

  组合服务的接口交互行为的分析和检测是服务计算领域的一个重要课题。本文以接口自动机为组合服务接口模型,引入组合环境的因素,提出了在给定的组合环境下服务接口交互强弱相容性的概念,并给出了相容性判定的判据表达式。通过遍历组合服务接口模型进行可达性分析,并通过检测判据表达式是否满足来判定服务接口交互的相容性,同时实现了服务与环境交互相容性的判定。

组合服务 接口交互 接口自动机 智能检测

陈波

广西工学院计算机工程系,广西柳州 545006

国内会议

2011年第五届中国可信计算与信息安全学术会议(CTCIS2011)

贵阳

中文

99-105

2011-08-01(万方平台首次上网日期,不代表论文的发表时间)