Activity Primitives Dictionary

Activity primitives define actions that will be realized at key moments during the execution of the system. Concretely, when implementing an activity primitive, the user can write executable instructions that will be executed when the primitive is triggered.

There is a whole set of primitives that can be defined to be triggered by different kinds of events on different types of machines.

Most of them can be defined within the "@moe:" section of a system or state-machine or within a state body.

Disambiguation

Sections and activity Primitive are different concepts. Even though we write both starting with a "@" sign, the syntax and the use is different :

Compiling Activity Primitives

Diversity analyzes each specification and compiles it into "optimized pseudo code" for its symbolic evaluation engine. It can sometimes complete the user code written in primitives. Unless specified, specification code will always be evaluated before Diversity generated code.