Skip to main content

Pengyu Li

First Name
Pengyu
Last Name
Li

Dataset Entries from this Author

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: