دورية أكاديمية
Formal verification of ontology transformation for distribution network information model based on meta-model theory
| العنوان: | Formal verification of ontology transformation for distribution network information model based on meta-model theory |
|---|---|
| المؤلفون: | Boya Qin, Dong Liu, Yiming Lu |
| المصدر: | IET Cyber-Physical Systems (2020) |
| بيانات النشر: | Wiley, 2020. |
| سنة النشر: | 2020 |
| المجموعة: | LCC:Computer engineering. Computer hardware LCC:Electronic computers. Computer science |
| مصطلحات موضوعية: | 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 |
| الوصف: | 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. |
| نوع الوثيقة: | article |
| وصف الملف: | electronic resource |
| اللغة: | English |
| تدمد: | 2398-3396 |
| العلاقة: | https://digital-library.theiet.org/content/journals/10.1049/iet-cps.2020.0018Test; https://doaj.org/toc/2398-3396Test |
| DOI: | 10.1049/iet-cps.2020.0018 |
| الوصول الحر: | https://doaj.org/article/753015d973334150ad33e973a09cbc09Test |
| رقم الانضمام: | edsdoj.753015d973334150ad33e973a09cbc09 |
| قاعدة البيانات: | Directory of Open Access Journals |
Full Text Finder | تدمد: | 23983396 |
|---|---|
| DOI: | 10.1049/iet-cps.2020.0018 |