|
56 группе классов мы можем, при помощи уточнения свойств объектов, образующих данный класс, выделить некоторый дочерний класс объектов (подкласс), обладающих дополнительными или уточненными свойствами. Аналогичным образом, можно для некоторого набора классов объектов выделить несколько общих свойств и определить новый класс, элементы которого обладают новым набором свойств. Этот механизм представляет собой комбинацию абстрактных механизмов обобщения либо специализации и классификации. Вначале дадим математическую интерпретацию свойствам множества объектов. Определим рассматриваемое нами множество объектов через О. Как отмечалось выше мы можем рассматривать две группы объекты, отражающие общие понятия и объекты, являющиеся модельным символом реальных предметов. При объектном моделировании это различие приводит к выделению двух классов объектов конкретному и абстрактному. Принято говорить также, что экземпляры конкретного класса могут быть представлены непосредственно, то есть для них можно установить связь между экземпляром класса и реальным предметом, экземпляры абстрактного класса могут быть сопоставлены только общим типам понятиям, существующим только в человеческом восприятии. Таким образом, определим два подмножества: конкретный класс, или множество конкретных объектов Ь, абстрактный класс, или множество абстрактных объектов Л', тогда О = Ь и N. Метод агрегирования предполагает, что некоторые объекты можно разложить на составные части, тогда объекты, которые не имеют внутренней структуры и для которых не может быть применен метод декомпозиции к более простым объектам определяются как базовые и образуют множество базовых объектов, или базовый класс Л. |
74 термины для обозначения всех рассмотренных выше групп понятий и может служить для формализации механизмов абстракции. Выше нами было определено понятие объекта, являющееся базовым для модели, так как в основе настоящего подхода лежит математическая модель бесконечного множества объектов, называемого обычно «вселенной объектов». При этом, «вселенная объектов» будет включать все объекты окружающего мира, то есть бесконечное множество понятий, поставленных в соответствие бесконечному набору предметов реального мира. Те объекты, которые нас интересуют в контексте создания конкретной информационной модели будут образовывать особое подмножество «вселенной объектов», которое называется «популяция информационной модели». Характерным признаком бесконечного множества объектов является возможность применения для его элементов методов абстракции, позволяющих рассматривать объекты в связи с иерархической структурой, образованной классами объектов и имеющей внутри себя отношения наследования. Иерархия наследования служит также для целей классификации внутри вселенной объектов. Основываясь на некотором классе объектов или на группе классов мы можем, при помощи уточнения свойств объектов, образующих данный класс, выделить некоторый дочерний класс объектов (подкласс), обладающих дополнительными или уточненными свойствами. Аналогичным образом, можно для некоторого набора классов объектов выделить несколько общих свойств и определить новый класс, элементы которого обладают новым набором свойств. Этот механизм представляет собой комбинацию абстрактных механизмов обобщения либо специализации и классификации. Вначале дадим математическую интерпретацию свойствам множества объектов. Определим рассматриваемое нами множество объектов через О. Как отмечалось выше мы можем рассматривать две группы объекты, отражающие общие понятия и объекты, являющиеся модельным символом 75 реальных предметов. При объектном моделировании ото различие приводит к выделению двух классов объектов конкретному и абстрактному. Принято говорить также, что экземпляры конкретного класса могут быть представлены непосредственно, то есть для них можно установить связь между экземпляром класса и реальным предметом, экземпляры абстрактного класса могут быть сопоставлены только общим типам понятиям, существующим только в человеческом восприятии. Таким образом, определим два подмножества: конкретный класс, или множество конкретных объектов Л, абстрактный класс, или множество абстрактных объектов тогда О N. Метод агрегирования предполагает, что некоторые объекты можно разложить на составные части, тогда объекты, которые не имеют внутренней структуры и для которых не может быть применен метод декомпозиции к более простым объектам определяются как базовые и образуют множество базовых объектов, или базовый кпасс/1. Аналогично объектам метод агрегирования может быть применен к классам объектов, тогда классы объектов, образующих составные классы, по отношению к последним будем называть элементарными. В таком случае можно определить множество абстрактных базовых классов объектов: Л/л=ЛГГЫ. Это множество представляет из себя набор объектов, которые мы будем называть концептуальными. Множество конкретных базовых классов объектов Лл~ I, П А. Одной из ключевых концепций, введенных в объектно-ролевую модель, благодаря которой она и получила такое название, является концепция факгического класса. Данный класс объектов служит для представления отношения между объектными классами. Фактический класс формально |