Description Projet
SVeDaS : Spécification et Vérification des Systèmes basés sur les Données
Au cours des dernières années, les systèmes dits data-aware (DaS) ont été proposés comme un cadre global pour modéliser des processus métiers complexes en considérant les données et les processus comme des composantes de la même importance dans la description du système. Ce paradigme est particulièrement adapté à modéliser les enchères et les mécanismes basés sur les enchères dans le commerce électronique.
Le projet SVeDaS vise à faire progresser l’état-de-l’art dans la modélisation, l’analyse et le déploiement de systèmes data-aware en utilisant une nouvelle approche, compositionnelle et basée sur des agents dans leur spécification et vérification.
Les objectifs principaux du projet SVeDaS peuvent être résumés comme suit:
1. introduire des modèles computationnels basés sur les agents pour les systèmes data-aware, qui soient capables d’exprimer des processus métier complexes, y compris les enchères dans les marchés électroniques;
2. explorer des langages formels pour la spécification des comportements stratégiques d’agents autonomes (y compris la robustesse contre les comportements malveillants, ainsi que la manipulabilité et la collusion dans les ventes aux enchères) qui concernent les processus métiers ainsi que les agents qui y agissent;
3. analyser les propriétés formelles de ces modèles data-aware, en particulier les questions relatives à la vérification formelle dans des contextes d’information imparfaite;
4. repérer des classes de systèmes data-aware ainsi que des fragments logiques expressifs, qui aient un problème de model-checking décidable, et qui prêtent également à des méthodes de vérification efficaces;
5. développer des outils et des techniques de model-checking pour la vérification et la validation des systèmes data-aware dans des scénarios multi-agents, en mettant l’accent sur les mécanismes aux enchères.
Nous prévoyons que les résultats du projet SVeDaS contribueront de manière significative à notre compréhension des systèmes data-aware, améliorant ainsi la conception et la gestion des processus métier par le biais de la vérification formelle par model-checking.
À son tour, ces contributions contribueront à la construction de systèmes plus sûrs et fiables, ainsi qu’à la réduction des coûts, des défauts dans les mécanismes basés sur enchères pour le commerce électronique et l’e-business.
- Début du projet: 02/2017
- Durée: 36 mois
- Montant du financement de l’ANR: 153,17 K euros
- Partenaires: IBISC
- Porteur du projet: Francesco Belardinelli (MCF Univ. Évry, IBISC équipe COSMO)
- Site WEB du projet sur l’ANR