The paper describes the behavior protocols, a formal notation for describing behavior of software components, and its application for component-based software architectures.
