Cтраница 2
Некоторые формы иерархической декомпозиции, с которыми мы встретимся, представляют собой нисходящее управление ( гл. Вероятно, многие знакомы с такими видами формальной иерархической декомпозиции, как поэтапная обработка [11], уровни абстракции [12], иерархия документации [13], нисходящее программирование [14], модульная декомпозиция [15], композиционное [16] и структурное [17] проектирование. Александер [18] предлагает весьма интересное представление декомпозиции. В небольшой, но очень полезной книге он проводит философское обсуждение процессов анализа и синтеза конструкций, за которым следует математический метод разложения множества ограничений на подмножества, приводящий к минимизации их взаимодействия. Его работы и работы Бема [19], Хоара [20], Милза [21], а также некоторые пока еще не опубликованные работы представляют собой значителньый вклад в проектирование программного обеспечения благодаря введению количественной меры оценки этого процесса и средствам доказательства правильности программ. [16]
Поразительная стабильность системы циклогексатриена естественно породила умозрительное заключение о свойствах, которые следовало ожидать у высшего винилога циклогексатриена - 1, 3, 5 7-циклооктатетраена. Однако критические замечания были опровергнуты недавним повторением [20] этого же пути, вполне реабилитировавшим названную раннюю работу. Возрождение этого классического, но трудного многостадийного процесса было обусловлено, конечно, потребностью в образце для сравнения с циклооктатетраеном, полученным тетрамеризацией ацетилена. Очевидно механизм этого процесса, хотя он никоим образом не выяснен, довольно необычен, и это, конечно, побуждает к созданию весьма интересных представлений. Предполагалось, что две молекулы ацетилена образуют поляризованный димер, координационно связанный с атомом никеля, а этот димер в конечном счете дает в результате бимолекулярной реакции циклооктатетраен. [17]