Composição de componentes de software: especificação formal de requisitos e automatização do processo de validação