针对拓展的Web服务体系结构,利用概率时间自动机(probabilistic timed automata,PTA)对Web服务组合进行形式化建模,将Web服务组合的过程理解为一个实时系统的运行过程,进而对Web服务组合的整体服务质量(quality of service,QoS)进行定...针对拓展的Web服务体系结构,利用概率时间自动机(probabilistic timed automata,PTA)对Web服务组合进行形式化建模,将Web服务组合的过程理解为一个实时系统的运行过程,进而对Web服务组合的整体服务质量(quality of service,QoS)进行定量分析,从而克服了已有Web服务质量研究方式主要集中在对单个Web服务分析评估上的局限性,在整个分析过程中充分考虑Web服务组合执行过程所具有的随机性和不确定性,具有较高的可信度.通过实验说明了建模分析方法的可行性,并证明了采取相应的服务选择策略有助于提高Web服务组合的成功率.展开更多
Most existing work on survivability in mobile ad-hoc networks(MANETs) focuses on two dimensional(2D) networks.However,many real applications run in three dimensional(3D) networks,e.g.,climate and ocean monitoring,and ...Most existing work on survivability in mobile ad-hoc networks(MANETs) focuses on two dimensional(2D) networks.However,many real applications run in three dimensional(3D) networks,e.g.,climate and ocean monitoring,and air defense systems.The impact on network survivability due to node behaviors was presented,and a quantitative analysis method on survivability was developed in 3D MANETs by modeling node behaviors and analyzing 3D network connectivity.Node behaviors were modeled by using a semi-Markov process.The node minimum degree of 3D MANETs was discussed.An effective approach to derive the survivability of k-connected networks was proposed through analyzing the connectivity of 3D MANETs caused by node misbehaviors,based on the model of node isolation.The quantitative analysis of node misbehaviors on the survivability in 3D MANETs is obtained through mathematical description,and the effectiveness and rationality of the proposed approach are verified through numerical analysis.The analytical results show that the effect from black and gray attack on network survivability is much severer than other misbehaviors.展开更多
文摘针对拓展的Web服务体系结构,利用概率时间自动机(probabilistic timed automata,PTA)对Web服务组合进行形式化建模,将Web服务组合的过程理解为一个实时系统的运行过程,进而对Web服务组合的整体服务质量(quality of service,QoS)进行定量分析,从而克服了已有Web服务质量研究方式主要集中在对单个Web服务分析评估上的局限性,在整个分析过程中充分考虑Web服务组合执行过程所具有的随机性和不确定性,具有较高的可信度.通过实验说明了建模分析方法的可行性,并证明了采取相应的服务选择策略有助于提高Web服务组合的成功率.
基金Project(07JJ1010) supported by the Hunan Provincial Natural Science Foundation of China for Distinguished Young ScholarsProjects(61073037,60773013) supported by the National Natural Science Foundation of China
文摘Most existing work on survivability in mobile ad-hoc networks(MANETs) focuses on two dimensional(2D) networks.However,many real applications run in three dimensional(3D) networks,e.g.,climate and ocean monitoring,and air defense systems.The impact on network survivability due to node behaviors was presented,and a quantitative analysis method on survivability was developed in 3D MANETs by modeling node behaviors and analyzing 3D network connectivity.Node behaviors were modeled by using a semi-Markov process.The node minimum degree of 3D MANETs was discussed.An effective approach to derive the survivability of k-connected networks was proposed through analyzing the connectivity of 3D MANETs caused by node misbehaviors,based on the model of node isolation.The quantitative analysis of node misbehaviors on the survivability in 3D MANETs is obtained through mathematical description,and the effectiveness and rationality of the proposed approach are verified through numerical analysis.The analytical results show that the effect from black and gray attack on network survivability is much severer than other misbehaviors.
