Language_Definition - TorXakis/TorXakis GitHub Wiki
Language Definition¶
Syntax¶
| specification | ( [modelDefs](ModelDefs) | [cnectDefs](CnectDefs) | [chanDefs](ChanDefs) | [typeDefs](TypeDefs) | [constDefs](ConstDefs) | [funcDefs](FuncDefs) | [procDefs](ProcDefs) | [stautDef](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.