омонимы: Идентичные термы, обозначающие различные сущности.
некоторой неоднозначности.
запрещены. Это запрещение
В некоторых
не является
Омонимы могут привести к
информационных системах они
фундаментальным требованием.
пространство сущностей: Совокупность сущностей, воспринимаемых как
единое целое.
В одно и то же или в различное время можно различать много разных
пространств сущностей. Кроме того, сущность может принадлежать многим
пространствам сущностей.
пространство высказываний: Совокупность высказываний, каждое из которых
истинно для данного пространства сущностей. Совокупность предложений,
выражающих высказывания пространства высказываний, содержит информацию
о соответствующем пространстве сущностей.
проблемная область: Все сущности, являющиеся объектом интереса, которые
были, есть или когда-либо могут быть.
Проблемная область является областью возможных сущностей. Проблемная
область ограничивается возможными сущностями, представляющими для нас
интерес. В примере из приложения Б проблемная область Органа Регистрации
состоит из всех автомобилей, изготовителей, моделей изготовителей, гаражей,
людей и т.д., которые существовали, существуют или когда-либо будут
существовать и которые интересуют Орган Регистрации.
Все высказывания, которые могут выполняться в одном или нескольких
пространствах сущностей, вместе составляющих проблемную сферу, формируют
область возможных высказываний. Проектировщика информационной системы
должны интересовать те высказывания, которые выполняются во всех
возможных пространствах сущностей.
необходимое высказывание
должносодержаться
и является истинным
во всех возможных
во всех пространствах
Высказывание,которое
пространствах высказываний
сущностей.
Необходимые высказывания определяют состояния, обязательные для всех
сущностей во всех пространствах сущностей. Эти высказывания представляют
абстракцию всех пространств сущностей, обобщающую то, что у них общее.
Необходимые высказывания определяют, какие сущности могут встретиться в
любом пространстве сущностей (возможные сущности). В соответствующих
случаях они определяют также, какие сущности должны появляться в каждом
пространстве сущностей (необходимые сущности).
Классификации, правила, законы и т.д. проблемной области, описанные в
разделе 2, образуют необходимые высказывания.
класс [сущностей]: Сущности проблемной области, для которых данное
высказывание является истинным.