Есть ли проверка синтаксиса бизнес-моделей?

1. При построении схемы бизнес-процесса в IDEF0 нельзя построить неверную схему: Business Studio не даст этого сделать.
   Например, не выйдет закрепить стрелку как исходяющую из механизма бизнес-процесса, управления или входа.
   
2. По всем нотациям бизнес-процесс есть встроенные отчеты на предмент корректности по ряду требований.
   
3. Можно создавать свои отчеты, согласно своим правилам проверки построения диаграмм.