Описание - стандарт
Cтраница 1
Описание стандарта на языке Express состоит из нескольких схем. В одной из них задаются геометрические аспекты модели. В стандарте описываются следующие типы данных: система координат ( декартова, цилиндрическая, сферическая); виды конечных элементов ( объемный, поверхностный 2D или 3D, участок 2D или 3D кривой), форма элемента ( линейный, квадратичный, кубический); степень свободы; параметры и дескрипторы элементов, позиция элемента, свойства элементов ( например, масса, момент инерции, жесткость), материал и его свойства ( плотность, эластичность, тепловое расширение), группа элементов и др. В другой схеме основное внимание уделено математическим представлениям. [1]
При описании стандарта пли технических условий из сборника стандартов или ТУ, вторая часть описания начинается обозначением: В сб. [2]
При описании стандартов указывается их назначение, которое является частью заглавия, их связь с ранее действовавшими документами, дата введения и срок действия. [3]
В дальнейшем при появлении описаний стандартов на сервис с помощью языка LOTOS возможны автоматическая генерация допустимых последовательностей и их автоматическое сравнение с последовательностями, получаемыми из дерева достижимых состояний. Так как число всех последовательностей может быть очень велико, метод получения возможных последовательностей должен дополняться методами редукции дерева достижимых состояний в зависимости от типов анализируемых примитивов. [4]
В отличие от языка ESTELLE, разрабатываемого для описания стандартов, реализуемых впоследствии в любых условиях, ОСА ориентирован на конкретную протокольную среду. Такая ориентация позволяет принести в жертву принцип общности, который играет решающую роль для языка ESTELLE, повысив вследствие этого простоту описаний и эффективность реализаций. [5]
Одной из главных задач, стоящих перед МФО, является описание стандартов взаимодействия. В Международной организации по стандартизации ( ИСО) 1) в рамках разрабатываемой эталонной модели взаимодействия открытых систем [1 ] МФО признаны необходимым элементом понимания и успешного проектирования стандартов. Эксперты считают, что без МФО задача определения точных стандартов будет задержана и станет значительно более трудной, что резко снизит значимость как этих стандартов, так и всей модели в целом. [6]
Таким образом, возникает необходимость рассматривать протокольные архитектуры с точки зрения описаний стандартов на предоставляемый уровнями сервис, протокольных стандартов и реализаций. [7]
Именно существование двух групп МФО, взаимодополняющих в ряде случаев друг друга, нашло отражение в разработке двух языков описания стандартов - ESTELLE и LOTOS, упоминавшихся во введении и более подробно описываемых в гл. [8]
Характерный пример - стандарт ISO 10303 - 104, посвященный методу конечных элементов. Описание стандарта на языке Express состоит из нескольких схем. В одной из них задаются геометрические аспекты модели. В другой схеме основное внимание уделено математическим представлениям. [9]
 |
Дерево реализаций протоколов. [10] |
Второй уровень представлен множеством протоколов, обеспечивающих этот сервис. Наиболее удобным средством описания стандартов таких протоколов является язык ESTELLE. На третьем уровне располагаются спецификации реализаций выбранных подмножеств описанных протоколов. И, наконец, листья дерева представляют конкретные реализации, например, на традиционных языках программирования. На дереве все наследники на нижних уровнях дерева согласуются с предковыми спецификациями верхних уровней. Число потенциальных реализаций по мере продвижения по дереву уменьшается, и каждый лист дерева представляет собой реализацию, интерпретируемую единственным способом. Переходы от спецификации одного уровня к другому могут выполняться вручную или автоматически. Реализация средств автоматического перехода приводит к появлению инструментальных систем автоматизации проектирования протоколов. [11]
Первый из языков основан на объединении автоматной модели с языком программирования Pascal и добавлении элементов описания архитектурных особенностей протокольных систем. Второй язык основан на математической модели исчисления взаимодействующих систем и абстрактных типах данных. В настоящее время имеется первый опыт получения формальных спецификаций сетевого, транспортного и сеансового уровней на этих языках, причем язык ESTELLE оказался наиболее удобным для описания протокольных стандартов, а язык LOTOS - стандартов сервиса -, предоставляемого протоколами. [12]
Первоначально этот интерфейс был разработан специально для микрокомпьютеров Altair, однако позднее он получил широкое распространение, и недавно в институте IEEE рассматривался вопрос о его стандартизации. Обычно шина S-100 представляет собой набор 100-контактных торцевых гнезд, соединенных электрически одноименными контактами за счет платы с параллельными печатными проводниками. В статьях [30, 29] дано описание стандарта IEEE-696 для этого интерфейса. [13]
Третий подход наиболее перспективен для получения протокольных реализаций. Как правило, язык формального описания в этом случае формируется в конкретном операционном окружении. Разработка промежуточного языка, имеющего общую концептуальную основу с языками ESTELLE и LOTOS, позволяет облегчить процесс трансляции описаний стандартов на промежуточный язык. Подход позволяет постоянно развивать специализированные или общие средства анализа, операционное окружение, ме1 - ды отладки и сопровождения, согласуй их с конструкция ми языка. Автоматическая трансляция спецификаций в реализацию позволяет создать систему, в которой на всех ятапах проектирования и реализации разработчик имеет дело только с языком спецификации ( а не реализации), что дает возможность значительно упростить процесс реализации отладки и применить к реализации результаты анализа формального описания. Дополнительно на промежуточном языке могут быть специфицированы и реали-вованы специализированные протоколы, не являющиеся стандартами. И, наконец, такой подход дает большую свободу в развитии МФО. Например, языки описания стандартов ESTELLE и LOTOS в настоящее время наиболее хорошо отражают требования четырех нижних уровней модели ВОС. [14]
При решении методом проб и ошибок стандартные задачи могут оказаться очень трудными, а ответы на них - неожиданными и остроумными. Примером может служить задача 3.9 о полигоне для испытания сельскохозяйственных машин. Ни разу задача не была правильно решена методом проб и ошибок. ТРИЗ позволяет решить задачу мгновенно - стандартнейшим переходом к веполю: Чтобы повысить эффективность управления, необходимо заменить одно из веществ ферромагнитными частицами ( или добавить ферромагнитные частицы) и использовать магнитное поле. Описание стандарта содержит соответствующие примеры, поэтому конкретизация решения не представляет особого труда. [15]
Страницы: 1 2