MOM-OnSem

MOM - OnSem is a formal semantic model, which is developed based on Event - B Theory and Ontology for IEC 62264 Part 2 and Part 4. This model aims at providing semantic checking capability to verify the conformance between the data structure design of MOM systems and the IEC 62264 standard. We have made all the Event - B models in MOM - OnSem available in the form of documents. Specifically, the Event - B Theory for the 13 object models in IEC 62264 Part 2 and the 7 object models in Part 4, as well as all the meta theory are presented as PDFs. Additionally, the dataset encompasses the requirements document and the design model of the case utilized in our study. It should be noted that the Event - B model of the case, along with the conformance checking results, are also included within the dataset.