Abstract

Ontological transition systems are a method of specification of computer systems which integrates operational and ontological approaches to specification of these systems. In the framework of development of a language of ontological transition systems OTSL, a sublanguage of actions is defined. Actions are used to specify transitions in ontological transition systems. Examples of formal semantics of C# statements illustrate the method of ontological transition systems.

File
anureev_2.pdf154.84 KB
Issue
Pages
19-38