Abstract
Behavior protocols turned out to be very suitable platform for component behavior specification if one is interested in behavioral compatibility of communicating software components. The level of abstraction provided by BP is however sometimes too high resulting in both hiding important aspects of the design and introducing artificial incompatibilities.
In this paper, we present extensions to behavior protocols allowing more precise behavior specification addressing the aforementioned issues.