Cтраница 3
Эта система является основой сети передачи данных, используемой на территории Канады. Описывается архитектура программного обеспечения, в которой используются концепции уровней абстракции, иерархии процессов и модульности. Разработка программного обеспечения ведется на основе методики, в соответствии с которой процесс разработки состоит из восьми этапов: предварительного этапа, детальной проработки, реализации, проверки функций модулей, проверки функций подсистем, проверки системы, при - емочных испытаний и передачи в эксплуатацию. Для одной из подсистем, содержащей около 7000 операторов; указываются затраты времени на выполнение отдельных этапов ( по плану и фактически) бригадой из четырех программистов, закончивших всю работу за 10 месяцев. [31]
Очевидно, что возможно применение смешанных методик, учитывающих как итеративный, так и иерархический подход. В частности, итеративное проектирование можно также вести по иерархии уровней абстракции, что равносильно итерациям с переменным шагом и должно ускорять поиск. Но в любых случаях желательно автоматизировать процедуры поиска, что возможно при использовании формализованных методов параметрической оптимизации. В рамках рассмотренных методик и при блочно-модульном принципе построения возможны два подхода к созданию ИИС: индивидуальная разработка и проектная компоновка. [32]
В работе [1 ] показано, что системы, являющиеся объектами теории автоматического управления, и конечные автоматы могут быть наделены одинаковой алгебраической структурой. Поэтому для гибридных функций, формально объединяющих аппарат логического и динамического уровней абстракции, должны быть определены алгебраические операции и не обязательно такая операция как дифференцирование. [33]
Всякий, кто испытал трагедию внесения существенных изменений в операционную систему ( таких, как преобразование системы в мультипрограммную и / или в систему с виртуальной памятью), увидит в такой организации много достоинств. Дело не только в том, что модификации ограничиваются изолированными частями системы; уровни абстракции четко указывают, какие части подлежат изменению. [34]
Для обозначения этих частей придумано множество названий: программы, компоненты, подсистемы и уровни абстракции. [35]
Структурные компоненты, общие для всех типов значений, хранятся в вершине ЗНАЧЕНИЕ-СХЕМА. Следует отметить, что иерархия схем и механизм наследования свойств могут рассматриваться как средства представления уровней абстракции. На каждом уровне запоминаются только те детали, которые релевантны данному уровню абстракции. [36]
Некоторые формы иерархической декомпозиции, с которыми мы встретимся, представляют собой нисходящее управление ( гл. Вероятно, многие знакомы с такими видами формальной иерархической декомпозиции, как поэтапная обработка [11], уровни абстракции [12], иерархия документации [13], нисходящее программирование [14], модульная декомпозиция [15], композиционное [16] и структурное [17] проектирование. Александер [18] предлагает весьма интересное представление декомпозиции. В небольшой, но очень полезной книге он проводит философское обсуждение процессов анализа и синтеза конструкций, за которым следует математический метод разложения множества ограничений на подмножества, приводящий к минимизации их взаимодействия. Его работы и работы Бема [19], Хоара [20], Милза [21], а также некоторые пока еще не опубликованные работы представляют собой значителньый вклад в проектирование программного обеспечения благодаря введению количественной меры оценки этого процесса и средствам доказательства правильности программ. [37]
Крупные системы реального времени должны иметь средства для регистрации внутренних потоков данных в системе. Эти средства могут быть реализованы на различных уровнях, например могут регистрировать все вызовы подсистем, уровней абстракции или даже отдельных модулей. Для каждого вызова составляется запись, содержащая имена вызывающего и вызываемого модулей и передаваемые входные и выходные данные. [38]
Например, ниже мы определим граф как конструкцию, вершинами в которой могут быть произвольные абстрактные объекты. Позднее же, когда мы станем говорить о графе несовместимости, его вершинами будут связки - объекты весьма сложного строения, в отношении которых читателю придется сделать даже некоторое мысленное усилие, чтобы представление о них ассоциировалось бы с видом точки на плоскости - наглядным изображением вершины графа. Эта свобода п легкость, с которой математик, подобно опытному кинооператору, переключающему объективы кинокамеры, мгновенно переходя от панорамы к крупному плану, меняет уровни абстракции в рассмотрении объектов, выбирая для каждого уровня наиболее подходящую форму наглядного представления об объекте, являются залогом успеха в эффективном решении математической задачи. [39]
Мы применяем нечто подобное непрерывной деформации доказательств из / i / 2 MS) для получения доказательств из S. Один из возможных вариантов выбора абстракций заключается в том, чтобы брать отображения fi, вычеркивающие по одному аргументу у одного функционального или предикатного символа. Подобное использование нескольких уровней абстракции представляется одним из наиболее обещающих методов доказательства теорем, основанных на абстракции. Тот факт, что нужные последовательности абстракций легко подбираются, увеличивает привлекательность данного метода. Приспособленный к m - абстракциям, этот подход дает полную стратегию. [40]
Для разработки нового уровня абстракции потребуется определить абстрактные объекты, с которыми необходимо манипулировать, и операции, которые должны выполняться над ними; мы должны представить данные в некоторой структуре данных и реализовать операции; и ( вот тема для упражнения) необходимо обеспечить, чтобы эти объекты было удобно использовать для решения прикладных задач. Перечисленные замечания применимы также к простым типам данных, и базовые механизмы для поддержки типов данных, которые обсуждались в главе 3, могут быть адаптированы для наших целей. Однако язык C предлагает важное расширение для механизма структур, называемое классом. Классы исключительно полезны при создании уровней абстракции и поэтому рассматриваются в качестве первейшего инструмента, который используется для этой цели на протяжении оставшейся части книги. [41]
Пользователя в этом случае не интересует, как осуществляется выполнение. Подобная позиция пользователя понятна и легко объяснима: его интересует поведенческий аспект в некоторой точке программы, а не то, как реализованы операции. Переходя от одной процедуры к их иерархии, обычно получают иерархию уровней абстракции по отношению к тем действиям, которые можно выполнить над объектом. Это приводит к уменьшению количества одновременно рассматриваемых элементов программы и, следовательно, к понижению степени сложности всей программной системы. [42]
Такая стратегия универсальна и. Каждый шаг поиска в ней осмыслен и нетривиальным образом управляется структурой задачи в целом, а не только такой локальной информацией, как способность двух дизъюнктов резольвировать согласно определенной стратегии. Мы считаем такое локальное поведение одним из самых слабых мест современных систем доказательства теорем. Использование аналогии имеет дополнительное преимущество в том, что стратегия поиска становится все более и более ограничивающей по мере увеличения глубины вывода. При завершении поиска число возможных выборов более ограничено, чем в середине, несмотря на то что стратегия основана на прямых рассуждениях. Это резко отличается от ситуации, характерной для традиционных стратегий, в которых поисковое пространство с ростом глубины, по-видимому, экспоненциально увеличивается в объеме. Применение абстракции допускает также возможность нескольких уровней абстракции, причем каждый последующий уровень содержит меньше информации, чем предыдущий. Поиск на каждом уровне может управляться поиском на следующем, более высоком уровне абстракции. [43]
Если синтаксис - сфера отношений знаков к знакам, то семантика - это сфера отношений знаков к тому, что они обозначают, или ( в терминах, более близких теории информации) отношений сообщений к устройствам, генерирующим информацию. В прагматике исследуют влияние информации на поведение приемника. Если семантический аспект информации предполагает исследование смысла ( значения) информации, то прагматический аспект - исследование значимости информации для получается, ее ценности. Эта связь проблематики теории информации с тремя уровнями рассмотрения знаковых систем была отчетливо осознана уже на достаточно ранних этапах развития теории. Weaver, 1949 и его книгу, 1967), развивается мысль о различении в исследованиях по теории коммуникации трех уровней абстракции: уровня техники связи - уровня сигналов ( то, что в семиотике иначе называют синтаксическим уровнем), уровня семантики и уровня прагматики - использования сообщений получателем, обсуждается проблема смысла ( интерпретации) языковых выражений - проблема, явившаяся одним из основных импульсов к появлению теорий семантической информации ( ср. [44]