|
77 последовательностей, то общий набор методов экземпляра данного класса будет состоять из объединения набора М* и всех методов, определенных для экземпляров, составляющих экземпляр класса последовательностей, то есть, м**=м7чп Л'/А') 1-1/« 4. Отсутствие дублирования: если М метод из Ч* или группа методов, описанных для некоторого класса объектов, сопоставленных реальной функции или действию, то на данном уровне иерархии не существует иного метода, либо группы методов из Ч' отличных от М, которые также сопоставляются данной реальной функции (действию). Далее мы исключим из рассмотрения более специфические аспекты наследования свойств и методов, такие как, например, множественное наследование, имеющее важное значение в объектно-ориентированных языках, поскольку на уровне концептуального и логического моделирования описание данных аспектов не представляет трудностей (в отличие от их реализации в языках программирования) и, в то же время, далеко не всегда возникает необходимость их применения. Аналогично множеству 2Т, пользовательские ограничения, накладываемые на свойства и методы объектов можно выделить в отдельное множество, которое необходимо формировать в зависимости от условий реальной задачи. Приложение, в отличие от информационной базы, будет основываться на структуре функциональных объектов и их методах и свойствах. На уровне концептуального и логического моделирования выделение набора объектов в приложение не является необходимым, однако оно должно быть проведено на этапе построения физической модели. Таким образом, нами определен порядок формализации информационных потребностей в виде принципа множеств, правил их формирования, функций и их свойств. Концептуальное моделирование, смысл которого состоит в построении модели, наиболее близкой к |
95 Множество У должно удовлетворять следующим правилам формирования: 1. Правило разделения методов, относящихся к конкретным и абстрактным классам объектов: методы объектов, определенные для конкретных и абстрактных классов образуют подмножества и т\ причем уА П ^ = 0. 2. Если набор экземпляров Х1,...,:х„ е О. определен как экземпляр класса указателей /е ............... .-4} е Г2, а А/*специфический набор методов из определенный на данном уровне иерархии для класса указателей, то общий набор методов экземпляра данного класса будет состоять из объединения набора М* с пересечением наборов методов, определенных для экземпляров, составляющих экземпляр класс указателей, то есть, м М* У ( р М Л / ) . 1=1 :п 3. Если набор экземпляров X / :хп е П определен как экземпляр класса последовательности X = ( Х ] ........х„) е С1У а М специфический набор методов из Ч\ определенный на данном уровне иерархии для класса последовательностей, то общий набор методов экземпляра данного класса будет состоять из объединения набора А/* и всех методов, определенных для экземпляров, составляющих экземпляр класса последовательностей, то есть, м*-м' г=1п 4. Отсутствие дублирования: если М метод из У7, или группа методов, описанных для некоторого класса объектов, сопоставленных реальной функции или действию, то на данном уровне иерархии не существует иного метода, либо группы методов из Ч\ отличных от А/, которые также сопоставляются данной реальной функции (действию). Далее мы исключим из рассмотрения более специфические аспекты наследования свойств и методов, такие как, например, множественное наследование, имеющее важное значение в объектно-ориентированных языках. 96 поскольку на уровне концептуального и логического моделирования описание данных аспектов не представляет трудностей (в отличие от их реализации в языках программирования) и, в то же время, далеко не всегда возникает необходимость их применения. Аналогично множеству пользовательские ограничения, накладываемые на свойства и методы объектов можно выделить в отдельное множество, которое необходимо формировать в зависимости от условий реальной задачи. Приложение, в отличие от информационной базы, будет основываться на структуре функциональных объектов и их методах и свойствах. На уровне концептуального и логического моделирования выделение набора объектов в приложение не является необходимым, однако оно должно быть проведено на этапе построения физической модели. Таким образом, нами определен порядок формализации информационных потребностей в виде концепции множеств, правил их формирования, функций и их свойств. Концептуальное моделирование, смысл которого состоит в построении модели, наиболее близкой к естественному языку необязательно должно проводиться при помоши символов, однако оно должно использовать классификацию понятий, выделение классов объектов, множеств и определение их свойств, применяемые в объектно-ролевом подходе, если в дальнейшем предполагается его использование для преобразования концептуальной модели в логическую. Использование для моделирования технических средств (систем автоматизированной разработки приложений) может потребовать введения в модель дополнительных условий и ограничений, позволяющих свести языкописания объектно-ролевой модели к языку описания моделей, принятому в таких системах, поэтому при формировании пользовательских ограничений необходимо учитывать возможность дальнейшего использования таких средств. Как отмечалось выше, одним из важных требований, предъявляемых к |