Пошук академічних текстів

Інформація × Реєстраційний номер 0201U001539, 0197U019062 , Науково-дослідна робота Назва роботи Розробка методів доведеного проектування розподілених додатків Назва етапу роботи Керівник роботи Лавріщева К. М., Дата реєстрації 08-02-2001 Організація виконавець Інститут програмних систем Опис етапу Об'єкт дослідження: створення сучасних комп'ютерних систем. Мета: розробка методології доведеного проектування компонентів розподілених додатків -- застосування (РЗ) з використанням об'єктно орієнтованого та компонентного підходів, теорії програмування, сучасної теорії взаємодії об'єктів та ін. Для досягнення ціеї мети досліджувалися різні методи проектування моделей предметних областей та генерації на їх основі компонентів із забезпеченням їхньої правильності методами верифікації та тестування РЗ, які функціонують зараз у сучасних мережах, а потім вони доповнювалися більш формалізованими поняттями і засобами для формування цілеспрямованої методології доведеного проектування РЗ. У рамках проекту розроблено концепцію та теорію представлення об'єктно орієнтованої моделі (ООМ), теоретико-множинні та логічні операції якої дозволяють створити об'єктний граф спочатку із локальних (прикладних та інтерфейсних) об'єктів, а потім перетворити його на розподілений граф моделі взаємодії віддалених і розташованих по мережі об'єктів із забезпеченням коректного їх функціонування. Для представлення ООМ і моделі взаємодії визначено базові властивості: типи зв'язків та відношень, їх характеристики, події та принципи розподілення об'єктів по мережі та ін. Запропоновано систему формальних визначень для перевірки правильності задання графів, відправки повідомлень від об'єктів розподіленого графу та умов взаємодій при обміні даними. Опис продукції Автори роботи Додано в НРАТ 2020-04-02 Закрити