Из тех, что умеют на лету проверять правильность схемы варианта два:
1. yaoqiang
2. eclipse плюс jbpm, bonita, bpmn2-modeler и еще несколько
Из вышеперечисленных самый вменяемый yaoqiang, но по нему полностью отсутсвует какая-либо пользовательская документация и еще он не допилен. Все что основано на эклипсе стыдно называть вменяемыми программами, т.к. не могут сделать даже банальных вещей.
Можно конечно воспользоваться просто рисовалками: yED, dia и прочим, но это как-то не правильно.