Ануреев И.С. "ЯЗЫК ОПИСАНИЯ ОНТОЛОГИЧЕСКИХ СИСТЕМ ПЕРЕХОДОВ OTSL КАК СРЕДСТВО ФОРМАЛЬНОЙ СПЕЦИФИКАЦИИ ПРОГРАММНЫХ СИСТЕМ"

ЯЗЫК ОПИСАНИЯ ОНТОЛОГИЧЕСКИХ СИСТЕМ ПЕРЕХОДОВ OTSL КАК СРЕДСТВО ФОРМАЛЬНОЙ СПЕЦИФИКАЦИИ ПРОГРАММНЫХ СИСТЕМ

Онтологические системы переходов – формализм, предназначенный для спецификации программных систем. Они объединяют концептуальный подход к статической семантики систем, основанный на онтологиях, с операционным подходом к описанию динамики систем, базирующемся на системах переходов. В работе представлен язык описания онтологических систем переходов OTSL и определена формальная семантика этого языка. Примеры спецификаций на языке OTSL типовых задач, решаемых информационной системой с расширяемой онтологией, иллюстрируют выразительную силу этого языка.
Ключевые слова: онтологическая система переходов, программная система, онтология, система переходов, операционно-онтологическая семантика, OTSL, операционная семантика

I. S. Anureev
A Language of Description of Ontological Transition Systems OTSL
as a Tool for Formal Specification of Program Systems
Ontological transition systems are a formalism for specification of program systems. They combine a conceptual ap-proach to static semantics of these systems, based on ontologies, with an operational approach to description of dynamics of the systems, based on transition systems.
In this paper the language of description of ontological transition systems OTSL is presented and formal semantics of this language is defined. Examples of OTSL specifications of routine problems, which are solved by an information sys-tem with open ontology, illustrate expressive power of the language.
Keywords: ontological transition system, program system, ontology, transition system, operational-ontological seman-tics, OTSL, operational semantics.

http://lib.nsu.ru:8080/jspui/handle/nsu/109