Как проверить корректность схем, диаграмм описанных с помощью BPMN, UML

Корректность на что?? На соблюдение семантики, синтаксиса или полноты описания?

В некоторых средствах моделирования есть валидаторы, которые можно запустить на определенной модели, а потом посмотреть список ошибок. В EA такое есть, посмотреть правила проверки и проверить модель можно из пункта меню Project\Model Validation\Configure или Validate selected соответственно.

Экспортировать схему в BPMS и попытаться исполнить. Надежнее ничего не придумаете.