МАРК РЕГНЕРУС ДОСЛІДЖЕННЯ: Наскільки відрізняються діти, які виросли в одностатевих союзах
РЕЗОЛЮЦІЯ: Громадського обговорення навчальної програми статевого виховання ЧОМУ ФОНД ОЛЕНИ ПІНЧУК І МОЗ УКРАЇНИ ПРОПАГУЮТЬ "СЕКСУАЛЬНІ УРОКИ" ЕКЗИСТЕНЦІЙНО-ПСИХОЛОГІЧНІ ОСНОВИ ПОРУШЕННЯ СТАТЕВОЇ ІДЕНТИЧНОСТІ ПІДЛІТКІВ Батьківський, громадянський рух в Україні закликає МОН зупинити тотальну сексуалізацію дітей і підлітків Відкрите звернення Міністру освіти й науки України - Гриневич Лілії Михайлівні Представництво українського жіноцтва в ООН: низький рівень культури спілкування в соціальних мережах Гендерна антидискримінаційна експертиза може зробити нас моральними рабами ЛІВИЙ МАРКСИЗМ У НОВИХ ПІДРУЧНИКАХ ДЛЯ ШКОЛЯРІВ ВІДКРИТА ЗАЯВА на підтримку позиції Ганни Турчинової та права кожної людини на свободу думки, світогляду та вираження поглядів
Контакти
Тлумачний словник Авто Автоматизація Архітектура Астрономія Аудит Біологія Будівництво Бухгалтерія Винахідництво Виробництво Військова справа Генетика Географія Геологія Господарство Держава Дім Екологія Економетрика Економіка Електроніка Журналістика та ЗМІ Зв'язок Іноземні мови Інформатика Історія Комп'ютери Креслення Кулінарія Культура Лексикологія Література Логіка Маркетинг Математика Машинобудування Медицина Менеджмент Метали і Зварювання Механіка Мистецтво Музика Населення Освіта Охорона безпеки життя Охорона Праці Педагогіка Політика Право Програмування Промисловість Психологія Радіо Регилия Соціологія Спорт Стандартизація Технології Торгівля Туризм Фізика Фізіологія Філософія Фінанси Хімія Юриспунденкция |
|
|||||||
Концепції об’єктного аналізуДо основних принципів об’єктного аналізу віднесені наступні. Принцип загальності об’єктного визначення. На довільному кроці об’єктного аналізу всі сутності – суть об’єкти. Наслідок 1. Предметна область, що моделюється, сама є об’єктом. Наслідок 2. Предметна область, що моделюється, може бути окремим об’єктом у складі іншої предметної області (ієрархія предметних областей). Принцип суттєвості об’єктних відмінностей. На довільному кроці об’єктного аналізу кожний об’єкт є унікальним елементом. Наслідок. Кожний об’єкт має принаймні одну властивість чи характеристику, яка дозволяє його унікальну ідентифікацію у множині об’єктів. Принцип об’єктної впорядкованості. На довільному кроці об’єктного аналізу всі об’єкти упорядковані у відповідності до відношень між об’єктами. Наслідок. Кожний об’єкт має при наймі одне відношення з іншим об’єктом, яке забезпечує його впорядкованість в рамках цієї пари об’єктів. Принцип цілісності об’єктної моделі. На довільному кроці об’єктного аналізу сукупність об’єктів та відношень між ними однозначно визначає об’єктну модель вибраної предметної області для певного рівня абстракції опису цієї предметної області. Наслідок. На довільному кроці об’єктного аналізу об’єктну модель можна подати у вигляді орієнтованого зв’язного графу, вершинами якого є об’єкти, а дугам відповідають відношення між об’єктами. Концепція узагальнення. Об’єкт – клас (як математичне поняття відповідно аксіоматичної теорії Геделя-Бернайса). Нехай O=(O0, O1, … On) – сукупність об’єктів для предметної області, де O0 відповідає самій предметній області. Тоді $(i>0)$(j≥0) (OiÎ Oj). У відповідності з узагальнюючим аспектом об’єкт розглядається як математичне поняття класу згідно з положеннями аксіоматичної теорiї множин Геделя–Бернайса. Якщо O=(O0, O1, … On) – сукупність об’єктів ПрО і O0 відповідає самій ПрО, то для елементів O виконуються відношення "i$j[(i>0)&( j≥0)& (i¹ j)& (OiÎ Oj)]. (1) У відповідності зі структурним аспектом кожен з об’єктів подається як множина або елемент певної множини. Якщо O'=(O1, O2, … On), то вираз (1) трансформується у такий вигляд "i$j[(i>0)&( j>0)& ( i¹ j)& (OiÎ Oj)]. (2) У виразі (2) кожен з об’єктів є множиною або елементом певної множини і до них застосовуються операції теоретико–множинної алгебри. Також цей вираз визначає відношення “частка–ціле”, екземпляризація, агрегація. Структурно-впорядковуючий рівень. Об’єкти вже визначені на узагальнюючому рівні абстракції. Кожний об’єкт подається якмножина або елемент множини. Нехай O'=(O1, O2, … On), OS=(OS1, OS2, … OSm) і OSÍO'. Тоді IS: O' ® OS є обмеження тотожного відображення O' на себе. Нехай S=(S1, S2, … Sm) – множина об’єктів, що визначені на даному рівні, і TS: OS ® S, де кожному OSi відповідає Si. Тоді визначається відображення між об’єктами на узагальнюючому та структурно-впорядковуючому рівнях TS*IS: O' ® S. Нехай W – сукупність теоретико-множинних операцій. Тоді S = (S, W) визначає алгебраїчну систему для структурно-впорядковуючого рівня. Концепція визначення характеристик ОМ. Об’єкти вже визначені на структурно-впорядковуючому рівні абстракції. Для об’єктів визначаються властивості і характеристики. Нехай P=(P1, P2, … Pr) – множина предикатів на множині S і OA=(OA1, OA2, … OAk), де для кожного OAi існує Pj такий, що Pj на OAi приймає значення істини. Тоді IA: S ® OA є обмеження тотожного відображення S на себе. Нехай A=(A1, A2, … Ak) – множина об’єктів, що визначені на даному рівні, і TA: OA ® A, де кожному OAi відповідає Ai. Тоді визначається відображення між об’єктами на структурно-впорядковуючому та характеристичному рівнях TA*IA: S ® A. L= (A, P) визначає алгебраїчну систему (алгебраїчну модель) для характеристичного рівня. У відповідності з характеристичним аспектом для кожного з об’єктів формується його концепт. Якщо O'=(O1, O2, … On) – сукупність об’єктів ПрО, а P'=(P1, P2, … Pr) – множина унарних предикатів, які пов’язані із властивостями об’єктів ПрО, то концепт об’єкту Oi є множиною тверджень, які побудовані на основі предикатів з P', що приймають значення істини для відповідного об’єкту. Тобто Coni = {Aik} і Pk( Oi) = truO. Згідно зі структурами концептів між об’єктами визначаються відношення типу “рід–вид”. Поведінковий рівень. Об’єкти вже визначені на характеристичному рівні абстракції. Визначаються життєві цикли об’єктів (послідовність станів об’єктів в залежності від параметра часу). Нехай B=(B1, B2, … Bk) – множина об’єктів, які визначені на поведінковому рівні, і кожному Ai відповідає Bi (Ai ® Bi(t)). Тоді визначається відображення TB між об’єктами на характеристичному та поведінковому рівнях TB: A ® B. У відповідності з поведінковим аспектом на основі сукупності атрибутів об’єктів та їх значень визначаються послідовності станів об’єктів та будуються їх життєві цикли, що відображається у діаграмах переходів станів. Взаємозв’язки між об’єктами формуються на основі бінарних предикатів, які пов’язані із властивостями об’єктів ПрО, і деталізуються до рівня взаємозв’язків між станами об’єктів Залежність від параметру часу досягається внесенням у ОМ спеціального об’єкту Timer, основне призначення якого полягає у розсилці спеціальних повідомлень поточного часу з певним рівнем дискретності. Кожен об’єкт має відповідний метод, який аналізує отримане значення і виконує перехід до іншого стану або залишає його без змін.
Читайте також:
|
||||||||
|