Language Definition

Syntax

specification

( modelDefs | cnectDefs | chanDefs | typeDefs | constDefs | funcDefs | procDefs | stautDef ) *

Semantics

A specification contains zero or more definitions.

A Model Definition is needed to step a TorXakis model.

A Model Definition and Connection Definition are minimally needed to test a SUT or simulate a system using a TorXakis model.