Voilà, je voudrais modéliser un workflow pour un outil développé en PHP (je sais, peu importe le langage de dév pour une modélisation).
 
Je suis parti sur les réseaux de petri, vous en pensez quoi?
 
Sinon, j'ai un petit pb : comment faire pour modéliser des places par lesquelles on doit passer obligatoirement quand on se trouve dans certaines conditions.
 
Du genre : je suis en voiture et j'ai pas trop de sous.
trajet :
A---------|------->C
 \--|-->B-----|---/
 
A à C, ça coûte cher (y'a un péage) donc je fais A->B->C
 
ps : je sais pas si j'ai mis mon sujet dans la bonne catégorie, mais j'ai pas trouvé mieux...

up

perso, j'ai rien compris à ce que tu veux faire. tu peux expliquer un peu plus ?

Je veux modéliser un enchaînement d'états par lesquels doit passer une entité. Mais celle-ci n'est pas obligé de passer par tous les états. Cependant, elle est quand même obligé de passer par certains états obligatoires. Sauf que ces états obligatoires ne le sont qu'en fonction de paramétres relatifs à l'entité (conditions initiales -> on sait dès l'entrée de l'entité dans le workflow les états obligatoires : tout dépend de la nature de l'entité)
 
C'est ça que je veux modéliser.
Ex:
E1---------|------->E3  
 \--|-->E2-----|---/  
 
E = état
N = entité
T = type
N1 est de type T2
N2 est de type T1
T1 -> on doit passer de E1 à E3 directement
T2 -> on doit passer par E2 pour aller de E1 en E3.
Donc dans cet ex, on voit bien que les 2 entités N ne vont pas suivre le même chemin dans le workflow.
 
C'est plus clair comme ça?

ps : les traits verticaux sur mes schémas représentent les transitions.

up

tu connais bien les réseau de pétri?
 
va voir sur
 
http://www.daimi.au.dk/PetriNets/
 
 
il y a d'excellent outils pour ces réseaux....
 

 
Oui, je connais pas trop mal les bases vu que je les ai étudiés en école d'ingé... J'ai récupéré le cours du LASS de Tulouse qui est en pdf et très bien fait

 
ta un lien de ce cours...

Il me semble que la question était : est-ce qu'un réseau de Pétri est adapté pour modéliser un workflow et non c'est quoi un réseau de Pétri...

 
http://www.laas.fr/~robert/enseignement.d

 
tou à fait, merci de recentrer le débat

Ouais, OK. Les réseaux de Pétri tout ça. Mais est-ce que ça peut servir pour un workflow !
Perso, le sujet m'intéresse. Tu peux voir comment lorill a fait pour son projet eQuinoxe (je crois que c'est ça le nom). Sinon, à ma boite on utilise FlowMind, développé par Akazi. Peut-être leur site donne t'il quelques infos sur l'implémentation.

 
Merci pour ces qq infos. Je vais regarder si je trouve mon bonheur sur leur site...

workflow >> state machine

 
Bon ben j'y suis allé ; Akazi était assez intéressant en ce qui concerne les fonctionnalités du produit. Par contre, pas d'infos sur la méthode de modélisation, ni accès au code source Dommage

 
en fait dans mon projet le workflow était vraiment baclé et sous développé, pas tellement personnalisable. on a juste fait ca vite fait pour bluffer le tuteur avec des buzzwords
 
plus serieusement, c'était un truc tout simple, sans double validation ni quoi que ce soit :
 
Un projet >> graphe de taches dépendentes les unes des autres, sans cycle
 
Une tache a un responsable, des utilisateurs, et un etat (pas commencé, en cours, en pause, finie). Seul le responsable peut changer l'etat de sa tache, et seulement si les taches dont il dépend sont compatibles.
 
Quand une tache est en cours, ses utilisateurs ont le droit d'écrire sur les fichiers du projet.
 
Il me semble que c'était tout.
 
ca donnait ca :  
http://equinoxe.dnsalias.org/docs/workflow/index.jsp

 
J'ai regardé votre code source à la va-vite, mais votre projet ressemblait plus à du diagramme de gant qu'à du workflow (avec les retours arrières, les synchros, etc.)... En tout cas, je n'ai pas vraiment pu trouver si vous aviez employé une méthode de modélisation genre Petri, grafcet, etc.

vivi, c'était un truc baclé sans connaissances particuliere... pas de modélisation.

oki, moi je pense plutot a pendre la notation UML, du genre diagramme d'activité ( avec ou sans couloir) et diagramme d'etat-transition. SI on regarde ce qu'il se fait sur le marché des moteur de workflows, ils integrent cette notation; qui me semblent la meilleur car utilisé dans d'autre domaine notament dans la conception orienté objet.
 
Moteur de workflows :
 
jBpm
OBE
werkflow
OSWorkflow
W4
OpenFlow
workflowgen
 
 
souvent associé a un annuaire des users de type LDAP
 
====
rufo => je reponds a ton mail, des ce soir.

 
j'ai regardé ceux en gras...
 
Comme je te l'avais dit dans mon mail, je cherche finalement à modéliser un "truc" qui n'est pas totalement du workflow dans ce sens où je fais passer un document bien identifié par un certain nb d'étapes et les changements d'étapes sont effectués apr un certain nb de personnes. J'ai pas de notions de timers, infos dont on a besoin pour passer à une étape suivante, etc.

idem que moi pour la premiere partie, mais ensuite :
 
Ton timer agit-il comme un acteur ? C'est lui qui fait passer le doc dans un autre etat ou etape ?

bon vu que j'ai pas de timers, je ne me suis pas posé la question...

Si c'est le cas, suffit de le considérer comme une personne

ou cela peut etre une condition, si date expirée alors passé à étape suivante...alors dans les cas là, tu peux le modelisé par UML.

tout à fait... mais bon, comme je l'ai déjà dit, je ne m'étais pas interrogé là-dessus...

Donc,j'ai relu, ton mail, mais je ne vois pas a quoi ajouter. Je n'ai pas toutes les données en main, mais je serais interressé de savoir comment tu as fait quand tu auras fini. Demande tjs à tes profs qui pourront sans doute t'aider. Je vais commencer à modéliser une partie de ce que j'ai à faire, et je te monterai ce que j'ai fais.

 
renseigne toi sur SPEM, ça fera un bon complément. Pour infos, c'est un métamodèle, basé sur UML, permettant la modélisation des processus logiciels.

Merci ! Je viens de voir quelques sites sur SPEM, et c'est vrai que je trouve cela super interressant, je comprends pas que je n'ai jamais entendu parler de ca....

 
L'OMG n'a jamais communiqué dessus, ils préfèrent mettre MDA en avant

je vais regarder aussi