Testing FSA formalism


Before starting to play with our new formalism, please reload AToM3 (this is to be on the safe side). Then, close the default entity-relationship formalism. Finally, open, as a meta-model, the generated file "FSA.py" in your working directory to get this screen:  

 

We notice that buttons for the state/transitions were generated for the modeling environment. Indeed, everything that we described at the meta-level is included in the modeling environment. For example, we can connect two states and give them names:  

 

As expected, we can specify the model attributes in the "Model" tab of the top menu:  

 

Even being incomplete, our modeling environment is still quite usable for the amount of time we invested in meta-modeling it! Not mentionning that it will be completed in the next few steps...