О, я бы почитал если есть возможность.
Честно говоря, несмотря на успешную защиту, практическая составляющая в работе не является полностью законченной. Акценты скорее раставлены на анализ возможных ошибок bpmn-модели и на сам процесс разработки сервиса, осуществляющего эту самую верификацию. Суть сервиса - загружаем модель в формате .bpmn, сервер ее парсит и, в зависимости от результа парса, возвращает список проблемных элементов с указанием ошибок.