Г Р А Ф И Т — б а з и с

Инфологическое обеспечение | Когнитивное | Графит-букварь

Стр. 1 2 3 4 5 6 7 8 9 10 11 12


Содержание

Действие в техноязыке. Синтаксис текстов виопов

Для чего это нужно?

Что это значит?

Как это пишется?

Действие в техноязыке. Синтаксис текстов виопов

Для чего это нужно?

В дракон-азбуке мы определили назначение виопа Действие как представление операции, неделимой сочинителем на данном этапе работы над визуалом (иначе говоря, атомарной). Возможны два случая:

В первом случае возможно, что дальше раскрывать содержание действия не нужно. В то же время репертуар может содержать более простые действия, через которые можно представить данное (более сложное); иногда это полезно, т.к. повышает эффективность и/или надёжность исполнения алгоритма.

Во втором случае раскрывать содержание действия обязательно.

Для целей дальнейшего раскрытия виоп Действие рассматривается как шампур-блок – простой или сложный.

В начало страницы

Что это значит?

Следует сразу выделить два значения действия: неформальное и формальное. В первом случае можно описать действие на естественном языке, употребляя глаголы, направленные на имена объектов. Во втором мы должны как минимум дать математическую формулировку получения результата, а затем перейти от неё к информатической.

В информатике любое действие записывается через операцию присваивания результата действия некоторой переменной.

При переработке данных содержанием действия является некоторое арифметическое выражение (арвыр) – формула, где величины связаны знаками арифметических операций. Частным случаем арвыра является единственная величина (константа или переменная); вычисление такого выражения состоит во взятии значения этой величины.

Арвыр помещается в правую часть оператора присваивания, а в левую – переменная, значением которой д.б. результат вычисления выражения.

Формальный исполнитель выполняет присваивание за счёт особой организации операционного устройства; его местная память имеет две части – для одновременного хранения исходного и результатного значений текущей операции.

Возникает вопрос: как информатически определить физическое действие? Да точно так же – через присваивание переменной результата выполнения физической операции. Правда, саму операцию надо как-то формально определить. Предлагается следующий подход.

Будем рассматривать физическую операцию как функцию от исходных объектов-аргументов: предметов и средств труда; значением этой функции, естественно, будет набор объектов-результатов труда. В тексте виопа Действие употребляем только имя этой функции; оно служит ссылкой на детальное описание операции, составленное по правилам предметной области труда; так же даются и точные определения объектов.

В материальном производстве базовым сводом правил описания действий (техопераций) служат стандарты ЕСТД (группа ГОСТ 3.*). Описание материальных объектов осуществляется по стандартам ЕСКД (группа ГОСТ 2.*).

Разумеется, ничто не мешает детализировать алгоритмически строго описанную техоперацию (или её законченный фрагмент), визуализировав алгоритм через более мелкие функции.

В начало страницы

Как это пишется?

Графика виопа Действие соответствует символу Процесс по ГОСТ 19.701-90. Текст вершины записывается либо как императивное предложение, либо как присваивание; возможно поместить в одну вершину несколько действий, разделив их к.-л. знаком.

Формат текста действия зависит прежде всего от предполагаемой степени формальности визуала:

Запись физического действия (пример)

Получить Деталь М080 из Заготовки 021 согласно операционной карте А135 на рабочем месте 9

ДетМ080:=КартаА135(Загот021; РМ9)

Неформально

Формально

Здесь имеем конкретные объекты; можно заменить их переменными, параметризовав действие.

Встаёт вопрос: а как можно ещё формализовать текст действия? Мы можем ввести шаблон структуры, где имена объектов действия независимо от их положения в тексте являются значениями полей величин, а остальной текст трактуется как имя действия (в т.ч. на естественном языке). Тем самым реализуется общий принцип, предложенный в п/п Смысл и текст виопов п. 2.1.2.

По сути, структурированный т.о. текст виопа Действие можно автоматически подразделить на название процесса (возможно, описанного алгоритмически) и параметры этого процесса. Если считать, что за действием стоит вспомогательный алгоритм (алгопроцедура), то такая структура фактически задаёт его имя и фактические параметры вызова (подробнее см. п/п 2.1.3.3).

В начало страницы | Оглавление | Версия для печати

Copyright © Жаринов В.Н.

Hosted by uCoz