Open AccessFormal verification of ontology transformation for distribution network information model based on meta‐model theory
Author(s) -
Qin Boya,
Liu Dong,
Lu Yiming
Publication year - 2020
Publication title -
iet cyber‐physical systems: theory and applications
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.308
H-Index - 7
ISSN - 2398-3396
DOI - 10.1049/iet-cps.2020.0018
Subject(s) - computer science , ontology , transformation (genetics) , model transformation , process (computing) , data mining , information model , reliability (semiconductor) , model checking , theoretical computer science , artificial intelligence , software engineering , programming language , consistency (knowledge bases) , philosophy , chemistry , biochemistry , power (physics) , physics , epistemology , quantum mechanics , gene
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.