Formal verification of ontology transformation for distribution network information model based on meta-model theory
| Autor: | Boya Qin, Dong Liu, Yiming Lu |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2020 |
| Předmět: |
formal verification
formal specification ontologies (artificial intelligence) model updating distribution network information model meta-model theory ontology transformation process model mapping constraints model checking verification tool spin Computer engineering. Computer hardware TK7885-7895 Electronic computers. Computer science QA75.5-76.95 |
| Zdroj: | IET Cyber-Physical Systems (2020) |
| Druh dokumentu: | article |
| ISSN: | 2398-3396 |
| DOI: | 10.1049/iet-cps.2020.0018 |
| Popis: | 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. |
| Databáze: | Directory of Open Access Journals |
| Externí odkaz: |
|
Plný text