Chyby skládání komponent a atomické aktualizace: Statická analýza

Abstrakt

Dynamický vývoj neoddělitelně zahrnuje dynamickou aktualizaci a problém její atomicity. Předvedeme, že tento problém lze řešit podobným způsobem jako chyby komunikace, a to pomocí rozšíření protokolů chování.

Klíčová slova

• Component
• Composition
• Errors
• Update
• Atomicity
• Static
• Analysis