摘要 |
<p>La présente invention concerne un procédé d'implémentation d'une machine à états finis modélisant une application informatique en spécifiant une pluralité d'états et une pluralité de transitions définissant les passages entre ces dits états. Selon l'invention le procédé comporte une étape d'encodage de la machine à états finis (E20a ; E20b ; E20c) comprenant les étapes de : - création d'un objet Java de type POJO, qui une fois instancié, peut prendre successivement les différents états spécifiés par ladite machine à état finis, ledit objet Java comportant au moins une méthode susceptible d'être exécutée lors d'une transition dudit objet Java depuis un premier état vers un second état ; - création et association à ladite au moins une méthode d'au moins une annotation Java permettant de spécifier une transition lors de laquelle la méthode doit être exécutée, ladite annotation comprenant pour attributs au moins un évènement déclencheur de ladite transition, un état de départ et un état d'arrivée correspondant respectivement à l'état dudit objet avant et après ladite transition.</p> |