Jira prouvé comme étant Turing-complet par Nicolas Seriot
Original : Jira Is Turing-Complete
Pourquoi c'est important
Démontre la puissance computationnelle inattendue d'outils de gestion de projet
Nicolas Seriot a démontré que Jira d'Atlassian est Turing-complet en implémentant une machine de Minsky avec les fonctionnalités d'automation. Il a créé des programmes d'addition et de Fibonacci fonctionnels.
Un chercheur a formellement prouvé que Jira est Turing-complet en construisant une machine de Minsky utilisant les règles d'automation d'Atlassian. Le modèle mappe les registres sur les comptages d'issues liées (Bug/Task), le compteur de programme sur le statut d'une Epic, et les instructions sur les règles d'automation. L'implémentation inclut un programme d'addition fonctionnel (2+3=5) et un générateur de Fibonacci utilisant trois états. Les opérations INC/DEC sont réalisées par création/suppression d'issues, le branchement conditionnel via JQL. Cette preuve confirme les légendes d'ingénierie sur la puissance computationnelle de Jira, testée sur une instance réelle *.atlassian.net.