Expressiveness of component-based frameworks: a study of the expressiveness of BIP