Mathematical and computational modelling within a music analysis framework: motivic topologies as a case study · Study