SYNTHESIS OF MODELS FOR NETWORKS USING AUTOMATED BOOLEAN LEARNING

Systems, methods, and computer-readable media for determining a deployment model for deploying rules in a network environment in response to deployment of a contract into the network environment. In some embodiments, a method can include deploying a contract into a network environment. One or more candidate deployment configuration variables can be selected and policy configurations for deploying rules in the network environment as part of implementing policies using the contract can be determined based on the one or more candidate deployment configuration variables. Rule configuration states corresponding to the policy configuration states in the network environment can be identified based on deployment of the one or more contracts in the network environment. Subsequently, a deployment model for implementing the one or more policies in the network environment can be formed based on the policy configurations and the rule configuration states corresponding to the policy configurations. L'invention concerne des systèmes, des procédés, et des supports lisibles par ordinateur aptes à déterminer un modèle de déploiement pour déployer des règles dans un environnement réseau en réponse au déploiement d'un contrat dans l'environnement réseau. Dans certains modes de réalisation, un procédé peut consister à déployer un contrat dans un environnement réseau. Une ou plusieurs variables de configuration de déploiement candidates peuvent être sélectionnées et des configurations de politique pour déployer des règles dans l'environnement réseau dans le cadre de l'implémentation de politiques à l'aide du contrat peuvent être déterminées sur la base de la ou des variables de configuration de déploiement candidates. Des états de configuration de règles correspondant aux états de configuration de politiques dans l'environnement réseau peuvent être identifiés sur la base du déploiement du ou des contrats dans l'environnement réseau. Ensuite, un modèle de déploiement pour implémenter la ou les politiques dans l'environnement réseau peut être formé sur la base des configurations de politiques et des états de configuration de règles correspondant aux configurations de politiques.