Ontological models in OTSL
| dc.contributor.author | Anureev, I.S. | |
| dc.date.accessioned | 2008-07-30T13:45:57Z | |
| dc.date.available | 2008-07-30T13:45:57Z | |
| dc.date.issued | 2008 | |
| dc.description.abstract | 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. | en_US |
| dc.description.abstract | OTSL – язык описания онтологических систем переходов. Онтологические системы переходов – формализм для описания семантики компьютерных систем, который комбинирует системы переходов с онтологическими моделями. В данной работе представлены конструкции OTSL, специфицирующие онтологические модели в онтологических системах переходов. Определена формальная семантика данных конструкций. | en_US |
| dc.identifier.citation | Ontological models in OTSL / I.S. Anureev // Пробл. програмув. — 2008. — N 2-3. — С. 41-49. — Бібліогр.: 14 назв. — англ. | en_US |
| dc.identifier.issn | 1727-4907 | |
| dc.identifier.udc | 519.681.3 | |
| dc.identifier.uri | https://nasplib.isofts.kiev.ua/handle/123456789/1390 | |
| dc.language.iso | en | en_US |
| dc.publisher | Інститут програмних систем НАН України | en_US |
| dc.status | published earlier | en_US |
| dc.subject | Теоретичні та методологічні основи програмування | |
| dc.title | Ontological models in OTSL | en_US |
| dc.title.alternative | Онтологические модели в OTSL | |
| dc.type | Article | en_US |
Файли
Оригінальний контейнер
1 - 1 з 1
Завантаження...
- Назва:
- 01 - Anureev.pdf
- Розмір:
- 128.35 KB
- Формат:
- Adobe Portable Document Format
Контейнер ліцензії
1 - 1 з 1
Завантаження...
- Назва:
- license.txt
- Розмір:
- 1.79 KB
- Формат:
- Item-specific license agreed upon to submission
- Опис: