论文部分内容阅读
组合服务的接口交互行为的分析和检测是服务计算领域的一个重要课题。本文以接口自动机为组合服务接口模型,引入组合环境的因素,提出了在给定的组合环境下服务接口交互强弱相容性的概念,并给出了相容性判定的判据表达式。通过遍历组合服务接口模型进行可达性分析,并通过检测判据表达式是否满足来判定服务接口交互的相容性,同时实现了服务与环境交互相容性的判定。
The analysis and detection of the interactive behavior of the composite service interface is an important issue in the field of service computing. In this paper, the interface automata is the service interface model, and the factors of combinatorial environment are introduced. The conception of the compatibility of service interfaces in a given combinational environment is proposed, and the criterion expression of compatibility judgment is given . The reachability analysis is conducted by traversing the combinatorial service interface model, and the consistency of the service interface interaction is judged by detecting whether the expression is satisfied. At the same time, the compatibility of service and environment is determined.