Real name: 
First Name: 
Pengyu
Last Name: 
Li

Datasets & Competitions

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. 

Categories:
47 Views