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

-- описывать (т.е. моделировать) архитектуру системы, постепенно переходя от архитектурных (принципиальных) описаний, связывающих функцию и конструкцию к конструктивным описаниям, достаточным для изготовления. Этот "постепенный переход" можно делать мозговыми усилиями людей, а можно выполнять "автомагически" -- и тогда говорят о "трансформации моделей", но можно говорить и о программировании. В принципе такая система есть. Т.е. существует универсальный моделер, на котором можно моделировать архитектуру, а потом превращать ее в реализацию. Тока я боюсь, что Вас он не устроит :). Современные Higher Order Logic системы именно так и построены. На них и софт и железо можно моделировать. Только они весьма сложные, ну и графических тулзов моделирования а ля УМЛ там нет. Ну и прочее, т.е. это академические тулзы, хотя их промышленно тоже юзают.