This plug-in provides a simple editor for WSMO based choreography descriptions. This plug-in is optional. It is part of the WSMO Studio distribution.
You can download the plug-in from the download section