Possibilita model checking sobre especificações de workflow em notação UML (State Diagrams) e permite gerar código DCWorkflow. Baseado no DCWorkflow Dump. ('ratem', 'viniciuspetrucci') Ferramenta de Validação de Workflow e Geração de Código text/html None ratem en None 2004-07-10 00:45:18 2004-06-28 20:40:18 () 0 0