(0) BizAgi
Сразу и проверка на валидность, и соответсвие BPMN, и генерация документации в Word'е (теоретически - даже можно отдельно для каждой роли в процессе, но я не пробовал). Моделлер - бесплатный, остальное - условно-бесплатное. Вроде даже экспортируется в какой-то единый формат для БП, но я не заморачивался.
Требовать и эффективности, и гибкости от одной и той же программы — все равно, что искать очаровательную и скромную жену... по-видимому, нам следует остановиться на чем-то одном из двух. Фредерик Брукс-младший
