Generation of state machine

[patinusb]

I will follow here much of my problems on the generation of state machines...

transitions are not generated into the stateset machine (inside the "begin end" tags) when they are defined in the model.

[patinusb]

You can find an example in the PEGASEN0Envt Model in PEGASEN0BootstrapDynamic diagram. It gives the adl

stateset PEGASEN0BootstrapDynamic { RunningN0PegaseEnvt, InitN0PegaseEnvt } = InitN0PegaseEnvt begin end

[patinusb]

Quels sont les éléments dans le modèle qu'il faut remplir pour avoir une génération de ce type ?

event initializing { time == 0 }
stateset ModelState { INIT, RUNNING } = INIT begin
    transition from INIT to RUNNING on initializing
end

[patinusb]

When considering the code above athena transition should be linked to robotML transition through:

transition name: not used transition guard should be the condition on which the transition is triggered. As it is it is associated to transition effect should be the event triggered

Problem is that I don't see where to define events

[nbrodnan]

Trigger are not used in RobotML.

To define an event, speciy an OpaqueBehavior oInitializing with body's value has time == 0. Create an operation specification "Initializing" on this behavior.

To assign the event, go in the RobotML tab on the transition, and select the operation "Initializing" for the the transition guard.

[patinusb]

please do document this in the sphinx project for athena generation specificities.