摘要
针对Web服务组合中出现的非确定性特征交互的检测问题,采用有色Token表示服务特征信息,建立了Web服务组合的有色Petri网模型。并在此模型的基础上,对非确定性特征交互问题进行了形式化定义。根据问题的规模不同,利用有色Petri网的可达树穷尽搜索法和P-不变量法,设计了两个Web服务组合的非确定性特征交互的检测算法。仿真结果表明,这两个算法在不同问题规模中是正确、有效的。
In order to detect the non-determinism feature interactions in web services composition, a colored Petri net model for web services composition is proposed. In this model, the information of feature interactions is represented by colored Token. Based on this scheme, the non-determinism feature interactions are formalized. To handle different scale problems, two detecting algorithms for non-determinism feature interaction in Web services composition are designed where the exhaustive search method of reachability tree and the method of P-Invariant are utilized. The simulations show that these two algorithms are correct and effective in handling different scale problems.
出处
《桂林电子科技大学学报》
2007年第6期468-473,共6页
Journal of Guilin University of Electronic Technology
基金
广西研究生教育创新资助项目(2007105950812M16)
