Tailorable language for behavioral composition and configuration of software components