Matches in SemOpenAlex for { <https://semopenalex.org/work/W73157423> ?p ?o ?g. }
Showing items 1 to 27 of
27
with 100 items per page.
- W73157423 abstract "La technologie de workflow, tendant a automatiser les processus d'entreprise et a 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 these qui portent aussi bien sur la modelisation des processus workflow que sur leur verification. Ces processus, pouvant etre contraints par des ressources partagees ou encore par des durees de traitement, doivent etre verifies avant d'etre confies aux systemes de gestion de workflow qui vont les executer. Nous nous sommes interesses par la verification de la propriete de coherence (soundness) des reseaux de workflow (WF-net) : sous-classes des reseaux de Petri (RdPs) modelisant les processus workflow.Dans ce cadre, en explorant la theorie structurelle des RdPs, nous avons identifie des sous-classes de WF-nets pour lesquelles la coherence peut etre verifiee et caracterisee efficacement. Nous nous sommes focalises en outre sur l'extension de ces sous-classes en tenant compte de la presence de ressources partagees et sur la propriete de coherence en presence d'un nombre arbitraire d'instances pretes a s'executer. Dans cette partie, nous avons du automatiser le calcul des siphons minimaux dans un RdP. Pour ce faire, nous avons choisi un algorithme de la litterature et l'ameliore par la recherche et la contraction de circuits alternes.Ensuite, nous avons aborde la modelisation et la verification de processus workflow tenant compte des contraintes temporelles. Nous avons en premier lieu propose un modele de TWF-net (WF-net Temporise). Pour ce modele, nous avons defini la propriete de coherence temporelle et propose une condition necessaire et suffisante pour la verifier. En deuxieme lieu, nous avons relaxe les contraintes temporelles adoptees par la proposition d'un modele temporel visant des processus a contraintes temporelles variant dans des intervalles de temps. Nous avons defini formellement le modele de ITWF-net (Interval Timed WF-net) et donne sa semantique. Par ailleurs, nous avons developpe et teste un prototype de modelisation et de simulation des ITWF-nets.La derniere partie de cette these a concerne la verification formelle des processus workflow par SPIN model checker. Nous avons du en premier lieu traduire la specification des workflows adoptee vers Promela : le langage de description des modeles a verifier par SPIN. En second lieu, nous avons exprime les proprietes de coherence en Logique Lineaire Temporelle (LTL) et utilise SPIN pour tester si chaque propriete est satisfaite par le modele Promela du WF-net en question. Enfin, nous avons exprime les proprietes de k-coherence pour les WF-nets modelisant plusieurs instances et de (k,R)-coherence pour les processus workflow concurrents et qui possedent des ressources partagees." @default.
- W73157423 created "2016-06-24" @default.
- W73157423 creator A5013770247 @default.
- W73157423 date "2010-11-13" @default.
- W73157423 modified "2023-09-26" @default.
- W73157423 title "Contribution à la modélisation et à la vérification de processus workflow" @default.
- W73157423 hasPublicationYear "2010" @default.
- W73157423 type Work @default.
- W73157423 sameAs 73157423 @default.
- W73157423 citedByCount "0" @default.
- W73157423 crossrefType "dissertation" @default.
- W73157423 hasAuthorship W73157423A5013770247 @default.
- W73157423 hasConcept C138885662 @default.
- W73157423 hasConcept C15708023 @default.
- W73157423 hasConcept C17744445 @default.
- W73157423 hasConcept C41008148 @default.
- W73157423 hasConceptScore W73157423C138885662 @default.
- W73157423 hasConceptScore W73157423C15708023 @default.
- W73157423 hasConceptScore W73157423C17744445 @default.
- W73157423 hasConceptScore W73157423C41008148 @default.
- W73157423 hasLocation W731574231 @default.
- W73157423 hasOpenAccess W73157423 @default.
- W73157423 hasPrimaryLocation W731574231 @default.
- W73157423 isParatext "false" @default.
- W73157423 isRetracted "false" @default.
- W73157423 magId "73157423" @default.
- W73157423 workType "dissertation" @default.