Modelling a Contract
While inside a contract, users can create several elements:
- A documentation component
- An Initial state element
- A State element
- A Final State element
Drag and drop these elements from the left-hand panel to create them and add them to the model. Each state element can create specific transitions to other states. The documentation component is used to express the intent of the contract but does not affect the functionality of the contract.
While inside a contract several properties can be edited alongside adding new states as mentioned above.
First is the Attributes of a contract.
Clicking on the "Edit Content" button will open up an editor to edit the values or clicking on the text field will allow you to enter your desired values. Clicking out of the text field will save those values but the editors have a save button.
Then there are the Meta fields, specifically focusing on the validPlugins & validVisualizers.
Clicking on the "..." will allow you to add created visualizers and plugins for the model to use.