First, install the mygme following:
Second, start mongodb locally by running the mongod
executable in your mongodb installation (you may need to create a data
directory or set --dbpath
).
Then, run npm start
from the project root to start . Finally, navigate to http://localhost:8081
to start using mygme!
Run the ModelChecker plugin inside a node of meta-type Monitor.
If your configuration is all correct, the plugin will show a successful running state, otherwise, you will get a runtime error as following, and the detail information will be given in the MESSAGE field.
Run the ConfigGnerator plugin inside a node of meta-type Machine.
After running, you can download the generated configuration file from the ARTIFACTS field.
The generated configuration file is something like this.
Run the ConfigReader plugin inside a node of meta-type Machine.