Automatic Design-Time Detection of Anomalies in Migrating Monolithic Applications to Microservices. - Valentim Romão; Rafael Soares; Luís Rodrigues; Vasco Manquinho (CoRR, 2025)