Ontological models in OTSL
Vernadsky National Library of Ukraine
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Ontological models in OTSL
|
|
| Creator |
Anureev, I.S.
|
|
| Subject |
Теоретичні та методологічні основи програмування
|
|
| 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, специфицирующие онтологические модели в онтологических системах переходов. Определена формальная семантика данных конструкций. |
|
| Date |
2008-07-30T13:45:57Z
2008-07-30T13:45:57Z 2008 |
|
| Type |
Article
|
|
| Identifier |
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 |
|
| Language |
en
|
|
| Publisher |
Інститут програмних систем НАН України
|
|