دورية أكاديمية
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 |
المجموعة: | Directory of Open Access Journals: DOAJ Articles |
مصطلحات موضوعية: | 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 in journal/newspaper |
اللغة: | English |
تدمد: | 2398-3396 |
العلاقة: | https://digital-library.theiet.org/content/journals/10.1049/iet-cps.2020.0018Test; https://doaj.org/toc/2398-3396Test; https://doaj.org/article/753015d973334150ad33e973a09cbc09Test |
DOI: | 10.1049/iet-cps.2020.0018 |
الإتاحة: | https://doi.org/10.1049/iet-cps.2020.0018Test https://doaj.org/article/753015d973334150ad33e973a09cbc09Test |
رقم الانضمام: | edsbas.445E9C37 |
قاعدة البيانات: | BASE |
تدمد: | 23983396 |
---|---|
DOI: | 10.1049/iet-cps.2020.0018 |