Este artículo presenta un marco de aprendizaje federado basado en Python y presenta un método para convertir automáticamente algoritmos de aprendizaje federado desarrollados en dicho marco en Procesos Secuenciales de Comunicación (CSP) mediante ChatGPT. Si bien antes se requería la conversión manual, ChatGPT automatiza el proceso, aumentando la eficiencia. Los procesos CSP convertidos se verifican posteriormente para garantizar su seguridad y actividad mediante el verificador de modelos PAT. Los experimentos demuestran una conversión y validación exitosas para algoritmos de aprendizaje federado tanto centralizados como distribuidos.