Optimisation du coût des processus métier basée sur des contraintes temporelles sur ressources Cloud

par Rania Ben Halima (Kchaou)

Projet de thèse en Informatique, données, IA

Sous la direction de Walid Gaaloul et de Mohamed Jmaiel.

Thèses en préparation à l'Institut polytechnique de Paris en cotutelle avec l'Ecole nationale d'ingénieur de Sfax , dans le cadre de Ecole Doctorale de l'Institut Polytechnique de Paris , en partenariat avec SAMOVAR - Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux (laboratoire) et de ACMES (equipe de recherche) depuis le 01-01-2016 .


  • Résumé

    Cloud Computing est devenu une solution utilisée pour exécuter les activités des processus métiers avec un faible coût, une haute performance, une disponibilité de service, etc. Pour cette raison, les entreprises externalisent tout/ou une partie du processus pour qu'elle s'exécute sur le Cloud. Dans ce cas, il devient intéressant de proposer une approche pour la vérification de la cohérence des processus métiers enrichis par des contraintes temporelles et des ressources Cloud. En outre, plusieurs stratégies de vente sont offertes par les fournisseurs Cloud pour réduire le coût d'exécution. Ces stratégies sont basées sur différents paramètres parmi lesquels le facteur temps. En conséquence, l'objectif de cette thèse est de proposer un modèle mathématique pour optimiser le coût du processus métier enrichis par des contraintes temporelles et utilisant des ressources Cloud en se basant sur la dimension temporelle. Cette étape d'optimisation se fait après avoir vérifié la non violation des contraintes temporelles et ressources avec des méthodes formelles.

  • Titre traduit

    Cost optimization of business processes based on time constraints on Cloud resources


  • Résumé

    Todays, Cloud Computing is used to execute business process activities in a low operating cost, high level of performance, service availability, etc. For this reason, enterprises outsource all or some of process activities into Cloud Computing. In this case, we see significant potential in proposing an analysis approach to verify business process consistency, enriched with temporal constraints and Cloud resources. Besides, Cloud providers offer different pricing strategies based on different parameters such as temporal perspective. Consequently, the objective of our thesis is to propose a mathematic model to optimize business process cost under temporal and resources constraints based-on temporal dimension. The optimization step is done after verifying non-violation of temporal and resources constraints using formal methods.