建立依赖结构形式化模型,以依赖结构为建模基础,结合该模型定义符合虚拟特性的服务虚拟,研究在某些操作下服务虚拟的代数性质,并讨论服务虚拟的正确性问题,为利用形式化模型建模虚拟服务管理及云服务虚拟中间件提供理论基础.
Modelling base on dependency structure,it introduce an approach for defining service virtualization and investigating the algebraic properties of service virtualization under some operations.Moreover,the correctness of service virtualization is discussed.The theories above provide the theoretical basis for a formal model for modeling of virtual service management and a solution for middleware of service virtualization.