Workflow - Plugins
Symantec 
Workflow Manager has a number of Plugins available from install.
Workflow - Plugins - Generate Business Model
The 'Generate Business Model' Plugin allows you to add a custom Model to your Project which allows a process to be documented, this is not going to produce any code but is a great place to inform Developers who you wish the process to be work.