Méthodes et outils de transition entre l'analyse formelles des processus et la génération d'applications de gestion de workflow

Unité de recherche

INNOSUISSE

Numéro de projet

3648.1;3 KTS

Titre du projet

Méthodes et outils de transition entre l'analyse formelles des processus et la génération d'applications de gestion de workflow

Projets afférents

Unité de recherche:	Schweizerische Agentur für Innovationsförderung
Numéro de projet	3043.1;3 MJK
Titre du projet	De l'analyse/réorganisation des processus (BPR) à la génération d'applications de gestion des flux (Workflow): Méthodes et outils de transitions