standard conformance-by-construction

MOM-OnSem (Ontology Semantics for MOM Standards) defines the formal semantics of object models within MOM standards IEC 62264 as a reusable ontology theory using an Event-B-based framework. This formalized and reusable ontology semantics serves as a foundation for designing MOM systems.