A language of actions in ontological transition systems

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.