Моделирование свойств операционной системы реального времени OpenComRTOS при помощи OWL-DL онтологий
Електронний архів E-archive DonNTU – (Electronic archive Donetsk National Technical University)
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Моделирование свойств операционной системы реального времени OpenComRTOS при помощи OWL-DL онтологий
Modelling properties of OpenComRTOS Real-Time Operation System by OWL- DL ontologies |
|
| Creator |
Межуев, В. И.
|
|
| Subject |
OWL-DL онтологии
свойства OpenComRTOS системные спецификации верификация систем шаблоны разработки OWL-DL Ontology OpenComRTOS properties System Specifications System Verification Design Patterns |
|
| Description |
Цель работы состоит в анализе необходимости и возможных применений онтологий операционной системы реального времени OpenComRTOS, ее программных приложений, а также распределенной сети вычислительных узлов. В статье показывается, какие свойства OpenComRTOS могут быть смоделированы при помощи OWL онтологий и проверены при помощи OWL-DL систем автоматизации умозаключений
Modelling properties of OpenComRTOS Real-Time Operation System by OWL- DL ontologies |
|
| Date |
2012-02-17T10:09:42Z
2012-02-17T10:09:42Z 2009-06-15 |
|
| Type |
Article
|
|
| Identifier |
Межуев В. И. Моделирование свойств операционной системы реального времени OpenComRTOS при помощи OWL-DL онтологий // Наукові праці Донецького національного технічного університету, серія «Інформатика, кібернетика та обчислювальна техніка»,вып. 10 (153), Донецк, ДонНТУ, 2009. – С.39-45.
http://ea.donntu.edu.ua/handle/123456789/5371 |
|
| Publisher |
Донецкий национальный технический университет
|
|