Formal Verification of Business Process Configuration in the Cloud Souha Boubaker
Formal verification of business process configuration in the Cloud Souha Boubaker To cite this version: Souha Boubaker. Formal verification of business process configuration in the Cloud. Software Engi- neering [cs.SE]. Université Paris-Saclay, 2018. English. NNT : 2018SACLL002. tel-01818882 HAL Id: tel-01818882 https://tel.archives-ouvertes.fr/tel-01818882 Submitted on 19 Jun 2018 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Formal Verification of Business Process Configuration in the Cloud 2018SACLL002 : Thèse de doctorat de l'Université Paris-Saclay NNT Préparée à TELECOM SudParis École doctorale n°580 Sciences et technologies de l'information et de la communication Spécialité de doctorat : Informatique Thèse présentée et soutenue à Évry, le 14/05/2018, par Souha Boubaker Composition du Jury : M. Djamal Benslimane Professeur, Université Claude Bernard Lyon 1, France Rapporteur M. Yves Ledru Professeur, Université Grenoble Alpes, France Rapporteur Mme. Daniela Grigori Professeur, Université Paris Dauphine, France Examinateur M. Paul Gibson Maître de conférences HDR, TELECOM SudParis, France Examinateur M. Walid Gaaloul Professeur, TELECOM SudParis, France Directeur de thèse Mme. Amel Mammar Professeur, TELECOM SudParis, France Co-encadrant M. Mohamed Graiet Enseignant Chercheur HDR, ENSAI Rennes, France Co-encadrant Titre : Vérification formelle de la configuration des processus métiers dans le Cloud Mots clés : Gestion de processus métier, Vérification formelle, Allocation de ressources, Correction.
[Show full text]