OCL na IEC 61850: da verificação do XML à verificação de regras de engenharia
Um novo mecanismo de validação de arquivos SCL surge no processo de engenharia da IEC 61850 — o OCL (Object Constraint Language), uma linguagem para descrever formalmente restrições e regras para os objetos do modelo de informação. A especificação técnica IEC TS 61850-6-3, publicada em 2025, define um formato de regras processáveis por máquina que as ferramentas de software podem importar e aplicar ao SCL automaticamente. O XSD só responde à pergunta «o documento XML está bem formado?», ao passo que muitos requisitos da norma dizem respeito às relações entre os objetos do modelo. O OCL permite passar da verificação da correção formal do XML à verificação automatizada de regras de engenharia que antes era preciso interpretar e controlar manualmente.