Grande parte da semântica do OPC UA é implícita em hierarquias de tipos, instâncias de objetos, tipos de referência, tipos de dados, enumerações e seus relacionamentos complexos, mas é descrita em forma de texto que não pode ser formalmente interpretado. Parte da semântica central é codificada em ferramentas de modelagem, mas a semântica das Especificações Complementares (CSs) e dos modelos de informação desenvolvidos pelo cliente não o é. Com o surgimento dos Modelos de Linguagem Ampla (LLMs), surgiram novas oportunidades para analisar automaticamente as especificações complementares e extrair regras semânticas, desde que haja uma base clara para o modelo semântico. Além disso, há uma necessidade crescente de combinar informações do OPC UA com estruturas de conhecimento e ontologias externos para permitir uma interoperabilidade semântica mais rica e integração com sistemas de conhecimento industriais e de domínio específico mais amplos.
O objetivo do Grupo de Trabalho de Validação Semântica é desenvolver uma representação semântica que preserve a semântica do OPC UA NodeSet, servindo como um alvo formal para as linguagens de validação e consulta existentes, além da extração de restrições formais de especificações de linguagem natural baseada em LLM. Isso permite:
- Formalização da correção semântica de NodeSets
- Validação de Especificações Complementares (CSs) simples e combinadas e detecção de redundâncias e sobreposições entre CSs
- Validação de instâncias de máquina e suas representações NodeSet
- Criação automática de casos de teste / scripts de teste
- Fornecer novos serviços de consulta em máquinas OPC UA
- Vinculação formal de dados OPC UA com ontologias externas
Para atingir esse objetivo, o grupo de trabalho seguirá uma abordagem prática baseada em demonstrações:
- As abordagens propostas devem ser demonstradas com Prova de Conceitos, preferencialmente de código aberto
- As demonstrações devem usar exemplos OPC UA suficientemente complexos como casos de teste
- As propostas devem ser validadas em relação a máquinas de teste reais e especificações complementares antes de prosseguir com as padronizações
A Reunião Inicial está agendada para 23 de outubro de 2025, como uma webconferência
- 7h00 – 8h00 PST (costa oeste dos EUA)
- 10h00 – 11h00 EST (costa leste dos EUA)
- 16h00 – 17h00 CEST (Alemanha)
- 23h00 – 00h00 JST (Japão)
Para inscrição, entre em contato com Jim Luth
