Une vérification est une condition ou une caractéristique dont on attend qu'elle soit vraie dans un environnement défini ...

Une vérification est une condition ou une caractéristique dont on attend qu'elle soit vraie dans un environnement défini ou délimité par une instance de CIM_ComputerSystem.  Les vérifications associées à un élément logiciel particulier sont organisées en un ou deux groupe en utilisant la propriété phase de l'association CIM_SoftwareElementChecks. Les conditions qui sont sensées être satisfaites quand un élément logiciel est dans un environnement particulier sont connues comme conditions en l'état (in-state). Les conditions qui doivent être satisfaites pour faire passer l'élément logiciel à sont état suivant sont connues comme des conditions état-suivant (next-state). Un objet CIM_ComputerSystem représente l'environnement dans lequel les CIM_SoftwareElement sont déjà installés ou dans lesquels les CIM_SoftwareElement seront installés. Pour le cas dans lequel un élément logiciel est déjà installé, l'association CIM_InstalledSoftwareElement est utilisée pour identifier l'objet CIM_ComputerSystem qui représente l'\"environnement\". Quand un élément logiciel est distribué et installé sur un différent système d'ordinateurs, l'objet CIM_ComputerSystem pour le système cible est l'environnement.