OpenAPI gibt dir das Alphabet. Session Types brauchen die Grammatik.
OpenAPI-Spezifikationen beschreiben Request- und Response-Schemas, legen aber keine gültigen Nachrichtensequenzen fest. So extrahierst du, was geht – und wo du die Lücken noch selbst schließen musst.
OpenAPI-Spezifikationen sagen dir, wie eine gültige Anfrage aussieht und wie eine gültige Antwort aussieht. Sie sagen dir nicht, ob du vor aufrufen darfst,…