Ontological models in OTSL

• Date: 2008
• Main Author: Anureev, I.S.
• Format: Article
• Language: English
• Published: Інститут програмних систем НАН України 2008
• Subjects: Теоретичні та методологічні основи програмування
• Online Access: https://nasplib.isofts.kiev.ua/handle/123456789/1390
• Journal Title: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Cite this: Ontological models in OTSL / I.S. Anureev // Пробл. програмув. — 2008. — N 2-3. — С. 41-49. — Бібліогр.: 14 назв. — англ.

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...