| 给定环境下服务接口交互的强弱相容性及可达性检测 |
| |
| 引用本文： | 陈波.给定环境下服务接口交互的强弱相容性及可达性检测[J].山东大学学报(理学版),2011,46(9):99-105. |
| |
| 作者姓名： | 陈波 |
| |
| 作者单位： | 广西工学院计算机工程系,广西柳州,545006 |
| |
| 基金项目： | 广西科学研究与技术开发计划项目(桂科攻0992006-13); 广西工学院博士基金项目(院科博11Z05) |
| |
| 摘 要： | 组合服务的接口交互行为的分析和检测是服务计算领域的一个重要课题。本文以接口自动机为组合服务接口模型,引入组合环境的因素,提出了在给定的组合环境下服务接口交互强弱相容性的概念,并给出了相容性判定的判据表达式。通过遍历组合服务接口模型进行可达性分析,并通过检测判据表达式是否满足来判定服务接口交互的相容性,同时实现了服务与环境交互相容性的判定。
|
| 关 键 词： | 组合Web服务 接口自动机 组合环境 强弱相容性 可达性分析 |
Strong and weak compatibility of services interacting under a specific environment and its reachable analysis |
| |
| CHEN Bo.Strong and weak compatibility of services interacting under a specific environment and its reachable analysis[J].Journal of Shandong University,2011,46(9):99-105. |
| |
| Authors: | CHEN Bo |
| |
| Institution: | CHEN Bo (Department of Computer Engineering,Guangxi University of Technology,Liuzhou 545006,Guangxi,China) |
| |
| Abstract: | Analysis and verification of composite services interacting with an interface is an important issue in service computing.The interface automata are taken as the model of composite services interacting in this paper.By introducing an environment factor into analysis,the concept of strong and weak compatibility of service interacting under specific environment is proposed,and the expression of criterion for compatibility checking is presented.In order to check the compatibility of service interfaces,the inter... |
| |
| Keywords: | composite Web services interface automata composition environment strong and weak compatibility reachable analysis |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
