Publikace na Matematicko-fyzikální fakulta |
2009
Abstrakt
Zajištění kompatibility komponent je nutnou podmínkou vývoje spolehlivých komponentových systémů, hlavně pokud jednotlivé komponenty pochází od různých výrobců z různých zemí. K tomuto účelu je třeba použít vhodný formalismus pro popis chování komponent.
Navrhujeme formalismus Threaded Behavior Protocols, který na rozdíl od většiny jiných umožňuje analýzu na formální úrovni (správnost a substituovatelnost komponent) i analýzu vztahu specifikace a konkrétní implementace. Formalismus je navíc jednoduchý a podporuje konstrukty běžné v implementačních jazycích (volání metod, vlákna, synchronizační bloky).
Je tedy vhodný pro použití i neprofesionály.