Глава 2. Моделирование реальности в информационных системах

Содержание

2.1. Структурированные модели
2.2. Слабоструктурированные модели
2.3. Формальные модели
2.4. Неструктурированные модели
2.5. Модели данных
2.6. Материализация моделей предметной области
2.7. Вопросы для самопроверки

В главе использована книга [KAGA01], c. 22-28.

Создание информационной системы с целью поддержания деятельности в какой-либо сфере позволяет лицу, занимающемуся этой деятельнос­тью, взаимодействовать не с реальными объектами предметной облас­ти системы, а с информационной системой, не выходя из своего офи­са. Такой подход позволяет получать сведения о состоянии сущностей и процессов предметной области информационной системы не пу­тем непосредственных измерений (наблюдений) в реальном мире, а используя информационную модель. Достоинство модельного под­хода состоит в том, что он предоставляет возможности для анализа и оценки последствий различных управленческих решений без прове­дения натурного эксперимента.

Важную роль в моделировании предметной области информацион­ной системы играют ее информационные ресурсы. Во всех классах моде­лей, рассматриваемых ниже, кроме случая темпоральных баз данных, информационные ресурсы системы представляют статическую модель предметной области, характеризуя ее текущее состояние. Темпоральные базы данных позволяют представлять динамику предметной области — изменение ее состояния во времени.

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

Точно так же, как обстоит дело с характеристиками времени, во всех распространенных классах моделей, за исключением объектных, инфор­мационные ресурсы не моделируют поведенческие аспекты предметной области. Эта функция выполняется компонентами приложения инфор­мационной системы. В таких случаях приложение фактически интегри­руется с информационной системой, и трудно провести разделяющие их границы.

Природа моделей предметной области, поддерживаемых в инфор­мационных системах, может быть различной. С технологической точ­ки зрения наиболее существенны различия подходов к моделированию предметной области по степени структурированности ее пред­ставлений, которую они обеспечивают.

Используемые в настоящее время подходы к моделированию предмет­ной области в информационных системах охватывают следующий спектр возможностей.

Модели такого рода основаны на выяв­лении регулярной структуры предметной области. Для конструирова­ния таких моделей нужно типизировать сущности предметной области, относя к одному типу сущности с одинаковым набором свойств. Анало­гичным образом типизируются связи между сущностями. Связи определя­ются на множествах типов сущностей и могут иметь различную арность. Например, связи могут быть бинарными или n-арными. Представление предметной области, сконструированное с помощью рассматриваемого подхода, также называется структурированным.

Одной из разновидностей рассматриваемого подхода к моделирова­нию предметной области является объектный (или объектно-ориенти­рованный) подход, который дает возможность моделировать не только структуру предметной области, но и поведение экземпляров сущностей, относящихся к каждому определенному типу. С этой целью определение каждого типа сущностей включает определения допустимых на его экземплярах операций (или методов).

При использовании структурированных моделей представление пред­метной области имеет два уровня. Представление более высокого уровня абстракции — это модель предметной области, отображающая ее свойства, инвариантные во времени. Эта модель представляется в терминах типов сущностей предметной области и типов связей между ними. Такую модель называют интенсионалом предметной об­ласти. Второй, более конкретный уровень, моделирует состояние пред­метной области в зависимости от времени. Модель этого уровня пред­ставляется, в терминах конкретных экземпляров сущностей и связей определенных типов между ними. Эту модель называют экстенсионалом предметной области.

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