First Step – Create an Empty Diagram File

If you want to create a new StateChart by creating the diagram instead of using the ASEME Methodology

and liveness formula follow the next steps.

Go to File → New → StateChart Diagram

A wizard will appear and you will have to enter the filename for the diagram file and the EMF model file.

We recommend you to create a new folder in your workspace for the new StateChart and save there your

new diagram(.kse) and EMF model file(.stct). After completing all the steps of the wizard click on finish.

Go to Second Step

GO TO Table Of Contents