首页>
外国专利>
Formal Model Checking Based Approaches To Optimized Realizations Of Network Functions In Multi-Cloud Environments
Formal Model Checking Based Approaches To Optimized Realizations Of Network Functions In Multi-Cloud Environments
展开▼
机译：基于正式模型检查多云环境中网络函数的优化实现方法
展开▼
页面导航
摘要
著录项
相似文献
摘要
In an embodiment, a computer-implemented method comprises receiving logical model input that specifies a logical topology model of networking elements and/or computing elements for deployment at least partially in a private cloud computing infrastructure and at least partially in a public cloud computing infrastructure; receiving resource input specifying an inventory of computing elements that are available at least partially in the private cloud computing infrastructure and at least partially in the public cloud computing infrastructure; automatically generating an intermediate topology comprising a set of deployment instructions that are capable of execution at least partially in the private cloud computing infrastructure and at least partially in the public cloud computing infrastructure to cause physical realization of a network deployment corresponding to the logical topology model; determining whether the intermediate topology is functionally equivalent to the logical topology model; in response to determining that the intermediate topology is functionally equivalent to the logical topology model, transmitting the deployment instructions at least partially to the private cloud computing infrastructure and at least partially to the public cloud computing infrastructure.
展开▼
