Themis Artifact Repository est un outil permettant la surveillance de spécifications distribuées et la génération de moniteurs décentralisés. Il offre la possibilité d'analyser des traces distribuées et de simplifier les transitions d'automates.

Themis Artifact Repository est un ensemble d'outils permettant la surveillance et l'analyse de spécifications distribuées. Il offre des fonctionnalités telles que la génération d'automates à partir de formules LTL, la minimisation de formules booléennes et LTL, et le monitoring décentralisé de systèmes.

Ce projet est une image Docker pour déployer Flower, un moniteur et un panneau d'administration en temps réel pour la file d'attente de tâches distribuées Celery. Cette image est optimisée pour fonctionner avec la version de Celery utilisée dans Open edX et pour surveiller spécifiquement les workers edxapp.