A Model-Driven Method for Fast Building Consistent Web Services in Practice

Résumé : 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.
Type de document :
Communication dans un congrès
MODELSWARD, Jan 2018, Funchal, Portugal. 2018, 〈http://www.modelsward.org/〉
Liste complète des métadonnées

Littérature citée [17 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01654287
Contributeur : David Sferruzza <>
Soumis le : mercredi 20 décembre 2017 - 16:40:52
Dernière modification le : jeudi 19 avril 2018 - 11:46:05

Fichier

article.pdf
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

  • HAL Id : hal-01654287, version 2

Citation

David Sferruzza, Jérôme Rocheteau, Christian Attiogbe, Arnaud Lanoix. A Model-Driven Method for Fast Building Consistent Web Services in Practice. MODELSWARD, Jan 2018, Funchal, Portugal. 2018, 〈http://www.modelsward.org/〉. 〈hal-01654287v2〉

Partager

Métriques

Consultations de la notice

149

Téléchargements de fichiers

21