концептуальної схеми (Моделі) ПЗ. p> У силу властивості універсальності, описати засоби побудови концептуальної схеми - Це значить описати можливі стану абстрактної предметної області, яка призначена для моделювання структури та динаміки довільних ПЗ.
Поняття:
1. Тип об'єкту - повинен мати унікальне ім'я і всі об'єкти предметної області можуть бути віднесені до одного або декількох типів.
t 0 - тип об'єкта;
t 0 t - безліч об'єктів типу t в момент часу t;
Ці безлічі можуть перетинатися, якщо об'єкт має кілька типів.
Тип об'єкта може повідомлятися системі при першій згадці цього об'єкта.
Тип об'єкта може визначатися системою на підставі властивостей об'єкта за допомогою классифицирующих процедур.
Тип об'єкта може бути автоматично змінений при зміні стану об'єкта.
2. Концептуальна схема предметної області - безліч типів, забезпечене деякою структурою. Структура на безлічі типів задається безліччю відносин і операцій, визначеними на множині типів.
Позначимо j кінцеві безлічі об'єктів предметної області.
Для деякого моменту часу t можна виділити безліч об'єктів типу (t 1 ) ob t і (t 2 ) ob t , мають певні співвідношення, наприклад:
(T 1 ) ob t ГЊ (t 2 ) ob t
(T 1 ) ob t Г‡ (t 2 ) ob t = 0
Якщо такі співвідношення є стійкими (не змінюються в часі), то ці властивості стану семантичної предметної області.
Співвідношення:
1. Родовидові ставлення SUP
t 1 sup t 2 - t 1 є підтипом t 2 ((вид) є підтипом (рід))
Це співвідношення задається між типами об'єктів. Воно вірно, якщо
"T (T 1 ) ob t ВЈ (t 2 ) ob t p> Ці відносини прийнято ставити графічно. Типи об'єктів представляються вершинами, а відносини між ними - ребрами.
Наприклад:
В
sup Приміщення sup
В
Навчальний Службове
приміщення приміщення
sup sup sup sup
В
аудиторія лабораторія приміщення приміщення
кафедри деканату
рис.5
Наступна діаграма описує набір базових типів об'єктів для будь концептуальної моделі (Див. мал. 6).
В
Об'єкт
sup sup
В
Невизначений Певний
об'єкт sup об'єкт
sup
В
Матеріальний Нематеріальний
об'єкт об'єкт
В
sup sup sup sup sup
ім'я час по...
