Web服务组合可以通过整合网络上现有的多种异构服务从而形成新的服务。针对服务组合中的可靠性和相关性能评估问题,提出了一种基于离散时间马尔可夫链DTMC(Discrete Time Markov Chain)的评估方法。从不同运行场景的角度,利用DTMC相关...
详细信息
Web服务组合可以通过整合网络上现有的多种异构服务从而形成新的服务。针对服务组合中的可靠性和相关性能评估问题,提出了一种基于离散时间马尔可夫链DTMC(Discrete Time Markov Chain)的评估方法。从不同运行场景的角度,利用DTMC相关性质和公式综合估算了服务组合的可靠性和其他性能,并针对具体服务组合的瓶颈进行了分析,提出了改进措施。与现有的服务组合可靠性和性能分析方法相比,本方法对服务组合中结构复杂和运行场景多样化的特点具有更好的适应性,更全面、准确地评估了服务组合的可靠性和相关性能。实验表明,本方法具有良好的分析效果和指导改进的能力。
Time Petri Nets在实时系统的建模和性能分析中得到广泛应用,而冲突是Petri网及其扩展模型的重要行为,解决冲突是正确分析模型动态行为的关键.目前随机Petri网、混合Petri网和区间速率连续Petri网的冲突检测方法由于没有考虑到时间约束...
详细信息
Time Petri Nets在实时系统的建模和性能分析中得到广泛应用,而冲突是Petri网及其扩展模型的重要行为,解决冲突是正确分析模型动态行为的关键.目前随机Petri网、混合Petri网和区间速率连续Petri网的冲突检测方法由于没有考虑到时间约束因此无法在TPN网中使用.时间约束的引入使得Time Petri Nets模型的使能和触发语义比Petri网模型的语义复杂,冲突检测变得更加困难.为了计算冲突发生的时间和概率,首先根据时间约束,给出了变迁持续使能时延迟区间的计算方法,并证明了该方法的合理性和完备性;然后在此基础上定义并证明了Time Petri Nets模型中不冲突的检测方法;并提出了Time Petri Nets模型的冲突检测方法,给出了冲突时间区间和变迁实施概率的计算方法;最后通过实例验证说明了该方法的正确性和有效性.
暂无评论