| Web服务组合中非确定性特征交互的Petri网检测 |
| |
| 引用本文： | 冯良炳,古天龙.Web服务组合中非确定性特征交互的Petri网检测[J].桂林电子科技大学学报,2007,27(6):468-473. |
| |
| 作者姓名： | 冯良炳 古天龙 |
| |
| 作者单位： | 桂林电子科技大学,计算机与控制学院,广西,桂林,541004 |
| |
| 基金项目： | 广西研究生教育创新资助项目 |
| |
| 摘 要： | 针对Web服务组合中出现的非确定性特征交互的检测问题，采用有色Token表示服务特征信息，建立了Web服务组合的有色Petri网模型。并在此模型的基础上，对非确定性特征交互问题进行了形式化定义。根据问题的规模不同，利用有色Petri网的可达树穷尽搜索法和P-不变量法，设计了两个Web服务组合的非确定性特征交互的检测算法。仿真结果表明，这两个算法在不同问题规模中是正确、有效的。
|
| 关 键 词： | Web服务组合 Petri网 特征交互 非确定性 |
A Petri-net based approach for detecting the non-determinism feature interactions in web services composition |
| |
| FENG Liang-bing,GU Tian-long.A Petri-net based approach for detecting the non-determinism feature interactions in web services composition[J].Journal of Guilin Institute of Electronic Technology,2007,27(6):468-473. |
| |
| Authors: | FENG Liang-bing GU Tian-long |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ |
