Категориальный анализ логики в концептуальном моделировании предметных областей для семантической целостности информационных ресурсов
Автор: Антонов В.В., Кононов Н.А., Пальчевский Е.В.
Журнал: Онтология проектирования @ontology-of-designing
Рубрика: Общие вопросы формализации проектирования: онтологические аспекты и когнитивное моделирование
Статья в выпуске: 3 (53) т.14, 2024 года.
Бесплатный доступ
Рассматривается возможность применения аппарата категориального анализа логики для формирования концептуальной модели предметной области для проектирования информационной системы. Сформулирована проблема семантической разобщённости информационных ресурсов. Актуальность исследований обусловлена динамичным развитием информационных технологий и потребностью в их интеграции. Определено, что семантическая разобщённость возникает в процессе интеграции гетерогенных информационных ресурсов, «заложенная» на этапе проектирования информационных систем в рассматриваемой предметной области. Выявлено влияние, оказываемое информационной системой, содержащей нарушения семантической целостности, на обеспечиваемые бизнес-процессы. Выделены проблемы-маркеры: информационные разрывы, дублирование информации, необходимость предварительной обработки информации. Показано, что интеграция информационных ресурсов является обязательным, но не единственным условием для формирования семантической целостности системы. Предложено формирование единого контекста для интегрируемых компонентов системы как обязательного условия их интеграции. Разработана классификация подходов к интеграции информационных ресурсов, базирующихся на их семантической целостности. Сформулированы предложения по применению аппарата категориального анализа логики в рамках концептуального моделирования предметной области как универсального компонента по обеспечению семантической целостности системы. Новизна предлагаемого подхода заключается в рассмотрении компонентов информационной системы как множеств на базе теории категорий, выстраивании категориальных отношений между ними и идентификации структурных изоморфизмов в формальной модели.
Категориальный анализ логики, формальная модель, семантическая целостность, проектирование, информационная система
Короткий адрес: https://sciup.org/170206312
IDR: 170206312 | DOI: 10.18287/2223-9537-2024-14-3-324-334
Список литературы Категориальный анализ логики в концептуальном моделировании предметных областей для семантической целостности информационных ресурсов
- Антонов В.В., Конев К.А., Пальчевский Е.В., Родионова Л.Е., Баймурзина Л.И. Обеспечение актуальности знаний о бизнес-процессе предприятия на основе онтологической модели // Онтология проектирования. 2024. Т.14, №1(51). С.107-118. DOI: 10.18287/2223-9537-2024-14-1-107-118.
- Kersten M., Khanagha S., Hooff B., Khapova S. Digital transformation in high-reliability organizations: A longitudinal study of the micro-foundations of failure. The Journal of Strategic Information Systems. 2023. DOI: 10.1016/j.jsis.2023.101756.
- Dove R. Response Ability: The Language, Structure, and Culture of the Agile Organization, 2002. New York: Wiley. DOI: 10.1002/inst.20046241.
- Zelenkov Y.A. Agility of enterprise information systems: A conceptual model, design principles and quantitative measurement. BusinessInformatics, 2018. No.2(44). P.30-44. DOI: 10.17323/1998-0663.2018.2.30.44.
- Запорожцев А.В. Проблемы проектирования автоматизированных систем управления организационно -техническими системами // Вестник ННГУ. 2013. №6-1. C.239-246.
- Liu X., Hu C., Huang J., Liu F. A Semantic Data Integration and Service System Based on Domain Ontology // IEEE First International Conference on Data Science in Cyberspace (DSC), Changsha, China, 2016. P.302-306, DOI: 10.1109/DSC.2016.15.
- Klein M. Combining and relating ontologies: an analysis of problems and solutions // IJCAI-2001Workshop on Ontologies and Information Sharing, Seattle, WA, 2001. P.53-62.
- Горский Д.П. Вопросы абстракции и образования понятий. М.: Изд-во АН СССР. 1961. 352 с.
- Марка Д., Макгоуэн К. Методология структурного анализа и проектирования SADT. М.: МетаТехнология, 1993. 240 с.
- Проблемы методологии системного исследования / Ред. И.В. Блауберг, В.Н. Садовский, Э.Г. Юдин. М.: Мысль. 1970. 456 с.
- Колыбенко Е.Н. Разграничение понятий математического и логического моделирования // Вестник Донского государственного технического университета. 2019. 19(3). С.262-267. DOI: 10.23947/1992-5980-201919-3-262-267.
- Юсупова Н.И., Сметанина О.Н., Агадуллина А.И., Рассадникова Е.Ю. Вопросы моделирования при организации информационной интеллектуальной поддержки управленческих решений в сложных системах // Фундаментальные исследования. 2017. №2. С.107-113.
- Кононов Н.А., Суворова В.А. Разработка формальной модели реализации процесса взаимодействия компонентов сложной системы на примере информационного сопровождения приемной кампании. Молодежный вестник УГАТУ. 2023. №1(27). C.59-64.
- Ouksel A., Sheth A. Semantic Interoperability in Global Information Systems: A Brief Introduction to the Research Area and the Special Section. SIGMOD, 1999, Record. 28. P.5-12.
- Куликов Г.Г, Сапожников А.Ю., Кузнецов А.А., Маврин А.С. Методология проектирования системных моделей рабочих процессов с применением предметно-ориентированных метаязыков // Вестник ЮжноУральского государственного университета. Серия: Компьютерные технологии, управление, радиоэлектроника. Челябинск: 2020. С.45-55.
- Арсеньев Д.Г., Шкодырев В.П. Семантическая интероперабельность киберфизических систем как технологической платформы систем промышленной автоматизации // Материалы мультиконференции XVI Всероссийская мультиконференция по проблемам управления, 2023. Т.2. C.44-47.
- Олейников А.Я., Рубан К.А. Модели и стандарты обеспечения интероперабельности // Информатизация образования и науки, 2009. №3 С.24-34.
- Куликов Г.Н., Антонов В.В., Антонов Д.В., Шингареев Ф.Ф. Метод предметно-ориентированной классификации и системного моделирования слабоформализованных информационных потоков в системах автоматизированного производства // Вестник Южно-Уральского государственного университета. Серия: компьютерные технологии, управление, радиоэлектроника. Челябинск: 2016. С. 116-130.
- Vinogradov G.P., Prokhorov A.A. Ontologies in the problems of building a concept domain model // Software & Systems - Программные продукты и системы. 2018. №4. С.677-683. DOI: 10.15827/0236-235X.124.677-683.
- Райков А.Н. Онтологизация научных открытий // Управление развитием крупномасштабных систем (MLSD'2021). М.: Институт проблем управления им. В.А. Трапезникова РАН. 2021. С.342-348.
- Топосы: Категорный анализ логики / Р. Голдблатт; Перевод с англ. В.Н. Гришина, В.В. Шокурова. М.: Мир, 1983. 486 с.
- Кормен Т. и др. Алгоритмы: построение и анализ. 3-е изд: пер. с англ. М.: Вильямс, 2013. 1323 с.
- Свидетельство о государственной регистрации программы для ЭВМ № 2024661463 РФ. «Программа автоматизированного семантического сопоставления сущностей информационных ресурсов на основе информационных моделей»: № 2024660117: заявл. 03.05.2024: опубл. 17.05.2024 / Н. А. Кононов.
