Модель - классы
Cтраница 1
Модели классов 53, 54, 5 S9, Sj0 и S2 называют перестановочными. Соотношение порядка между элементами проектируемого объекта А /, в перестановочных объектах обычно задается с помощью графа, содержащего ориентировочные циклы, причем все варианты объектов Аь проектируемые по перестановочным моделям, различаются порядком между элементами, входящими в них. [1]
 |
Общая методология проектирования MAC. [2] |
Модель агентов включает модель классов агентов и модель экземпляров агентов. Эти две модели определяют классы агентов и их возможные реализации, связанные между собой отношениями наследования, агрегирования и означивания. Классы агентов задают различные атрибуты агентов, включая атрибуты, описывающие убеждения, цели и планы агента. Аналитик определяет, как эти атрибуты передаются в процессе наследования. Например, наследуемые планы могут иметь меньший приоритет. [3]
Пусть а - какое-нибудь соответствие между моделями классов К К2, Тогда каждому подклассу Lt cz К будет отвечать определенный подкласс L G в К2, состоящий из всех тех Г2 - м Делей, которые находятся в tf - соответ-ствии хотя бы с одной моделью из Ьг. Класс Кг, как и любой класс, расслаивается на минимальные аксиоматизируемые подклассы, которым в К2 отвечают подклассы, вообще говоря, сложной природы. [4]
Теорема 2, Соответствие в между моделями классов Кг, К % тогда и только тогда расслаивающееся, когда оно псевдорасслаивающееея и всякой модели произвольного минимального подкласса из Кг отвечает в К2 один и тот же аксиоматизируемый подкласс. [5]
В работе [5] было введено понятие аксиоматизируемого соответствия между моделями фиксированных классов. Параграф 1 настоящей статьи посвящен рассмотрению тех модельных соответствий, которые могут быть заданы формулами узкого исчисления предикатов ( формулами УИП), н содержащими дополнительных предикатных символов. Рассмотрение это основывается на одной элементарной лемме о приведении формул УИП с разделяющимися переменными. В качестве иллюстрации выводятся результаты С. [6]
Резюмируя, суть тех средств, которыми математики добывают факты о внешнем мире, можно сформулировать следующим образом: математика строит модели целых классов реальных явлений. [7]
Метод ОМТ [ Object Modeling Technique ] - предложенный Джеймсом Рамбо ( James Rumbaugh) метод описания информационной системы, заключающийся в построении диаграммы потоков данных для описания выполняемых функций, а затем создания на ее основе модели классов для программной реализации. [8]
Наиболее простыми являются табличные модели. Такие модели используют для гюиска стандартных типовых или готовых проектных решений. Модели остальных типовых классов применяют для получения оптимальных унифицированных и единичных проектных решений при наличии множества возможных вариантов. [9]
Модели класса Si называют табличными. В табличной модели каждому набору свойств соответствует единственный вариант проектируемого объекта. Поэтому табличные модели используются для поиска стандартных, типовых или готовых проектных решений. Модели остальных классов используют для получения типовых унифицированных и индивидуальных технологических проектных решений при наличии их вариантов и необходимости оптимизации решения. Модели классов S2, Se, S, SB и Su называют сетевыми. [10]
В матрице ( 17) модели класса St называют табличными. В табличной модели каждому набору свойств F ( Ak) соответствует единственный вариант проектируемого объекта Ak. Поэтому табличные модели используют для поиска стандартных, типовых или готовых проектных решений. Модели остальных классов применяют для получения типовых унифицированных и индивидуальных проектных решений при наличии их вариантов и необходимости оптимизации решения. Модели классов S2, S5, S7, S8 и Sn называют сетевыми. Структура элементов сетевой модели описывается ориентированным графом, не имеющим ориентированных циклов. В этой модели может содержаться несколько вариантов проектируемого объекта Ak, однако во всех вариантах сохраняется неизменным соотношение порядка между входящими элементами. Соотношение порядка между элементами проектируемого объекта Ak в перестановочных объектах обычно задается с помощью графа, содержащего ориентировочные циклы, причем все варианты объектов Ak, проектируемые по перестановочным моделям, различаются порядком между элементами, входящими в них. [11]
Страницы: 1