基于加权Petri网的云计算的服务过程的研究

云南大学   王娟  

本文基于过程决定产品质量的观点,为了尽可能地改善服务过程的执行效率,提高服务质量,对云计算的服务过程模型、形式化建模以及服务过程改进的形式化方法进行了系统研究。 首先,参照软件过程的定义,给出了服务过程不同粒度的定义。并深入研究了云计算的服务过程的系统过程模型、云计算前期的实现过程模型、云计算的细粒度服务过程模型以及云计算的服务演化过程模型。 其次,为了更准确地描述云计算的服务过程,基于加权Petri网形式化地定义了服务过程模型,并给出了服务过程中的资源分配实现算法。 最后,针对前文提出的服务过程建模方法,进一步研究了基于该方法建立的服务过程模型的更新操作。 综上所述,本文系统地研究了云计算的不同粒度的服务过程,并对服务过程建模和改进操作进行了深入的研究,进而为服务过程的模拟、控制和自动化实现奠定了基础,对提高云计算的服务质量和效率具有重要意义。

基于加权Petri网的云计算的服务过程的研究