Символдық верификация


Объектілік байланыс. Әрбір операция объектінің барлық қасиеттері модификацияланатын, көрсетілетін және қызметтерді ұсыну үшін базис ретінде пайдаланылатын болатын функционалдықты қамтамасыз етеді



бет4/9
Дата01.08.2020
өлшемі20.24 Kb.
1   2   3   4   5   6   7   8   9

8. Объектілік байланыс. Әрбір операция объектінің барлық қасиеттері модификацияланатын, көрсетілетін және қызметтерді ұсыну үшін базис ретінде пайдаланылатын болатын функционалдықты қамтамасыз етеді.

Жоғары Байланыс-қалаулы сипаттама, өйткені ол объектінің проблемалы саладағы бірыңғай бөлігін білдіреді, бірыңғай кеңістікте бар. Жүйенің өзгеруі кезінде бөліктегі барлық әрекеттер бірыңғай компонентте инкапсуляцияланады. Сондықтан өзгеріс жасау үшін көптеген компоненттерді түрлендірудің қажеті жоқ.Егер объектілі-бағытталған жүйедегі функционалдылық суперкластардан мұраға алумен қамтамасыз етілсе, онда қасиеттер мен операцияларды мұра ететін объектінің байланыстылығы азаяды. Бұл жағдайда объектіні жеке модуль ретінде қарастыруға болмайды-оның барлық суперклассалары ескерілуі тиіс. Жүйелік қарау құралдары мұндай есепке көмектеседі. Алайда, бірнеше суперкластардан қасиеттері бар элементті түсіну күрт күрделенеді. Крипке құрылымдарын ұсыну булевалық функциямен Крип-бе құрылымын алдын ала анық тұрғызусыз да орындалуы мүмкін. Мұны қарапайым мысалда көрсетейік.



Достарыңызбен бөлісу:
1   2   3   4   5   6   7   8   9




©engime.org 2020
әкімшілігінің қараңыз

    Басты бет