OCL in IEC 61850: Machine-Readable Rules for SCL Validation
If you have ever opened an SCL file from another vendor and wondered whether it is actually correct — not just well-formed XML, but semantically valid against the IEC 61850 standard — you already understand the problem that OCL is trying to solve.