outils
Outils et logiciels de recherche
Outils et logiciels développés avec mes étudiants et collaborateurs, couvrant l’ingénierie des exigences, les contrats juridiques intelligents, la modélisation et le forage de processus, ainsi que les applications de données de recherche. La plupart sont à code ouvert sur GitHub — cliquez sur une capture d’écran ou un titre pour accéder au dépôt.
Symboleo — Spécification et génération de contrats juridiques intelligents
SymboleoAC Web IDE
Un EDI Web sans installation pour le langage SymboleoAC : validation en direct, complétion, génération de code de contrat intelligent en JavaScript en un clic, et diagrammes interactifs de domaine et de contrôle d'accès.
SymboleoAC Eclipse IDE
Un EDI Eclipse basé sur Xtext pour spécifier des contrats juridiques en SymboleoAC, qui étend Symboleo avec le contrôle d'accès et des concepts événementiels pour les contrats intelligents cyber-physiques. Inclut un validateur en ligne de commande.
Symboleo2SC + SymboleoPC
Un outil Eclipse/Xtext combiné qui, à partir d'une seule spécification Symboleo, génère à la fois du code de contrat intelligent en JavaScript (Symboleo2SC) et des fichiers de vérification de modèles SMV (SymboleoPC).
SymboleoAC2SC Examples
Un dépôt de démonstration des contrats intelligents en JavaScript générés à partir de spécifications SymboleoAC, avec des suites de tests exécutables (p. ex. MeatSale, VaccineProcurement).
jUCMNav — Notation visuelle d'exigences (URN)
jUCMNav
Un greffon Eclipse pour créer, éditer et analyser des modèles URN — combinant les cartes d'utilisation (scénarios) et le langage d'exigences orienté buts (buts) — avec vérification sémantique et import/export. jUCMNavPlus est une version modernisée de l'outil jUCMNav.
Modélisation et forage de processus
pm4py-ucm
Une extension qui ajoute le support des cartes d'utilisation (URN / UIT-T Z.151) aux flux de forage de processus de PM4Py : découverte, visualisation et export de diagrammes UCM à partir de journaux d'événements, avec interface Web Streamlit et export jUCMNav/XMI.
logprep4pm
Une bibliothèque Python pour scripter le nettoyage, le filtrage et le prétraitement réutilisables de journaux d'événements avant le forage de processus ; un portage Python de la bibliothèque R CPA-PM, intégrée à PM4Py.
LLM4QBP
Un pipeline qui utilise des grands modèles de langage pour générer, mettre en correspondance et évaluer des modèles de processus BPMN à partir de guides cliniques, avec appariement d'activités, comparaison de similarité BPMN et interface Streamlit.
DASH — Décisions pour le logement abordable et social
DASH
Un système prototype d'aide à la décision qui analyse et visualise des données sur le logement abordable/social à l'aide d'un entrepôt de données SQL Server et de tableaux de bord interactifs Power BI, pour appuyer des décisions fondées sur les données.
RIMS — Gestion d'institut de recherche
RIMS — LIFE Research Members Portal
RIMS (Research Institute Management System) est un portail Web pour l'Institut de recherche LIFE de l'Université d'Ottawa permettant de gérer les profils des membres et les activités de recherche (événements, subventions, partenariats, produits, supervisions), avec gestion des accès et tableau de bord Power BI intégré.