|
68 Данное ограничение предполагают, что все экземпляры, базирующиеся на предикате (р), должны быть разделены в популяции на базе фактического класса для данного предиката. юш1(р) ~\/х еРор(Вахе(р)) Зу еРор(Рас1(р))Цу(/?)=х\ Последний вид ограничений мы определим как правило исключения. Данное правило состоит в том, что популяция различных классов объектов не может иметь какого-либо экземпляра, принадлежащего одновременно двум или более классам объектов. ехс1тюп({хь...^п}) = V/<,•^[Рор(л:I),)п/>с^^7(л:/) =0] Описанные выше правила обеспечивают наиболее общее представление о том, как должна формироваться информационная структура. Как уже отмечалось выше, существенным преимуществом объектного подхода является его совместимость с системами поддержки принятия управленческих решений. Такая совместимость существует с того момента, когда неформализованная информация структурирована при помощи разбиения на группы понятий, классификации и применения других абстрактных механизмов. Другими словами, совместимость может быть обеспечена после определения классов, определения правил отнесения к популяции, выделения популяции информационной структуры и определения дополнительных ограничений на популяцию и правила отнесения к популяции. Таким образом, несмотря на то, что предлагаемая объектносемантическим подходом модель позволяет провести концептуальное моделирование на языке, непосредственно интерпретируемым в язык логической модели, пока что не существует автоматических средств разработки концептуальных моделей. Выделение классов, популяции и построение объектной модели целиком находятся в компетенции коллектива разработчиков. Для обеспечения совместимости с имеющимися моделями или для облегчения разработки моделей, не требующих описания всего комплекса |
86 экземплярами обобщенного объектного класса, в отличие от специализации, в которой все определяется правилами образования подкласса. Во вселенной экземпляров могут быть наложены дополнительные ограничения на правила популяции. Например, может быть указано, что несмотря на составное имя объекта, в популяции он должен иметь единичный идентификатор. Данные ограничения могут быть выделены в особое множество ограничений Д Далее мы определим три основных ограничения формирующих Д обязательно присутствующих в модели. Требование уникальности. Популяция предикатов (/7), как было отмечено выше, не может иметь множественное отражение в различных экземплярах. ипира'/р) \/х,уеРор(Р'асГ(р)) /х(р) ~у(р)<^> х у / /Другим видом ограничений является ограничение глобальной роли. Данное ограничение предполагают, что все экземпляры, базирующиеся на предикате (/?) должны быть разделены в популяции на базе факгического класса для данного предиката. шшКр) У х е Рор(Вахс(р)) ЗуеРорСРас/ф)) [у(р) х/ Последний вид ограничений мы определим как правило исключения. Данное правило состоит в том, что популяция различных классов объектов не может иметь какого либо экземпляра, принадлежащего одновременно двум или более классам объектов. ехсЫМоп({х\ х„}) V , , < „ /Рор(х1) П Рор(х/) 0 / Описанные выше правила обеспечивают наиболее общее представление о том, как должна формироваться информационная структура. Как уже отмечалось выше, существенным преимуществом объектного подхода является его совместимость с автоматизированными средствами разработки приложений. Такая совместимость существует с того момента, когда неформализованная информация структурирована при помощи разбиения на 87 группы понятий, классификации и применения других абстрактных механизмов. Другими словами, совместимость может быть обеспечена после определения классов, определения правил отнесения к популяции, выделения популяции информационной структуры и определения дополнительных ограничений на популяцию и правила отнесения к популяции. Таким образом, несмотря на то, что предлагаемая объектно-ролевым подходом модель позволяет провести концептуальное моделирование на языке, непосредственно интерпретируемым в язык логической модели, пока что не существует автоматических средств разработки концептуальных моделей. Выделение классов, популяции и построение объектной модели целиком находятся в компетенции коллектива разработчиков. Для обеспечения совместимости с имеющимися моделями или для облегчения разработки моделей, не требующих описания всего комплекса понятий и механизмов абстракции, объектно-ролевое моделирование предлагает вводить дополнительные условия и ограничения, что обычно обозначается как «настройка» ядра модели [73]. Ниже мы проиллюстрируем это положение при помощи сравнения с существующими модельными техниками. Рассмотрим модель «сущность-связь» («епМу-ге1аПопз1йр» тос1е1, сокращенно ЕК).[78] Данная модель является простейшей из существующих и не поддерживает описание механизмов абстракции, а следовательно, и наследования. Вследствие этого, данный подход не является в чистом виде объектно-ориентированным, однако при помощи ограничений, вводимых в объектно-ролевую модель, мы можем свести ее к модели «сущность-связь». Ограничение! .(ЕК) Отсутствие сложных классов. 011^110 = 0 Ограничение2.(ЕК) Отсутствие иерархии наследования. М{1г = 0 , то есть функции иерархии наследования не определены. |