OCL dans l’IEC 61850 : de la vérification du XML à la vérification des règles d’ingénierie
Un nouveau mécanisme de validation des fichiers SCL apparaît dans le processus d’ingénierie de l’IEC 61850 — l’OCL (Object Constraint Language), un langage de description formelle des contraintes et des règles pour les objets du modèle d’information. La spécification technique IEC TS 61850-6-3, publiée en 2025, définit un format de règles exploitables par machine que les outils logiciels peuvent importer et appliquer automatiquement au SCL. Le XSD ne répond qu’à la question « le document XML est-il bien formé ? », alors que de nombreuses exigences de la norme concernent les relations entre les objets du modèle. L’OCL permet de passer de la vérification de la correction formelle du XML à la vérification automatisée des règles d’ingénierie qu’il fallait auparavant interpréter et contrôler à la main.