De nos jours, de nombreuses sociétés œuvrant dans le logiciel dépendent des technologies web pour tester des hypothèses de marché et développer des entreprises viables. Elles ont souvent besoin de construire rapidement des services web qui sont au cœur de leurs « Minimum Viable Products » (MVPs). Les MVPs doivent être fiables et sont basés sur des spécifications et des hypothèses qui ont de fortes chances de changer. Des approches basées sur l’Ingénierie Dirigée par les Modèles ont déjà été proposées et utilisées pour développer et faire évoluer des services web. Cependant, ces approches ne sont pas appropriées pour (i) le prototypage rapide, (ii) la vérification de modèle et (iii) la compatibilité avec les langages de programmation classiques. Nous proposons un méta-modèle permettant d’exprimer des services web, ainsi que l’outil associé pour vérifier la cohérence des modèles. Nous adoptons un processus de vérification superficiel pour permettre le prototypage rapide par des développeurs qui ne sont pas des experts des méthodes formelles, tout en offrant des garanties au moment de la conception qui permettent d’améliorer la qualité du produit et l’efficacité du développement. Les services web sont définis en utilisant des composants paramétrables qui permettent d’exprimer et de vérifier formellement des comportements, et de les ré-utiliser sans encombre dans des contextes différents. Nous avons construit un outil pour vérifier la cohérence des modèles et des implémentations de composants associées dans le but de générer les services web correspondants. Cela donne de la flexibilité aux développeurs, ainsi que du support à travers la vérification automatique et une prise en main facilitée des projets pour les nouveaux développeurs.