Электронный архив НГУ

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

Показать сокращенную информацию

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 http://www.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


Файлы в этом документе

Данный элемент включен в следующие коллекции

Показать сокращенную информацию