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 |
|---|---|
| Автор: | |
| Формат: | Стаття |
| Мова: | Англійська |
| Опубліковано: |
Інститут програмних систем НАН України
2008
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.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| _version_ | 1862738047516278784 |
|---|---|
| author | Anureev, I.S. |
| author_facet | Anureev, I.S. |
| citation_txt | Ontological models in OTSL / I.S. Anureev // Пробл. програмув. — 2008. — N 2-3. — С. 41-49. — Бібліогр.: 14 назв. — англ. |
| collection | DSpace DC |
| 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.
OTSL – язык описания онтологических систем переходов. Онтологические системы переходов – формализм для описания семантики компьютерных систем, который комбинирует системы переходов с онтологическими моделями. В данной работе представлены конструкции OTSL, специфицирующие онтологические модели в онтологических системах переходов. Определена формальная семантика данных конструкций.
|
| first_indexed | 2025-12-07T20:02:50Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-1390 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1727-4907 |
| language | English |
| last_indexed | 2025-12-07T20:02:50Z |
| publishDate | 2008 |
| publisher | Інститут програмних систем НАН України |
| record_format | dspace |
| spelling | Anureev, I.S. 2008-07-30T13:45:57Z 2008-07-30T13:45:57Z 2008 Ontological models in OTSL / I.S. Anureev // Пробл. програмув. — 2008. — N 2-3. — С. 41-49. — Бібліогр.: 14 назв. — англ. 1727-4907 https://nasplib.isofts.kiev.ua/handle/123456789/1390 519.681.3 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, специфицирующие онтологические модели в онтологических системах переходов. Определена формальная семантика данных конструкций. en Інститут програмних систем НАН України Теоретичні та методологічні основи програмування Ontological models in OTSL Онтологические модели в OTSL Article published earlier |
| spellingShingle | Ontological models in OTSL Anureev, I.S. Теоретичні та методологічні основи програмування |
| title | Ontological models in OTSL |
| title_alt | Онтологические модели в OTSL |
| title_full | Ontological models in OTSL |
| title_fullStr | Ontological models in OTSL |
| title_full_unstemmed | Ontological models in OTSL |
| title_short | Ontological models in OTSL |
| title_sort | ontological models in otsl |
| topic | Теоретичні та методологічні основи програмування |
| topic_facet | Теоретичні та методологічні основи програмування |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/1390 |
| work_keys_str_mv | AT anureevis ontologicalmodelsinotsl AT anureevis ontologičeskiemodelivotsl |