Behavior protocols: An approach to semantical descriptions of software components