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



бет5/9
Дата01.08.2020
өлшемі0,74 Mb.
#76002
1   2   3   4   5   6   7   8   9
Байланысты:
10 тарау

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



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




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

    Басты бет