Formal verification of ontology transformation for distribution network information model based on meta-model theory

Abstract

This study presents a formal description and verification method of the ontology transformation process of the distribution network information model based on the meta-model theory. By defining the dynamic change structures and model mapping constraints of the ontology transformation process of distribution network, a formalised specification for describing the key attributes of model updating and model mapping processes was constructed. The model updating and model mapping instances were specified using model checking verification tool SPIN. The method fundamentally guarantees the standardisation and reliability of the model ontology transformation process achieved by the meta-model.

Keywords

• formal verification
• formal specification
• ontologies (artificial intelligence)
• model updating
• formal verification
• distribution network information model
• meta-model theory
• ontology transformation process
• model mapping constraints
• model checking verification tool
• spin