A Model-Driven Method for Fast Building Consistent Web Services in Practice
Résumé
Nowadays, lots of software companies rely on web technologies to test market hypothesis and develop viable businesses. They often need to quickly build web services that are at the core of their Minimum Viable Products (MVPs). MVPs must be reliable and are based on specifications and hypothesis that are likely to change. Model Driven Engineering approaches have been proposed and used to develop and evolve web services. However, these approaches lack the ability to be suitable for both (i) rapid prototyping, (ii) model verification and (iii) compatibility with common programming languages. Here we propose a meta-model to express web services and the related tool to verify models consistency. We adopt a shallow verification process to allow rapid prototyping by developers who are not formal methods experts, while still offering design-time guarantees that improve product quality and development efficiency. Web services are defined using parametric components which enable to express and formally verify web service patterns and to safely reuse them in other contexts. We built a tool to check consistency of models and associated components implementations in order to generate corresponding web services. This allows us to give flexibility to developers, as well as verification support and an easier onboarding for new developers.
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.
Origine : Fichiers produits par l'(les) auteur(s)
Loading...
