□TSM – КОМПЛЕКС СРЕДСТВ ФОРМАЛИЗАЦИИ ГИПЕРМЕДИЙНЫХ ОПИСАНИЙ S-МОДЕЛЕЙ

© А.В. Ильин, В.Д. Ильин, 1989, 2007, 2009 □TSM – КОМПЛЕКС СРЕДСТВ ФОРМАЛИЗАЦИИ ГИПЕРМЕДИЙНЫХ ОПИСАНИЙ S-МОДЕЛЕЙ (англ. TSM) – набор средств унифицированной записи формул, выделения частей гипермедийных описаний s-моделей и замены выбранными сокращениями часто повторяющихся фрагментов.□ Разработан А.В. Ильиным и В.Д. Ильиным на основе языка спецификации задачных конструктивных объектов [1], развитого в [2]. Применяется для описания s-моделей, входящих в состав создаваемой в Институте проблем информатики РАН (ИПИ РАН) распределённой гипермедийной системы знаний информатики СИНФ (Sinf) [В.Д. Ильин, И.А. Соколов. Символьная модель системы знаний информатики в человеко-автоматной среде. Информатика и ее применения, 2007. Т. 1. Вып. 1. с. 66-78]. / Уровни вложенности фрагментов описания, определяющие их смысловую зависимость Вложенный фрагмент – часть описания, включающая не менее одного полного абзаца (без заголовка или с заголовком). Выделяется косыми (slashes), размещаемыми в начале фрагмента: /k/ (k – номер уровня вложенности). Для первого и второго уровней значения k не указываются (/ – первый уровень вложенности; // – второй); для третьего и последующих уровней можно указывать (начало фрагмента третьего уровня можно обозначить так  /// или так /3/). / Выделения Для выделения определений, замечаний, примеров, имен понятий и отдельных частей описания используются следующие средства: ⌂<фрагмент описания>⌂ ≈ часть описания с фиксированными в ее пределах обозначениями (здесь и далее символ ≈ заменяет слово «означает»); □<фрагмент описания>□ ≈ утверждение (определение, аксиома, теорема, следствие и др.); ◊<фрагмент описания>◊ ≈ замечание; ☼<фрагмент описания>☼ ≈ пример; {S<фрагмент описания><список>S} ≈ здесь <фрагмент описания> ≈ набранный курсивом текст (может быть пустым), который следует интерпретировать как расширенный префикс s-<текст> для выделенных курсивом элементов списка; ☼{Sмодель<список>S} – здесь расширенным префиксом служит s-модель; {S<список>S} – здесь префикс s- ☼. / Сокращения Для часто повторяющихся названий понятий: СМ ≈ символьное моделирование; s-моделирование ≈ СМ произвольных объектов в человеко-машинной среде; s-машина ≈ машина, помогающая создавать и применять s-модели; s-среда ≈ совокупность взаимодействующих людей и управляемых ими s-машин, предназначенная для решения задач s-моделирования. / Умолчания Так как в s-среде имеем дело только с s-моделями, вместо s-модель символа, s-модель кода, s-модель сообщения, s-модель информации и т.д., говорим s-символ, s-код, s-сообщение, s-информация и т.д. Слово s-модель не опускаем лишь там, где может возникнуть контекстная неясность. / Формулы Для теоретико-множественных и других формул применяется одноэтажная форма записи. // И н д е к с ы, п о м е т ы Не накладывается никаких ограничений на максимальное число индексов для переменных и помечающих символов (помет). Все индексы и пометы записываются в строчку внутри квадратных скобок, следующих сразу за индексируемой (или / и помеченной) переменной. ◊ Квадратные скобки в формульных фрагментах описаний, используемые для индексов и помет, для наглядности можно выделять цветом, жирностью или наклоном.◊ Индексы, определяющие элемент массива, отделяются запятыми, индексированные индексы – косой чертой «/». Верхний индекс от нижнего отделяется точкой с запятой «;». Если в описании индекса точка с запятой не встречается, то индекс считается нижним. ☼x[out; j = 1…n] ≈ вектор x из n компонент, имеющий помету out; a[inp; i = 1...m, j =1...n] ≈ матрица a размера m * n, имеющая помету inp; c[′;1] ≈ c-один со штрихом (штрих «′» – верхняя помета, 1 – нижний индекс); d[j/i;] ≈ d с верхним индексированным индексом j i-тое (чтобы показать отсутствие нижних индексов, поставлена точка с запятой, за которой сразу следует закрывающая квадратная скобка; d[j/i] ≈ d с нижним индексированным индексом j i-тое (отсутствие точки с запятой указывает на отсутствие верхних индексов)☼. // Т е о р е т и к о – м н о ж е с т в е н н ы е a: elem A ≈ a является элементом множества A; A: set a ≈ A – множество, содержащее элемент a; A < B (когда оговорено, что A и B рассматриваются как множества) ≈ A – подмножество B; B = D ≈ множества D и B совпадают; C ≤ B ≈ C является подмножеством B или совпадает с ним; B > A ≈ B содержит A; A ≥ E ≈ A содержит E или совпадает с E; A ^ B ≈ пересечение множеств A и B; A \ B ≈ разность множеств A и B; A * B ≈ декартово произведение множеств A и B; R ≤ A * B ≈ бинарное отношение, заданное на множествах A и B. Символ 0 обозначает пустое множество или нуль (в зависимости от контекста); символ # обозначает «не равно».☼Если x: elem X, y: elem Y и x = y, то x: elem (X ^ Y); если X: set x, Y: set y и пара (x, y): elem R, где R < A * B, то (X * Y) ^ (A * B) # 0.☼ Аргументы функции размещаются в круглых скобках, стоящих сразу за идентификатором, обозначающим функцию. ☼f(x) ≈ f от x; f[max;](x[i=1…n]) ≈ f с верхней пометой max от x[i=1...n].☼ При записи операций символы «+», «–», «*», «/» обозначают соответственно сложение, вычитание, умножение, деление, а символ «**» – возведение в степень. Для записи суммы вместо заглавной «сигмы» используется sum; при этом индекс суммирования, его начальное и конечное значения записываются в квадратных скобках справа от sum; далее в круглых скобках записывается суммируемая переменная с индексом. ☼sum[i=1...n] (x[i]) ≈ сумма по i от 1 до n значений переменной x[i].☼ / О записи интегралов и производных Для записи интеграла используется слово integral. ☼integral (y(x)dx) ≈ неопределенный интеграл y(x) по dx.☼ ☼integral [x[1] ≤ x ≤ x[2]] (y(x)dx) ≈ определенный интеграл y(x) по dx, вычисляемый на отрезке x[1] ≤ x ≤ x[2].☼ Строчная запись производных: dy(x)/dx ≈ производная от y(x) по dx; dz(x=x[0],y)/dy ≈ частная производная от z(x,y) по y при x=x[0]. /Типы: специализация и обобщение □Тип X ≈ множество X, элементы которого имеют фиксированные набор атрибутов и семейство допустимых операций. Может иметь подтипы, называемые специализациями типа X, и надтипы, называемые обобщениями типа X.□ //Специализация типа □Специализация типа X – это порождение подтипа X [::rule] (здесь сдвоенное двоеточие :: – символ специализации) с семейством связей, расширенным добавлением связи rule. Выделяет подмножество X [::rule] множества X. Специализацией называем и результат X [::rule] этого порождения (X > X [::rule]).□ ///Специализация типа, заданная последовательностью добавляемых связей X[::(rule1)::rule2] – специализация типа X[::rule1] по связи rule2. Число специализирующих связей в последовательности не ограничено. При этом имена связей, предшествующие последнему, заключены в круглые скобки, а перед открывающей скобкой каждой пары скобок – сдвоенное двоеточие. //Обобщение типа □Обобщение типа Z – это порождение его надтипа Z[#rule] путём ослабления (здесь # – символ ослабления) связи rule из семейства связей, соответствующей типу Z. Исключение связи считаем её предельным ослаблением.□ /Применимость TSM рассчитан на формирование строчных описаний посредством QWERTY-клавиатуры. / Литература 1. В.Д. Ильин. Система порождения программ. М.: Наука, 1989, 264с. 2. А.В. Ильин. Конструирование разрешающих структур на задачных графах системы знаний о программируемых задачах. Информационные технологии и вычислительные системы, №3, 2007, с.30-36. …