Abstract: In a component-based software development, the only way to describe components is through interfaces since they are considered as black boxes. Indeed, their interfaces (required and provided ...