论文部分内容阅读
针对Web服务组合中出现的非确定性特征交互的检测问题,采用有色Token表示服务特征信息,建立了Web服务组合的有色Petri网模型。并在此模型的基础上,对非确定性特征交互问题进行了形式化定义。根据问题的规模不同,利用有色Petri网的可达树穷尽搜索法和P-不变量法,设计了两个Web服务组合的非确定性特征交互的检测算法。仿真结果表明,这两个算法在不同问题规模中是正确、有效的。