OpenAPI vous donne l'alphabet. Les session types ont besoin de la grammaire.
Les spécifications OpenAPI décrivent les schémas de requête et de réponse, mais elles ne spécifient pas les séquences de messages valides. Voici comment extraire ce qui est possible et où vous devez encore combler les lacunes.
Les spécifications OpenAPI vous disent à quoi ressemble une requête valide et à quoi ressemble une réponse valide. Elles ne vous disent pas si vous êtes…