Introdução

Escopo: Este artigo explica o que é a Linguagem de Restrição de Objetos (OCL), por que ela é importante para a validação de arquivos SCL em projetos IEC 61850, o que é definido pela IEC TS 61850-6-3 e onde a ferramenta de código aberto RiseClipse se encaixa. Ele não aborda detalhes de implementação da OCL para desenvolvedores de ferramentas, nem trata todos os aspectos do teste de conformidade IEC 61850.

Se você já abriu um arquivo SCL de outro fornecedor e se perguntou se ele é realmente correto — não apenas bem formado em XML, mas semanticamente válido de acordo com o padrão IEC 61850 — você já entende o problema que a OCL está tentando resolver.

A validação de Esquema XML informa se o arquivo está estruturado corretamente. Não pode dizer se uma subscrição GOOSE referencia um conjunto de dados válido, se um nó lógico contém os objetos de dados necessários ou se dois LDs estão conectados de forma coerente. Esse nível de verificação exige algo mais expressivo.

A Linguagem de Restrição de Objetos (OCL) é exatamente isso. Em 2025, a IEC publicou a IEC TS 61850-6-3, uma Especificação Técnica que descreve formalmente como as regras OCL devem ser escritas e aplicadas a arquivos baseados em XML IEC 61850 — incluindo SCL.

Este artigo explica o que é a OCL, por que ela é importante para engenheiros que trabalham com arquivos SCD e ICD, como ela está sendo utilizada na ferramenta de código aberto RiseClipse e o que o trabalho contínuo de padronização define.

O que é a OCL?

OCL — Linguagem de Restrição de Objetos — é uma linguagem formal originalmente desenvolvida como parte da especificação da Linguagem de Modelagem Unificada (UML). Permite expressar restrições e consultas em modelos de objetos de forma precisa e inequívoca.

Enquanto os diagramas UML descrevem como um modelo se parece, a OCL permite escrever regras sobre o que deve ser sempre verdadeiro em um modelo válido.

Uma restrição OCL é uma afirmação lógica anexada a um elemento do modelo. Por exemplo, no contexto da IEC 61850, você poderia expressar uma regra como:

Cada LDevice deve ter pelo menos um LN0 e, no máximo, um.

Ou:

Uma referência externa de subscrição GOOSE (ExtRef) deve referenciar um conjunto de dados que exista no arquivo.

O Esquema XML não pode aplicar regras como essas. A OCL pode. Como a OCL opera no nível do modelo — não no nível da sintaxe XML — ela pode navegar nas relações entre elementos em todo o arquivo de configuração.

  • Referências cruzadas entre elementos (um sinal inscrito deve corresponder a um publicado em nome e tipo)
  • Restrições que dependem de valores de atributos ("se tipo = GOOSE, então...")
  • Regras sobre objetos de dados obrigatórios e opcionais, dependendo da classe do nó lógico
  • Verificações de consistência de engenharia entre diferentes seções de um arquivo SCD

Sem regras verificáveis por máquina para essas restrições, a validação tem sido deixada para ferramentas que a realizam à sua maneira — de forma inconsistente, incompleta ou nem mesmo realizada. O resultado são problemas de interoperabilidade descobertos tarde: durante testes de aceitação em fábrica, comissionamento no local ou eventos de interoperabilidade.

IEC TS 61850-6-3: O Novo Padrão

Em 2025, o Grupo de Trabalho 10 da TC57 da IEC publicou IEC TS 61850-6-3:2025 — "Formato de regras processáveis por máquina para validação de arquivos baseados em XML do IEC 61850".

Esta Especificação Técnica faz três coisas:

  1. Define o formato para escrever regras de validação em OCL para o IEC 61850 — uma forma estruturada e padronizada de expressar restrições que as ferramentas podem importar e executar.
  2. Apoia três principais casos de uso:
    - Validar arquivos SCL em todas as etapas do processo de engenharia
    - Verificar conformidade após atualizações ou rebaixamentos entre edições do padrão
    - Estender regras padrão com regras OCL privadas (específicas de fornecedor ou projeto)
  3. Separa o formato das próprias regras — a Especificação Técnica aborda como escrever regras, enquanto os conjuntos de regras reais são publicados como componentes de código vinculados às respectivas partes do IEC 61850 (como o IEC 61850-6).

O padrão foi publicado em 8 de julho de 2025. É o primeiro documento formal da IEC que descreve como o OCL deve ser usado no ecossistema IEC 61850.

Nota: A IEC TS 61850-6-3 é uma Especificação Técnica, não um Padrão Internacional completo. Define uma estrutura e formato; os conjuntos específicos de regras OCL para SCL estão sendo desenvolvidos separadamente pelo TF OCL do WG10 e ainda não foram totalmente publicados no início de 2026.

Como as Regras OCL Funcionam na Prática

O fluxo de validação:

