Ontological models in OTSL

Anureev, I.S.
Інші назви: Онтологические модели в OTSL
Тема: Теоретичні та методологічні основи програмування
УДК: 519.681.3
URI: http://dspace.nbuv.gov.ua/handle/123456789/1390
Посилання: Ontological models in OTSL / I.S. Anureev // Пробл. програмув. — 2008. — N 2-3. — С. 41-49. — Бібліогр.: 14 назв. — англ.
Дата: 2008
Переглядів: 1140
Завантажень: 790
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 ontological transition systems is presented. Formal semantics of these constructs is defined.
 
OTSL – язык описания онтологических систем переходов. Онтологические системы переходов – формализм для описания семантики компьютерных систем, который комбинирует системы переходов с онтологическими моделями. В данной работе представлены конструкции OTSL, специфицирующие онтологические модели в онтологических системах переходов. Определена формальная семантика данных конструкций.
 

Показати повний запис статті

Файли у цій статті

Icon
Name: 01 - Anureev.pdf
Розмір: 128.3Кб
Формат: PDF
Перегляд/Відкрити

Ця стаття з'являється у наступних колекціях

Пошук


Розширений пошук

Перегляд

Мій обліковий запис