Без заголовка

Я не понимаю про ваши "вертикальное" и "горизонтальное". Для меня существенной особенностью модульности является возможность дробления (иногда это называют granularity), а также разнофункциональность для одного и того же интерфейса (например, описание одного и того же интерфейса на разных уровнях абстракции). Я думаю, что тут терминологию нужно отстраивать вдоль какого-то выбранного языка архитектурных описаний (ибо и модульность, и уровни абстракции относятся к архитектурным описаниям в бОльшей мере). Другое дело, что мы адеквантный нашим потребностям язык архитектурных описаний еще не имеем, а сочиняем сами. И поэтому терминология будет по факту придумываться и уточняться на ходу. Уровни абстракции и модульность еще связаны тем, что модули, выделяемые в разных описаниях, должны по своим уровням абстракции описаний как-то соответствовать друг другу. Дальше нужно брать примеры и пытаться изобразить удовлетворяющий заявленным требованиям модульный язык, что является приключением на несколько лет, как это всегда бывает с языками...