Требования, предъявляемые к концептуальной модели

К концептуальной модели предъявляются следующие требования:

• адекватное отображение предметной области (язык для представления модели должен обладать достаточными выразительными возможностями для отображения явлений, имеющих место в предметной области, а сама модель должна содер­жать всю необходимую и достаточную информацию для дальнейшего проектиро­вания системы);

• непротиворечивость (модель отражает взгляды и потребности всех пользователей системы, а также обычно является результатом работы многих специалистов, по­этому целостное описание ПО должно быть проверено на непротиворечивость);

• однозначная трактовка модели всеми ее пользователями (обеспечивается формализованностью языка и четким его пониманием всеми участниками процесса соз­дания ИС);

легкость восприятия разными категориями пользователей (обеспечивается выбором соответствующего языка моделирования);

• конечность модели (несмотря на то, что реальный мир, отображаемый в КМ, явля­ется по своей природе бесконечным, инфологическая модель является конечной, что обеспечивается четким ограничением предметной области);

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

• возможность композиции и декомпозиции модели (в связи с большой размерностью реальных инфологических моделей должна обеспечиваться возможность ее композиции и декомпозиции).

Желательно, чтобы язык спецификации концептуальной модели был одинаково применим как при ручном, так и при автоматизированном проектировании информационных систем. Последнее предъявляет к языку дополнительные требования, а именно, он должен:

• быть вычисляемым, то есть восприниматься и обрабатываться ЭВМ;

• использовать «дружелюбные» пользователю интерфейсы, в частности, графические;

• быть независимым от оборудования и других ресурсов, которые подвержены частым изменениям;

• использовать средства тестирования КМ, а также иметь аппарат для указания того,
что спецификация завершена и по ней может быть выполнена генерация структур баз данных.

При автоматизированном проектировании все изменения, внесенные в КМ, должны быть автоматически отражены в связанных с модифицируемым элементом компонентах банка данных.

Желательно, чтобы КМ строили специалисты, работающие в предметной области, для которой создается АИС, а не проектировщики систем машинной обработки данных. Если в силу определенных причин это невозможно обеспечить, то необходимо, чтобы первые могли хотя бы проверить сделанное другим специалистом описание, чтобы убедиться, что специфика предметной области воспринята и отображена правильно.

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