Модели и диаграммы, используемые при проектировании ис
Обычно бывает трудно, а иногда и невозможно проследить за поведением реальных систем в разных условиях или изменить эти системы. Решить данную проблему помогают модели. Построив модель системы, можно многократно возвращаться к начальному её состоянию, а также наблюдать за поведением её в изменяющихся условиях.
Модель (лат. “modulus” – мера) – объект-заместитель объекта-оригинала, обеспечивающий изучение некоторых свойств последнего; упрощенное представление системы для её анализа и предсказания, а также получения качественных и количественных результатов, необходимых для принятия правильного управленческого решения.
Д
ля
проектирования ИС используют информационные
модели, представляющие объекты и процессы
в форме рисунков, схем, чертежей, таблиц,
формул, текстов и т.п. Информационная
модель – это модель объекта, процесса
или явления, в которой представлены
информационные аспекты моделируемого
объекта, процесса или явления. Она
является основой разработки моделей
ИС. Вообще построение диаграмм и
моделирование работы программы с помощью
различных моделей является методологиями
проектирования ИС. Различают SADT
(создаются модели IDEFO),
DFD(диаграммы
потоков данных), ERD
(диаграммы сущность-связь).
Результатом применения методологии SADT является модель, которая состоит из диаграмм, фрагментов текстов и глоссария, имеющих ссылки друг на друга. Диаграммы - главные компоненты модели, все функции ИС и интерфейсы на них представлены как блоки и дуги. Одной из наиболее важных особенностей методологии SADT является постепенное введение все больших уровней детализации по мере создания диаграмм, отображающих модель.
В основе методологии DFD лежит построение модели анализируемой ИС - проектируемой или реально существующей. В соответствии с методологией модель системы определяется как иерархия диаграмм потоков данных (ДПД или DFD), описывающих асинхронный процесс преобразования информации от ее ввода в систему до выдачи пользователю. Источники информации (внешние сущности) порождают информационные потоки (потоки данных), переносящие информацию к подсистемам или процессам. Модель информационных потоков – модель ИС, которая описывает существующие для системы параметры и переменные величины, связи между ними, входы и выходы. Можно сказать, что это функциональная модель ИС.
процесс
разработки информационной системы
включает следующие этапы: 
физическая модель – детальное описание ИС, выполненное с учетом программных средств и оболочек , в которых она будет реализована, а также платформы, на которые оболочки будут реализованы
концептуальная модель – отображение в графическом виде сущностей, понятий и связей между ними, средство коммуникации разработчиков и пользователей. Основным требованием, предъявляемым к концептуальной модели, является требование адекватного отображения предметной области. Модель должна быть непротиворечивой, отражать взгляды и потребности всех пользователей системы. Модель должна обладать свойством легкой расширяемости, обеспечивающим ввод новой информации. Один из способов построения модели это ER-модель. Основными конструкциями модели являются сущности и связи. Сущности имеют свойства, называемые атрибутами. Атрибуты должны позволять различать экземпляры сущности. Например, для сущности Магазин атрибутами являются его название, адрес, специализация, площадь торговых залов и т. д. На ER-диаграмме атрибуты изображаются овалами, в которых указаны их имена, соединенными с сущностями прямыми линиями. Описывает сущности, свойства и связи.
Логическая модель - Основная идея при построении логических моделей знаний заключается в следующем – вся информация, необходимая для решения прикладных задач, рассматривается как совокупность фактов и утверждений, которые представляются как формулы в некоторой логике. Знания отображаются совокупностью таких формул, а получение новых знаний сводится к реализации процедур логического вывода. Логические модели представления знаний реализуются средствами логики предикатов. Предикатом называется функция, принимающая только два значения - истина и ложь - и предназначенная для выражения свойств объектов или связей между ними. Выражение, в котором утверждается или отрицается наличие каких-либо свойств у объекта, называется высказыванием.
Наиболее простым языком логики является исчисление высказываний, в котором отсутствуют переменные. Любому высказыванию можно приписать значение истинно или ложно. Отдельные высказывания могут соединяться связками И, ИЛИ, НЕ, которые называются булевыми операторами. Знания, которые могут быть представлены с помощью логики предикатов, являются либо фактами, либо правилами.