Инфологическое обеспечение | Когнитивное | Графит-букварь
Стр. 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 © Жаринов В.Н.
