The FW Action Language
The action language allows a guard to be expressed as a boolean expression combining class methods, attributes (of integer and boolean type) and references to associated class instances. It also allows transition effects and entry and exit actions to be expressed as assignments and method calls combining the above elements.
The action language contains only a minimal Java-like set of features. This minimalist approach simplifies definition and compilation. Language features are discussed in the next sub-sections.