Ontological models in OTSL
OTSL is a language of description of ontological transition systems. Ontological transition systems are formalism for description of semantics of computer systems that combines transition systems with ontological models. In this paper, constructs of OTSL specifying the ontological models of ontologi...
Збережено в:
| Дата: | 2008 |
|---|---|
| Автор: | |
| Формат: | Стаття |
| Мова: | English |
| Опубліковано: |
Інститут програмних систем НАН України
2008
|
| Теми: | |
| Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/1390 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Ontological models in OTSL / I.S. Anureev // Пробл. програмув. — 2008. — N 2-3. — С. 41-49. — Бібліогр.: 14 назв. — англ. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
irk-123456789-1390 |
|---|---|
| record_format |
dspace |
| spelling |
irk-123456789-13902008-10-15T12:49:21Z Ontological models in OTSL Anureev, I.S. Теоретичні та методологічні основи програмування OTSL is a language of description of ontological transition systems. Ontological transition systems are formalism for description of semantics of computer systems that combines transition systems with ontological models. In this paper, constructs of OTSL specifying the ontological models of ontological transition systems is presented. Formal semantics of these constructs is defined. OTSL – язык описания онтологических систем переходов. Онтологические системы переходов – формализм для описания семантики компьютерных систем, который комбинирует системы переходов с онтологическими моделями. В данной работе представлены конструкции OTSL, специфицирующие онтологические модели в онтологических системах переходов. Определена формальная семантика данных конструкций. 2008 Article Ontological models in OTSL / I.S. Anureev // Пробл. програмув. — 2008. — N 2-3. — С. 41-49. — Бібліогр.: 14 назв. — англ. 1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/1390 519.681.3 en Інститут програмних систем НАН України |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| language |
English |
| topic |
Теоретичні та методологічні основи програмування Теоретичні та методологічні основи програмування |
| spellingShingle |
Теоретичні та методологічні основи програмування Теоретичні та методологічні основи програмування Anureev, I.S. Ontological models in OTSL |
| description |
OTSL is a language of description of ontological transition systems. Ontological transition systems are formalism for description of semantics of computer systems that combines transition systems with ontological models. In this paper, constructs of OTSL specifying the ontological models of ontological transition systems is presented. Formal semantics of these constructs is defined. |
| format |
Article |
| author |
Anureev, I.S. |
| author_facet |
Anureev, I.S. |
| author_sort |
Anureev, I.S. |
| title |
Ontological models in OTSL |
| title_short |
Ontological models in OTSL |
| title_full |
Ontological models in OTSL |
| title_fullStr |
Ontological models in OTSL |
| title_full_unstemmed |
Ontological models in OTSL |
| title_sort |
ontological models in otsl |
| publisher |
Інститут програмних систем НАН України |
| publishDate |
2008 |
| topic_facet |
Теоретичні та методологічні основи програмування |
| url |
http://dspace.nbuv.gov.ua/handle/123456789/1390 |
| citation_txt |
Ontological models in OTSL / I.S. Anureev // Пробл. програмув. — 2008. — N 2-3. — С. 41-49. — Бібліогр.: 14 назв. — англ. |
| work_keys_str_mv |
AT anureevis ontologicalmodelsinotsl |
| first_indexed |
2023-03-24T08:21:41Z |
| last_indexed |
2023-03-24T08:21:41Z |
| _version_ |
1796138885983502336 |