Концептуальное моделирование задачи формирования алгоритмических структур инфологических моделей предметных задач

Увеличение сложности и объема информационных систем требует высокого качества проектирования и реализации для обеспечения их эффективности. Методология автоматизации интеллектуального труда (МАИТ) предлагает системный подход к этому процессу, начиная с начального моделирования и последующих этапов концептуального, инфологического и даталогического моделирования. Применение МАИТ так же позволяет автоматизировать создание средств поддержки всех перечисленных этапов. В частности, этапа инфологического моделирования. Так как начальное моделирование уже выполнено, то следующим шагом будет концептуальное моделирование одной из задач, а именно задачи формирования алгоритмических структур инфологических моделей предметных задач.

Ключевые слова: методология автоматизации интеллектуального труда, инфологическое моделирование, концептуальное моделирование, алгоритмические структуры, проектирование автоматизированных систем.

Инфологическое моделирование — это этап методологии автоматизации интеллектуального труда, следующий за концептуальным моделированием. Основной особенностью инфологической модели является ее независимость от программно-технической среды и средств ее реализации [1].

На основе начальной модели была разработана концептуальная модель, которая представляет собой систему знаний по рассматриваемой предметной задаче. Эта модель включает элементы, структурные связи между ними и ограничения [2].

В процессе концептуального моделирования была создана диаграмма системы предметных зависимостей, диаграмма концептуальной структуры задачи и набор спецификаций для рассматриваемой задачи [2].

На рисунках 1, 2 представлена диаграмма концептуальной структуры задачи. Диаграмма СПЗ приведена на рис. 3.

Рис. 1. Диаграмма концептуальной структуры задачи (начало)

Рис. 2. Диаграмма концептуальной структуры задачи (окончание)

Рис. 3. Фрагмент диаграммы системы предметных зависимостей. Блок c11.9

На основе диаграммы системы предметных зависимостей были получены следующие спецификации концептуальной структуры, которые приведены в таблицах 1 и 2.

Таблица 1

Фрагмент спецификации F3 «Описание предметных зависимостей»

Таблица 2

Фрагмент спецификации F4 «Описание системы предметных зависимостей»

В результате была разработана концептуальная модель задачи инфологического моделирования предметных задач. На основании разработанной концептуальной модели задачи инфологического моделирования предметных задач, можно будет создать инфологическую и даталогическую модели для формирования алгоритмических структур инфологических моделей предметных задач. Эти модели будут служить основой для дальнейших этапов проектирования и реализации автоматизированных систем, обеспечивая высокое качество и эффективность их работы.

1. Волкова, Г. Д. Проектирование прикладных автоматизированных систем в машиностроении: учебное пособие / Г. Д. Волкова, О. В. Новоселова, Е. Г. Семячкова; Министерство образования Российской Федерации, Московский государственный технологический университет «СТАНКИН», Учебно-методическое объединение по образованию в области автоматизированного машиностроения (УМО AM). — Москва: Московский государственный технологический университет «СТАНКИН», 2002. — 162 с.: ил., табл.
2. Волкова Г. Д. Концептуальное моделирование проектных задач: Учебное пособие, — М.: ФГБОУ ВО «МГТУ «Станкин», 2015. — 117с.