Protokoly chování: Efektivní kontrola chyb skládání

Abstrakt

Kontrola kompatibility chování komponent pri použití protokolů chování jako platformy pro specifikace přináší kromě jiných i 'state explosion' problem. Pro řešení tohoto problému představujeme reprezentaci stavu založenou na bitech, která umožňí v paměti zpracovat vyšší počet stavových identifikátorů.

Klíčová slova

• Behavior
• Protocols
• Efficient
• Checking
• Composition
• Errors