Язык описания онтологических систем переходов OTSL как средство формальной спецификации программных систем

Ануреев, Игорь Сергеевич

Главная
→
Периодические издания
→
Вестник НГУ. Серия: Информационные технологии
→
Том 06 (2008)
→
IT Выпуск 3 (2008)
→
Просмотр элемента

dc.contributor.author	Ануреев, Игорь Сергеевич
dc.date.accessioned	2012-10-25T07:24:55Z
dc.date.available	2012-10-25T07:24:55Z
dc.date.issued	2008-12-16
dc.identifier.issn	1818-7900
dc.identifier.uri	https://lib.nsu.ru/xmlui/handle/nsu/109
dc.description.abstract	Онтологические системы переходов – формализм, предназначенный для спецификации программных систем. Они объединяют концептуальный подход к статической семантики систем, основанный на онтологиях, с операционным подходом к описанию динамики систем, базирующемся на системах переходов. В работе представлен язык описания онтологических систем переходов OTSL и определена формальная семантика этого языка. Примеры спецификаций на языке OTSL типовых задач, решаемых информационной системой с расширяемой онтологией, иллюстрируют выразительную силу этого языка.	ru_RU
dc.description.abstract	Ontological transition systems are a formalism for specification of program systems. They combine a conceptual approach 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 system with open ontology, illustrate expressive power of the language.	en_EN
dc.language.iso	ru	ru_RU
dc.publisher	Новосибирский государственный университет	ru_RU
dc.subject	онтологическая система переходов	ru_RU
dc.subject	программная система	ru_RU
dc.subject	онтология	ru_RU
dc.subject	система переходов	ru_RU
dc.subject	операционно-онтологическая семантика	ru_RU
dc.subject	OTSL
dc.subject	операционная семантика	ru_RU
dc.subject	ontological transition system	en_EN
dc.subject	program system	en_EN
dc.subject	ontology	en_EN
dc.subject	operational semantics	en_EN
dc.subject	transition system	en_EN
dc.subject	operational-ontological semantics	en_EN
dc.title	Язык описания онтологических систем переходов OTSL как средство формальной спецификации программных систем	ru_RU
dc.title.alternative	A Language of Description of Ontological Transition Systems OTSL as a Tool for Formal Specification of Program Systems	en
dc.type	Article	ru_RU
dc.description.reference	Ануреев И. С. Операционно-онтологическая семантика обработки исключений // Тезисы докладов международной конференции «Космос, астрономия и программирование» (Лавровские чтения). СПб., 2008а. С. 15–22. Ануреев И. С. Операционно-онтологическая семантика операторов безусловной передачи управления в языке C# // Тезисы докладов международной конференции «Космос, астрономия и программирование» (Лавровские чтения). СПб., 2008б. С. 259–266. Гуревич Ю. Последовательные машины абстрактных состояний // «Формальные методы и модели информатики»: Сб. науч. тр. Серия «Системная информатика». Новосибирск: Изд-во СО РАН, 2004. Вып. 9. C. 7–50. Cодружество «РЕФАЛ / Суперкомпиляция». [Электронный ресурс]. Режим доступа: http://refal.net Anureev I. S. Ontological Transition Systems // Joint NCC&IIS Bull. Series: Computer Science. 2007. Iss. 26. P. 1–17. AsmL: The Abstract State Machine Language. – Reference Manual. 2002. [Электронный ресурс]. Режим доступа: http://research.microsoft.com/fse/asml/doc/AsmL2\_Reference.doc. Huggins J. Abstract State Machines Web Page. http://www.eecs.umich.edu/gasm. XasM An Extensible, Component-Based Abstract State Machines Language. [Электронный ресурс]. Режим доступа: http://xasm.sourceforge.net/XasmAnl00/XasmAnl00.html	ru
dc.subject.udc	519.681.3
dc.relation.ispartofpages	24 - 34