CC BY
17
УДК 004.82:621
DOI 10.21685/2072-3059-2019-1-3
О. В. Новоселова, Н. В. Солодовникова
ПРЕОБРАЗОВАНИЕ ОПИСАНИЙ ПРОЦЕССА ПО ВРЕМЕННОЙ ХАРАКТЕРИСТИКЕ НА ЭТАПЕ КОНЦЕПТУАЛЬНОГО МОДЕЛИРОВАНИЯ1
Аннотация.
Актуальность и цели. Объектом исследования является динамическая составляющая (система предметных зависимостей) концептуальной модели (КМ). Предметом исследования является аналитическая обработка (возможность преобразования описаний) динамической составляющей концептуальной модели по временной характеристике (тактам). Цель работы - разработка метода реструктуризации динамической составляющей по тактам с учетом информационной связности действий для этапа концептуального моделирования, выполняемого при проектировании автоматизированных систем по методологии автоматизации интеллектуального труда.
Материалы и методы. Для исследования возможности реструктуризации динамической составляющей концептуальной модели введено дополнительное описание процесса (алгоритма выполнения задачи) в виде блочных матриц.
Результаты. Разработан метод и методика преобразования описаний динамической составляющей концептуальной модели на уровне признаков. Метод учитывает содержательные характеристики предметных зависимостей -подмножества признаков, участвующих в выполняемых зависимостях (действиях алгоритма) и их взаимосвязь в процессе.
Выводы. Исследование возможности преобразования процесса из последовательного в последовательно-параллельный позволило разработать метод реструктуризации динамической составляющей концептуальной модели по тактам. Применение метода на этапе проектирования автоматизированной системы позволяет выявить возможность сокращения временных затрат на выполнение алгоритма решения задачи.
Ключевые слова: процесс, реструктуризация, динамическая составляющая, концептуальное моделирование, методология автоматизации интеллектуального труда.
O. V. Novoselova, N. V. Solodovnikova
TRANSFORMATION OF PROCESS DESCRIPTIONS BY TEMPORARY CHARACTERISTICS AT THE STAGE OF CONCEPTUAL MODELING
1 Данная статья подготовлена в рамках выполнения проекта № 17-29- 07057 «Разработка методов реструктуризации и интеграции для семантических и синтаксических представлений при создании систем автоматизации процессов проектирования и управления» по гранту РФФИ.
© Новоселова О. В., Солодовникова Н. В., 2019. Данная статья доступна по условиям всемирной лицензии Creative Commons Attribution 4.0 International License (http://creativecommons.Org/licenses/by/4.0/), которая дает разрешение на неограниченное использование, копирование на любые носители при условии указания авторства, источника и ссылки на лицензию Creative Commons, а также изменений, если таковые имеют место.
Abstract.
Background. Object of a research is the dynamic component (the system of subject dependences) of the conceptual model (CM). The subject of research is the analytical processing (a possibility of conversion of descriptions) of the dynamic component of the conceptual model according to the time characteristic (time steps). The work purpose is to develop of a method of restructuring of a dynamic component on time steps taking into account the information connectivity of actions for the phase of conceptual modeling. This phase runs at design of automated system on methodology automation of intellectual labor.
Materials and methods. For a research of a possibility of restructuring of a dynamic component of conceptual model additional process description (an algorithm of execution of a task) in the form of block matrixes is entered.
Results. The method and technique of conversion of descriptions of a dynamic component of conceptual model at the level of signs is developed. The method considers information content of subject dependences - subsets of the signs participating in the carry-out dependences (actions of an algorithm) and their interconnection in process.
Conclusions. The research of a possibility the conversion of process from serial to serial-parallel allowed to develop a method of restructuring of a dynamic component of the conceptual model (CM) on time steps. Application of a method at a design stage of an automated system allows to reveal a possibility of reduction of time expenditure on execution of the algorithm of a solution of a task.
Keywords: process, restructuring, dynamic component, conceptual modeling, the methodology automation of intellectual labor (MAIL).
Введение
В соответствии с методологией автоматизации интеллектуального труда, разработанной в МГТУ «СТАНКИН», на этапе концептуального моделирования формируется описание системы знаний (или системы понятий) о предметной области в виде диаграмм и спецификаций. Описание концептуальной модели включают статическую составляющую, динамическую составляющую, их увязку - модель в целом [1].
Статическая составляющая представлена в виде концептуальной структуры, которая описывает систему понятий предметной области. Формирование концептуальной структуры выполняется на семи уровнях. Уровни определяют классы предметных категорий - цикл, процесс, задача, компонент, объект, признак, значение.
Динамическая составляющая модели является декомпозицией задачи на подзадачи. Ее описание выполняется в виде системы предметных зависимостей (СПЗ) 1-го рода в виде диаграммы и спецификаций. Визуальная нотация включает набор элементов (блоков и стрелок); структур из этих элементов: последовательность, итерация, альтернатива, цикл, переключатель; правил построения диаграмм и модели. Состав и структура диаграмм фиксируется в спецификациях. 1-й род системы предметных зависимостей обозначает использование информации только с уровня концептуальной структуры типа «признак» для выполнения действий (предметных зависимостей) при решении задачи. Для преобразования графических описаний необходимо было сформировать описание процесса выполнения зависимостей в другом виде. Для этого был выбран аппарат блочных матриц, который позволил представить систему предметных зависимостей в виде структурного описания.
Структурное описание учитывает пространственно-временные характеристики процесса решения задачи.
Введение такого представления позволяет определить и зафиксировать информационную связность между предметными зависимостями, разработать алгоритм преобразования описаний системы предметных зависимостей по тактам (временной характеристике) и конвейерам (пространственной характеристике) [2]. Аналогичный алгоритм уже был разработан авторами для системы предметных действий на этапе начального моделирования для методологии автоматизации интеллектуального труда [3, 4]:
zkt Bkt -
Bkt Bkt
Blt Bkt
Блоки матрицы определяют следующим образом: матрица-столбец В^ отражает внешнюю информационную связь Z|й сложной предметной зависимости по входным предметным категориям типа «признак»; квадратная матрица В^ отражает внутреннюю информационную связь между предметными зависимостями (к +1) уровня декомпозиции, входящими в состав сложной
предметной зависимости Zkt; матрица-строка В^ отражает внешнюю информационную связь Zkt сложной предметной зависимости по выходным
предметным категориям типа «признак»; матрица-элемент В^ состоит из одного элемента. Элемент показывает, какой тип алгоритмической конструкции описывается в блочной матрице: 1 - последовательность, п - итерация, 0 - альтернатива. Размерность В|Г складывается из размерностей входящих
в нее В1, в2, в3, в4 и равна = (т + 1)х(т +1) [2, 5-7].
До преобразования системы предметных зависимостей представляют в виде структурного описания все сложные предметные зависимости задачи формируют полное структурное описание для задачи в целом и расширенное [2, 5-7].
При формировании полного структурного описания задачи необходимо итерационно, начиная с верхнего уровня, на каждом шаге проводить включение в структурное описание максимально сложной предметной зависимости Zkt структурного описания следующего по рангу сложной предметной зависимости Z( к+1)^ по определенным правилам. Одновременно должны уточняться элементы матрицы, показывающие информационную связность предметных зависимостей на этом уровне разложения.
В процессе выполнения этих действий структурное описание задачи постепенно уточняется описаниями предметных зависимостей более низкого ранга и в результате должно быть сформировано структурное описание задачи в целом. При этом на каждом шаге размерность результирующей матрицы *
В|Г включает размерности В^ (базовой матрицы) и В(|+1)Г (встраиваемой матрицы).
На основе полного структурного описания формируют расширенное
*
структурное описание В^ . Данную матрицу получают путем транспониро-
2*
вания элементов матрицы относительно главной диагонали.
*
Далее, после построения полного структурного описания и расши-
*
ренного B|a, можно выполнять преобразование описаний системы предметных зависимостей. Для упрощения формального описания блочная матрица
* *
B|a копируется в блочную матрицу С^: B|a = C|a .
2. Преобразование системы предметных зависимостей
В результате выполнения реструктуризации системы предметных зависимостей по временной характеристике может быть сокращено количество столбцов, определяющих такты, в блочной матрице С^:
C * =
(< г (cp)2-kt • ■ (s )
fa ) (¿Г • (css)
(cp )1-kt \ mO ) (Г" : ■ (cP ))- \ ms )
( )kt V(m +1)0 ) ( )3-kt (m+l)l ■ (cP )3 (m+l)s
\3-kt
(Pm ) (cP )
\ sm / ( )
mm
2-kt
2-kt
2-kt
( )
V (m+1)(m+1) /
3-kt
Для получения оптимального по тактам структурного описания авторами выполнено формальное описание перемещения элемента главной диагонали матрицы-блока C|a - предметной зависимости и всех элементов, связанных с ней, на такт ранее. Перемещать элементы можно только при условии отсутствия информационной связности.
В блоке C|a элементы перемещаются согласно движению элементов
главной диагонали. Блоки С^, С^ блочной матрицы С^ остаются без изменений.
В результате реструктуризации СПЗ 1-го рода получают оптимальное структурное описание по временной характеристике в виде блочной матрицы С^, которая содержит сжатое по горизонтали структурное описание матрицы В^ [3, 4].
3. Методика реструктуризации системы предметных зависимостей
Методика реструктуризации системы предметных зависимостей по тактам включает следующие шаги, выполняемые итерационно:
- определение на главной диагонали (в строке /, столбце /) элемента -предметной зависимости , определяемой кодом;
- для зафиксированной предметной зависимости проверка значения элемента матрицы, расположенного слева от нее в строке I, столбце ( - 1),
значение определяемого элемента показывает наличие (1) / отсутствие (0) информационной связности;
- если информационная связность отсутствует, то выполняют перемещение всех элементов столбца (код предметной зависимости; элементы, определяющие информационную связность) на такт ранее по определенным правилам;
- переход на следующую строку (/ - 1) и повторение всех шагов заново.
При перемещении элементов, определяющих информационную связность, в ячейке матрицы столбца ( - 1) формируется строка значений, которая отражает состояние информационной связности между предметными зависимостями, расположенными в (/ - 1) столбце.
Шаги алгоритма выполняются итерационно для каждого элемента, стоящего на главной диагонали, пока не будет идентифицирован первый элемент главной диагонали в первой строке и первом столбце. После завершения прохода по главной диагонали необходимо снова вернуться к ее последней строке и последнему столбцу и начать новую итерацию. Алгоритм прекращает работу, когда не будет возможности сделать ни одного перемещения и все элементы окажутся информационно связанными.
Заключение
Формальное описание преобразования системы предметных зависимостей по временной характеристике описывает возможность реструктуризации последовательной динамической структуры задачи на основе определения информационной связности между зависимостями в последовательно-параллельную. Разработанный алгоритм преобразования системы предметных зависимостей на этапе концептуального моделирования автоматизированных систем показывает возможность сокращения временных затрат на выполнение алгоритма решения задачи при формировании системы знаний предметной области, что в дальнейшем влияет на затрачиваемые временные ресурсы вычислительной среды при работе автоматизированной системы.
Библиографический список
1. Волкова, Г. Д. Методология автоматизации интеллектуального труда /
Г. Д. Волкова. - Москва : Янус-К, 2013. - 104 с. k. Курышев, С. М. Разработка методов и средств формирования и моделирования представлений проектно-конструкторских задач на этапе предпроектного обследования организации при создании САПР машиностроительного назначения : автореф. дис. ... канд. техн. наук / Курышев С. М. - Москва, 1999. - kk с.
3. Любчикова, О. В. Моделирование традиционных процессов решения предметных задач / О. В. Любчикова, Н. В. Солодовникова // Автоматизация и информационные технологии (АИТ-2014) : материалы студ. науч.-практ. конф. -Москва : ФГБОУ ВПО МГТУ «СТАНКИН», 2014. - С. 96-97.
4. Новоселова, О. В. Реструктуризация процесса выполнения задачи по временной характеристике на этапе предпроектного обследования / О. В. Новоселова, О. В. Любчикова // Передовая наука - 2015 : материалы XI Междунар. науч.-практ. конф. Т. 27: Математика. Физика. Современные информ. технологии (Англия, Шеффилд, 30 апреля - 7 мая 2015 г.) / под ред. Michael Wilson. - Sheffield : Science and Education LTD, 2015. - Р. 49-52.
5. Волкова, Г. Д. Моделирование предметных задач на ранних этапах автоматизации / Г. Д. Волкова, Н. М. Ефромеев // Компьютерные науки и технологии : те-
зисы докладов Междунар. науч. конф., посвящ. памяти проф. А. М. Богомолова. -Саратов : СГУ им. Н. Г. Чернышевского, 2012.
6. Новоселова, О. В. Моделирование традиционных процессов решения предметных задач на начальном этапе автоматизации / О. В. Новоселова // Эффективные инструменты современных наук - 2014 : материалы Х Междунар. науч.-практ. конф. - Чехия, Прага : Publishing House «Education and science», 2014. -С. 23-30.
7. Щукин, М. В. Формальное описание содержания предметных зависимостей при концептуальном моделировании прикладных автоматизированных систем / М. В. Щукин // V-я научная конференция МГТУ «Станкин» и «Учебно-научного центра математического моделирования МГТУ «СТАНКИН» - ИММ РАН» (14-15 мая 2002 г.) : сб. докл. - Москва : МГТУ «Станкин», 2002. - С. 61-65.
References
1. Volkova G. D. Metodologiya avtomatizatsii intellektual'nogo truda [Methodology for the automation of intellectual labor]. Moscow: Yanus-K, 2013, 104 p. [In Russian]
2. Kuryshev S. M. Razrabotka metodov i sredstv formirovaniya i modelirovaniya pred-stavleniy proektno-konstruktorskikh zadach na etape predproektnogo obsledovaniya organizatsii pri sozdanii SAPR mashinostroitel'nogo naznacheniya: avtoref. dis. kand. tekhn. nauk [Development of methods and tools for the formation and modeling of representations of design and engineering tasks at the stage of a pre-project survey of an organization when creating CAD systems for engineering purposes: author's abstract of dissertation to apply for the degree of the candidate of engineering sciences]. Moscow, 1999, 22 p. [In Russian]
3. Lyubchikova O. V., Solodovnikova N. V. Avtomatizatsiya i informatsionnye tekhnologii (AIT-2014): materialy stud. nauch.-prakt. konf. [Automation and information technology - 2014: proceedings of student scientific and practical conference]. Moscow: FGBOU VPO MGTU «STANKIN», 2014, pp. 96-97. [In Russian]
4. Novoselova O. V., Lyubchikova O. V. Peredovaya nauka - 2015: materialy XI Mezhdunar. nauch.-prakt. konf. T. 27: Matematika. Fizika. Sovremennye inform. tekhnologii (Angliya, Sheffild, 30 aprelya - 7 maya 2015 g.) [Advanced Science -2015: proceedings of XI International scientific and practical conference. Volume 27: Mathematics. Physics. Modern information technologies (England, Sheffield 30th of April - 7th of May, 2015)]. Sheffield: Science and Education LTD, 2015, pp. 49-52. [In Russian]
5. Volkova G. D., Efromeev N. M. Komp'yuternye nauki i tekhnologii: tezisy dokladov Mezhdunar. nauch. konf., posvyashch. pamyati prof. A. M. Bogomolova [Computer science and technology: proceedings of International scientific conference dedicated to memory of professor A.M. Bogomolov]. Saratov: SGU im. N. G. Chernyshevskogo, 2012. [In Russian]
6. Novoselova O. V. Effektivnye instrumenty sovremennykh nauk - 2014: materialy X Mezhdunar. nauch.-prakt. konf. [Effective tools of modern science - 2014: proceedings of X International scientific and practical conference]. Chekhiya, Praga: Publishing House «Education and science», 2014, pp. 23-30. [In Russian]
7. Shchukin M. V. V-ya nauchnaya konferentsiya MGTU «Stankin» i «Uchebno-nauchnogo tsentra matematicheskogo modelirovaniya MGTU «STANKIN» - IMM RAN» (14-15 maya 2002 g.): sb. dokl. [V scientific conference of MSTU "Stankin" and "Educational and Scientific Center of Mathematical Modeling MSTU "STANKIN" -IMM RAS" (14-15th of May, 2002): collected articles]. Mоscow: MGTU «Stankin», 2002, pp. 61-65. [In Russian]
Новоселова Ольга Вячеславовна
кандидат технических наук, доцент, кафедра информационных технологий и вычислительных систем, Московский государственный технологический университет «СТАНКИН» (Россия, г. Москва, Вадковский пер., 3-А)
E-mail: ovnovoselova@yandex.ru
Солодовникова Наталия Витальевна
аналитик отдела системного анализа, Общество с ограниченной ответственностью «АНсистемс» (Россия, г. Москва, ул. Русаковская, 13)
E-mail: double_floris@mail.ru
Novoselova Ol'ga Vyacheslavovna Candidate of engineering sciences, associate professor, sub-department of information technology and computing systems, Moscow State Technological University "STANKIN" (3A, Vadkovskiy lane, Moscow, Russia)
Solodovnikova Nataliya Vital'evna
System analyst,
LLC "ANsystems" (13 Rusakovskaya street, Moscow, Russia)
Образец цитирования:
Новоселова, О. В. Преобразование описаний процесса по временной характеристике на этапе концептуального моделирования / О. В. Новоселова, Н. В. Солодовникова // Известия высших учебных заведений. Поволжский регион. Технические науки. - 2019. - № 1 (49). - С. 34-40. - Б01 10.21685/2072-3059-2019-1-3.
