Specification of Watcher Component

Using the tool SISMC, the specification for the message to create the Watcher component can be generated.