Online protocol checker
When creating a new protocol, several differencies might initialy appear between the paper-version of the protocol and the implemented one. To help users get a working protocol, we developed a monitor agent whose goal is to check on-the-fly if there is a difference between the expected behaviour and the occuring one.
This sister-project, which will work on any JADE project, requires the users to :
- Describe their protocol in AUML, which can be very easily done in PlantUml with the following online editor
- Add the resulting AUML in a comment section in their java class,
- Deploy the monitor on their platform,
- Give the AUML to the monitor.
Currently under development, an alpha-release will be soon deployed. Once stable, the monitor will be shipped by default with Dedale.