To define machine behavior, we traditionally use data that belongs and is local to the machine in addition to the possibly existing parameters. This owned data must be declared in the "@property" section.
Properties can belong to any kind of higher level machines such as the system or state-machines.
Each element declared in the "@property" section is associated to a visibility "modifier" which can be "public" or "private" and which is "private" by default.
To be accessed by other elements of the model i.e. for public data, the modifier must be explicitly set to "public".
Below is an example showing how to use the "@property" section to declare elements (we'll see just afterwards what kinds of elements can be added). To state the visibility, we can use the keywords "public" or "private".
To simplify the writing when declaring several properties that share the same visibility modifier, we can also use the "@public" and "@private" sections in which a default visibility is enforced.
Please refer to the corresponding documentation in the sections dictionary.
Those properties can be :
We recommend consulting the documentation about properties for further details.