У роботі застосовано метод розробки програмного забезпечення RAISE від групи авторів RAISE Development Group (далі RDG) для формального аналізу приклада Роберта Мартіна, що ілюструє принцип підстановки (або інакше принцип заміщення) Барбари Лісков. Таким способом вдалося уточнити поняття типу, успадкування, виділення підтипу і взаємозв'язок між ними. Під типом запропоновао розуміти набір вимог (або аксіом) A до деякої множини значень X і до деякої множини функцій F, заданих на множині X, тобто трійку T = {A, X, F}. Виділенням підтипу назвемо додавання до набору A нових вимог і/або нових функцій до набору F. Зрозуміло, що нові вимоги не мають суперечити вже існуючим. Такі зміни в аксіомах і функціях можуть спричинити необхідність заміни початкової множини значень X на деяку іншу - X1. Таким чином, одержано нову трійку T1 = {A1, X1, F1}, яка буде називатися підтипом типу T. Класом, слідом за Бертраном Мейєром будуть називати реалізацію типу в деякій мові програмування. Вдалося показати, що тип класу спадкоємця, не є підтипом батьківського класу, так як набори аксіом з типів спадкоємця і батька виявляються несумісними.

  Повний текст PDF - 329.1 Kb    Зміст випуску     Цитування публікації

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"