flowchart LR
    A[Padrão IEC 61850\nModelo UML] -->|define| B[Regras OCL\n.arquivos .ocl]
    C[Arquivo SCL\nSCD / ICD / CID] -->|carregado em| D[Instância do Modelo]
    B -->|aplicado a| D
    D -->|produz| E[Relatório de Validação\nerros / avisos]
    E -->|feedback para| F[Engenheiro /\nIntegrador de Sistema]
  1. O modelo UML do IEC 61850 é a referência. As regras OCL são escritas com base nesse modelo — elas descrevem quais restrições são sempre válidas.
  2. Um arquivo SCL é carregado em uma ferramenta que o instancia como um modelo de objetos (em vez de apenas analisar o XML).
  3. As regras OCL são aplicadas a essa instância do modelo.
  4. As violações são relatadas com localizações e descrições precisas.

O OCL funciona no nível semântico: pode navegar pelo grafo de objetos — seguir referências, verificar condições em todo o arquivo — de maneiras que verificações em XSD ou XSLT não podem.

A principal implementação de código aberto para validação SCL baseada em OCL é o RiseClipse, desenvolvido pela CentraleSupélec e pela EDF R&D na França, no âmbito do programa de pesquisa RISEGrid.

RiseClipse: - Carrega arquivos SCL e os instancia como objetos EMF (Eclipse Modeling Framework) conformes com o modelo UML SCL - Aplica conjuntos de restrições OCL expressas em arquivos .ocl - Relata violações ao nível semântico — não apenas "elemento ausente", mas "esta ExtRef referencia um conjunto de dados inexistente"

Os arquivos de restrição OCL para SCL são publicados como um repositório de código aberto no GitHub: riseclipse/riseclipse-ocl-constraints-scl2003.

O RiseClipse pode ser utilizado de várias formas: - Ferramenta de linha de comando (fat JAR) para integração em pipelines CI/CD e fluxos de trabalho de engenharia - Imagem Docker para implantação em contêineres - Triangle MicroWorks SCL Navigator — uma ferramenta comercial com o motor OCL do RiseClipse incorporado, com modo leitor gratuito disponível - CoMPAS (projeto LFEnergy) — utiliza o RiseClipse como backend de validação SCL

O RiseClipse tem sido utilizado em eventos de testes de interoperabilidade IEC 61850 desde pelo menos 2015 (ver: Marcadet et al., PSCC 2016). A adoção mais ampla na indústria ainda é limitada; a ferramenta e os conjuntos de regras associados continuam em desenvolvimento.

O Trabalho do TF OCL do WG10: O Que Está Acontecendo Atualmente

O Grupo de Trabalho 10 (WG10) da IEC TC57 possui uma Equipe Especializada em OCL (TF OCL), responsável por desenvolver os conjuntos de regras que serão publicados em conjunto com as partes do padrão. Esses conjuntos de regras definem formalmente e de forma verificável pelo computador o que significa para um arquivo SCL estar em conformidade com a IEC 61850-6.

O trabalho da equipe especializada é descrito na IEC TS 61850-6-3:2025, que estabelece a estrutura e o formato para os conjuntos de regras OCL. Conforme descrito na Especificação Técnica, o processo de desenvolvimento de regras exige testar regras candidatas contra arquivos de engenharia do mundo real para verificar sua correção e completude antes da publicação normativa.

Este é um cenário típico do trabalho de padronização em fase inicial: as regras devem ser validadas contra a gama de configurações reais antes de poderem ser publicadas de forma normativa. O equilíbrio entre completude e lançamento oportuno é um desafio comum nesta fase do desenvolvimento da especificação.

Nenhuma data de lançamento completa para o primeiro conjunto de regras foi anunciada publicamente até o momento da redação deste texto.

Implicações Práticas para Engenheiros e Integradores

Para os engenheiros que trabalham com arquivos SCL, a validação baseada em OCL aborda uma lacuna conhecida: verificações semânticas que a validação XSD não pode realizar. A importância prática depende da rapidez com que os fornecedores de ferramentas adotam os conjuntos de regras publicados.

Capacidades específicas que as regras OCL permitem:

Verificação mais completa. As regras OCL podem detectar erros que a validação XSD deixa de perceber — referências pendentes, objetos obrigatórios ausentes, configurações inconsistentes entre IEDs.

Verificações consistentes entre ferramentas. Quando o conjunto de regras é padronizado pela IEC e publicado como código processável por máquina, diferentes ferramentas podem executar as mesmas verificações com base no mesmo fundamento normativo. Atualmente, as ferramentas aplicam subconjuntos diferentes das regras do padrão, o que gera resultados inconsistentes.

Mapeamento rastreável de regras para cláusulas. Cada regra OCL pode ser vinculada a uma cláusula específica do padrão IEC 61850. Se um arquivo falhar em uma verificação, o engenheiro pode identificar qual exigência normativa foi violada.

Extensões de regras privadas. A IEC TS 61850-6-3 permite explicitamente regras OCL privadas — restrições específicas de projeto ou fornecedor que vão além do padrão. As concessionárias podem codificar suas próprias regras de engenharia na mesma linguagem formal.

