Без заголовка
А про схемные языки никто таких анализов не пишет. Они просто юзаются узкими группами людей, и только. Никто ими не заморачивается, универсальных (как описываемая вами скала) не появляется -- хотя попыток уже много было, типа того же UML/SysML/MOF.