Abstrakt
Ukázalo se, že Behavior protocols jsou velmi vhodnou platformou pro specifikaci chování softwarových komponent, pokud návrháře aplikace zajímají komunikační chyby. Úroveň abstrakce poskytovaná behavior protokoly je ale v některých případech příliš vysoká, což vede ke skrývání důležitých aspektů a výskytu falešných chyb. V tomto článku navrhujeme rozšíření Behavior protocols, která umožňují přesnější specifikaci.