论文部分内容阅读
建立依赖结构形式化模型,以依赖结构为建模基础,结合该模型定义符合虚拟特性的服务虚拟,研究在某些操作下服务虚拟的代数性质,并讨论服务虚拟的正确性问题,为利用形式化模型建模虚拟服务管理及云服务虚拟中间件提供理论基础.
The formal model of dependency structure is established and the dependency structure is used as the modeling basis. Based on this model, service virtualization is defined according to virtual characteristics. The algebraic nature of service virtualization under certain operations is studied. The correctness of service virtualization is discussed. Provide theoretical basis for model-based virtual service management and cloud service virtual middleware.