À propos
Un moteur d'orchestration formellement vérifié. Trois interfaces — canvas, code, modèle formel — trois vues du même objet.
A kata runs or it doesn't.
Principe fondateur
Katen. Prononçable partout, propre, sans collision. Trois lectures simultanées — aucune ne redonde les autres. Les trois ensemble disent quelque chose qu'aucune des trois ne dit seule.
Kata (型) — la séquence précise, la forme codifiée qu'on répète jusqu'à ce qu'elle devienne naturelle. En (縁) — le lien, la connexion, les conditions qui permettent à quelque chose d'exister. Katen : la forme qui s'exécute par le lien.
Kata (κατά) — selon, conformément à. On la retrouve dans catégorie, catalyse, catalogue. Exécuter la règle — conformément à la forme, pas d'improvisation.
Les places Petri sont les en — les liens qui créent la condition d'exécution. Les jetons sont présents ou ils ne le sont pas. La transition est franchissable ou elle ne l'est pas. C'est la définition exacte du Petri net en japonais martial.
En 2008, deux ingénieurs commencent à construire un langage visuel de dataflow avec des garanties mathématiques. Le problème n'a pas encore de nom. L'industrie mettra quinze ans à rattraper l'idée.
Le moteur s'appelle Caméléon. C++, Qt, desktop. Le modèle formel — la CVM, Composition Virtual Machine — est fondé sur une extension des réseaux de Petri qui garantit un ordre d'exécution déterministe.
Quinze ans plus tard, le monde a rattrapé l'idée. Katen est la restauration de ce moteur — pas une refonte. Le même modèle formel, reconstruit pour le web. Les maths n'ont pas changé.
Une composition Katen est un kata. Une séquence formelle précise, codifiée, qui s'exécute ou ne s'exécute pas.