As mentioned in the introduction, the CommaSuite tooling includes a number of additional features, such as simulation and the generation of stubs and tests. Monitoring is supported by command-line tooling that can be integrated. For instance, to perform monitoring after smoke tests automatically.
In the case study we started from an existing implementation and gradually modeled its interfaces, checking conformance by manually constructing traces and applying the generated monitoring. An alternative is to generate test cases or a test client based on the CommaSuite model. CommaSuite is also frequently applied for the definition of new interfaces, for instance of third party components. In these case, model simulation can be useful to validate the model. Stubs might support the independent development of client and server. Monitoring or test generation can be exploited to check if the implementations conform to the interface models.