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

Abstract : 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.
Liste complète des métadonnées

Cited literature [17 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01654287
Contributor : David Sferruzza <>
Submitted on : Wednesday, March 21, 2018 - 5:40:21 PM
Last modification on : Tuesday, March 26, 2019 - 9:25:22 AM

File

article.pdf
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

  • HAL Id : hal-01654287, version 3

Collections

Citation

David Sferruzza, Jérôme Rocheteau, Christian Attiogbe, Arnaud Lanoix. A Model-Driven Method for Fast Building Consistent Web Services in Practice. MODELSWARD, INSTICC, Jan 2018, Funchal, Portugal. ⟨hal-01654287v3⟩

Share

Metrics

Record views

235

Files downloads

83