Novosibirsk State University Journal of Information Technologies
Scientic Journal

ISSN 2410-0420 (Online), ISSN 1818-7900 (Print)

Switch to
Russian

All Issues >> Contents: Volume 06, Issue No 3 (2008)

A Language of Description of Ontological Transition Systems OTSL as a Tool for Formal Specification of Program Systems
Igor Sergeyevich Anureyev

UDC code: 519.681.3

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.

Key Words
ontological transition system, program system, ontology, operational semantics, transition system, operational-ontological semantics, OTSL

How to cite:
Anureyev I. S. A Language of Description of Ontological Transition Systems OTSL as a Tool for Formal Specification of Program Systems // Vestnik NSU Series: Information Technologies. - 2008. - Volume 06, Issue No 3. - P. 24 - 34. - ISSN 1818-7900. (in Russian).

Full Text in Russian

Available in PDF

References
Anureyev I. S. Operatcionno-ontologicheskaya semantika obrabotki isklyucheny // Tezisy dokladov mezhdunarodnoi konferentcii «Kosmos, astronomiya i programmirovaniye» (Lavrovskiye chteniya). SPb., 2008a. S. 15–22.
Anureyev I. S. Operatcionno-ontologicheskaya semantika operatorov bezuslovnoi peredachi upravleniya v yazyke C# // Tezisy dokladov mezhdunarodnoi konferentcii «Kosmos, astronomiya i programmirovaniye» (Lavrovskiye chteniya). SPb., 2008b. S. 259–266.
Gurevich Yu. Posledovatelnyye mashiny abstraktnykh sostoyany // «Formalnyye metody i modeli informatiki»: Sb. nauch. tr. Seriya «Sistemnaya informatika». Novosibirsk: Izd-vo SO RAN, 2004. Vyp. 9. C. 7–50.
Codruzhestvo «REFAL / Superkompilyatciya». [Elektronny resurs]. Rezhim dostupa: 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. [Elektronny resurs]. Rezhim dostupa: 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. [Elektronny resurs]. Rezhim dostupa: http://xasm.sourceforge.net/XasmAnl00/XasmAnl00.html

Publication information
Main title Vestnik NSU Series: Information Technologies, Volume 06, Issue No 3 (2008).
Parallel title: Novosibirsk State University Journal of Information Technologies Volume 06, Issue No 3 (2008).

Key title: Vestnik Novosibirskogo gosudarstvennogo universiteta. Seriâ: Informacionnye tehnologii
Abbreviated key title: Vestn. Novosib. Gos. Univ., Ser.: Inf. Tehnol.
Variant title: Vestnik NGU. Seriâ: Informacionnye tehnologii

Year of Publication: 2008
ISSN: 1818-7900 (Print), ISSN 2410-0420 (Online)
Publisher: Novosibirsk State University Press
DSpace handle


|Home Page| |All Issues| |Information for Authors| |Journal Boards| |Ethical principles| |Editorial Policy| |Contact Information| |Old Site in Russian|

inftech@vestnik.nsu.ru
© 2006-2017, Novosibirsk State University.