MOM-OnSem

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. We applied MOM-OnSem to the part production module in the MOM system, based on requirements and design from an aerospace equipment manufacturing enterprise. The UML design model includes 7 activity diagrams and 37 classes. MOM-OnSem effectively detects 4 conformance issues with the standard and 8 with the requirements specification. The requirements specification, design model, and conformance checking results are available in this dataset as well.

MOM-OnSem（MOM标准本体语义）定义了IEC 62264 MOM标准中对象模型的正式语义，通过基于Event-B框架的可重用本体理论实现。这一形式化且可重用的本体语义构成了设计MOM系统的基石。本研究将MOM-OnSem应用于航空航天设备制造企业的部分生产模块，基于其需求和设计。UML设计模型包含7个活动图和37个类。MOM-OnSem有效地识别了与标准相符的4个问题以及与需求规范的8个问题。本数据集还提供了需求规范、设计模型以及符合性检查结果。