Desenvolvimento de métodos e modelos matemáticos, modelagem lógica e estruturação de base de dados, bem como realização de estudos de caso para a validação das metodologias propostas