Le projet ICSA2017Tutorial est un outil de modélisation et de simulation de systèmes à états finis. Il permet de définir des états, des transitions et des actions, ainsi que de spécifier des conditions de garde pour contrôler le flux de contrôle. Les scénarios d'exécution peuvent être simulés et validés par rapport à des comportements attendus, offrant un support précieux pour la vérification et la validation de systèmes réactifs.

ALE (Action Language for EMF) est un langage interprété permettant de définir des comportements sur des modèles Ecore et de les rendre exécutables. Concrètement, ALE permet de 'réouvrir' des classes ECore pour implémenter des opérations existantes et insérer de nouvelles attributs ou opérations. Il permet également d'étendre des métamodèles Ecore existants de manière non intrusive.

Le projet service-sogMBT permet de modéliser, simuler et analyser des processus métiers complexes. Il offre une interface pour définir des workflows sous forme de graphes, avec des transitions et des places, et les exécuter en vue d'observer leur comportement et d'identifier des axes d'amélioration.