Welcome to the Clafer to CQL transformation tool
You can download a working Clafer example (i.e., a Router SPL) to test it and follow similar notation:
https://hadas.caosd.lcc.uma.es/routerclafer.txt
You can also download the transformed CQL model (i.e., the Router categorical SPL) to check what you can expect to receive after the transformation:
https://hadas.caosd.lcc.uma.es/routerct.cql
Please keep in mind that CQL IDE is not currently supporting others than mandatory and XOR Clafer cardinalities.
Additionally, it is a prototype and bug are expected -- not meaning common. If they arise please contact us.