> -- Alexey_Donskoy писал(а):
> А можно обосновать  перехода "на слой абстракций ниже"?

Ну ведь при проектировании электроники используются как супер-высокоуровневые блоки (и  библиотеки из САПР), так и местами работают на уровне отдельных вентилей. Это не составляет проблемы, когда переход гладкий. В программировании просто ещё не было удовлетворительных решений этой задачи.

Представьте себе проектирование сложного сетевого сервиса. Тут Вам и сверхвысокоуровнево проектировать захочется, и иметь возможность спускаться до самых деталей (какой именно структурой данных реализована вот эта очередь сообщения; как именно передаётся вот это событие; какое управление страницами поставлено под вот это хранилище...).
> -- Цитата:
> В моём понимании-опыте, "сложное серверное ПО" - это иерархическая система, где каждая подсистема имеет независимое поведение. Слово "независимое" может на уровне технической реализации отображаться в разные формы параллелизма. Hardaware-isolated processes, software-isolated processes, threads, light-weight processes/threads (программное диспетчирование).Далее, эти подсистемы взаимодействуют посредством обмена событиями по различным протоколам. Слово "событие" на уровне реализации опять же отображается в то, что требуется - взаимодействие над разделяемыми областями памяти, над очередями сообщений, над внешним вводом-выводом...На некотором уровне зрения нет принципиальных различий между понятиями алгоритма, протокола, спецификации поведения во времени... Все эти понятия можно понимать как грамматику на "язык" некоторой системы в алфавите элементарных событий. Грамматику поведения во времени.Я воспринимаю и использую ДРАКОН именно как форму записи таких грамматик.(мой ответ на Компьютерре)

Я хочу получить инструмент, который такой нисходящий процесс поддерживает. Для задач такого класса.