IDE & Navigation
Properties & Tools
To create a model for this tutorial, we use the set of static/dummy web pages that comes with the download package. There are 5 web pages all together and the model we will be creating will look like http://TestOptimal.com/img/SimpleWebStore.png. Please note the state id and transition event id are case sensitive and these ids will be used to construct the script function names.
You can delete the node by right-mouse click on the node label and select “Delete” from the popup menu. The node property can be changed in the PropertyTab by clicking on the node label.
When you finish entering all nodes and their transitions, you have created the MBT model for a web application.