Contribution à la modélisation et à la vérification de processus workflow
La technologie de workflow, tendant à automatiser les processus d'entreprise et à fournir un support pour leur gestion, est aujourd'hui un secteur actif de recherche. C'est dans ce contexte que se situent ces travaux de thèse qui portent aussi bien sur la modélisation des processus wo...
Main Author: | |
---|---|
Other Authors: | |
Language: | fr |
Published: |
2010
|
Subjects: | |
Online Access: | http://www.theses.fr/2010CNAM0731/document |