Os engenheiros devem esperar que a validação SCL em ferramentas se torne mais rigorosa à medida que os conjuntos de regras OCL são publicados e adotados. Arquivos que passam nas verificações básicas de XSD hoje podem precisar de correções quando validados contra um conjunto completo de regras OCL.

Limitações

Várias limitações práticas se aplicam à validação SCL baseada em OCL no estado atual:

Cobertura das regras é incompleta. A primeira publicação do conjunto de regras OCL pelo WG10 TF está sendo finalizada no início de 2026. Não abrangerá todas as restrições definidas em IEC 61850-6. Os conjuntos de regras serão expandidos em versões subsequentes.

Adoção das ferramentas é limitada. Até o início de 2026, RiseClipse e CoMPAS são as principais ferramentas que utilizam validação SCL baseada em OCL. A maioria das ferramentas comerciais de engenharia IEC 61850 ainda não implementa os conjuntos de regras da IEC TS 61850-6-3.

Maturidade do RiseClipse. RiseClipse é uma ferramenta de origem acadêmica. Tem sido utilizada em eventos de testes de interoperabilidade e em contextos de pesquisa. Ainda não é uma ferramenta certificada de teste de conformidade, e os conjuntos de regras OCL que utiliza ainda não são os conjuntos finalizados publicados pela IEC.

Alcance da IEC TS 61850-6-3. A Especificação Técnica define um formato para as regras — não as regras em si. A qualidade da validação depende da completude e correção dos arquivos de regras OCL aplicados, o que varia conforme a implementação.

Esforço de integração. Integrar a validação baseada em OCL em fluxos de trabalho de engenharia existentes exige suporte de ferramentas. Nem todos os editores SCL ou configuradores de sistema suportam a importação e execução de regras OCL.

Entendimentos comuns equivocados

"OCL é um novo padrão IEC 61850."
OCL não é um novo protocolo de comunicação ou modelo de dados. É uma linguagem para expressar regras de validação. O novo elemento é a IEC TS 61850-6-3, que define como o OCL deve ser utilizado no contexto IEC 61850.

"A validação XSD é suficiente."
A validação XML Schema é necessária, mas não suficiente para garantir a correção do SCL. O XSD verifica a estrutura; o OCL verifica a semântica. Um arquivo SCL pode ser válido em XSD e ainda assim estar logicamente incorreto.

"Apenas os desenvolvedores de ferramentas precisam se preocupar com isso."
As concessionárias e integradores de sistemas encontrarão validação baseada em OCL em ferramentas de engenharia à medida que a adoção aumenta. Compreender o que ela verifica — e por quê — ajuda os engenheiros a interpretar os resultados da validação e a escrever arquivos de configuração corretos.

"As regras estão completas e definitivas."
O TF OCL ainda está publicando o conjunto inicial de regras. As regras evoluirão. Extensões privadas de regras são possíveis. Este é um processo contínuo, não uma publicação única.

Conclusão

A validação baseada em OCL aborda uma lacuna há muito tempo existente na engenharia IEC 61850: a ausência de regras formais verificáveis por máquina além do esquema XML. A IEC TS 61850-6-3 fornece a definição do formato. O TF WG10 OCL está desenvolvendo os conjuntos de regras.

Para engenheiros e integradores de sistemas, o impacto prático dependerá da adoção de ferramentas e da velocidade com que os conjuntos de regras são publicados e finalizados. Arquivos contendo erros semânticos — referências cruzadas apontando para nenhum lugar, objetos obrigatórios ausentes, inscrições inconsistentes — podem, em princípio, ser detectados por ferramentas baseadas em OCL hoje; na prática, a cobertura e as ferramentas ainda estão em desenvolvimento.

O primeiro lote de regras está sendo finalizado no início de 2026. À medida que os conjuntos de regras e as ferramentas evoluem, o OCL tem potencial para se tornar parte padrão dos fluxos de trabalho de engenharia e comissionamento de SCL.

Fontes e Referências

  • IEC TS 61850-6-3:2025, Formato de regras processáveis por máquina para validação de arquivos baseados em XML IEC 61850, IEC Webstore, publicado em 8 de julho de 2025
  • Projeto RiseClipse: riseclipse.github.io
  • Restrições OCL do RiseClipse para SCL: github.com/riseclipse/riseclipse-ocl-constraints-scl2003
  • D. Marcadet et al., RiseClipse: por que trabalhar ao nível do modelo é melhor para validar arquivos SCL IEC 61850, PSCC 2016
  • Comitê de Estudos B5 da CIGRE, 2024: Introdução à IEC 61850-6-3 OCL: regras processáveis por máquina para validação de arquivos baseados em XML IEC 61850 — CIGRE 2024, Comitê de Estudos B5 (número completo do artigo e lista de autores não confirmados em fontes públicas)
  • Triangle MicroWorks SCL Navigator com Motor OCL RiseClipse: trianglemicroworks.com
  • Validador SCL CoMPAS (LFEnergy): github.com/com-pas/compas-scl-validator

Última atualização: março de 2026