• Home
  • Search
  • A Model-Driven Method for Fast Building Consistent Web Services from OpenAPI-Compatible Models
  • Open Access IconOpen Access
  • Cite Icon1
  • https://doi.org/10.1007/978-3-030-11030-7_2Copy DOI Icon

A Model-Driven Method for Fast Building Consistent Web Services from OpenAPI-Compatible Models

  • Jan 1, 2019
  • David Sferruzza +3 more
Show More
  • Abstract
  • Highlights & Summary
  • PDF
  • Literature Map
  • References
  • Citations
  • Similar Papers
Abstract

Lots of software companies rely on web technologies to test market hypotheses in order to 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 whereas they are based on specifications and hypotheses that are likely to change. Web services need to be well documented, to make it easy to develop applications that consume them. Model Driven Engineering approaches have been proposed and used to develop and evolve web services on one hand, and document them on the other hand. However, these approaches lack the ability to be suitable for both (i) rapid prototyping, (ii) model verification, (iii) compatibility with common programming languages and (iv) alignment between documentation and implementation. Here we propose a meta-model to express web services, the related tool to verify models consistency and an integration of this approach into the OpenAPI Specification. 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 extended OpenAPI 3.0 models and associated components implementations in order to generate corresponding web services. This allows us to give flexibility and verification support to developers, even in the context of an incremental development, as illustrated by a case study.

Loading PDF

Similar Papers
  • Research Article

Digital Adoption in Informal Micro-Property Management: A TAM–Lean–BMC Conceptual Framework and Research Agenda

  • Jan 01, 2026
  • Journal Integration of Management Studies
  • Esri Hestiningtyas +1
  • Research Article
  • Citations13

Technopreneurship as an outcomes-based education tool applied in some engineering and computing science programme

  • Jan 02, 2017
  • Australasian Journal of Engineering Education
  • Albertson D Amante +1
  • Research Article

Biopharma Is Going Digital … Bit by Bit

  • Jun 01, 2022
  • Genetic Engineering & Biotechnology News
  • Gareth John Macdonald
  • Research Article

Development of Customer Development Stages in Tourism Directory Application Services Using Design Thinking

  • Sep 25, 2024
  • Jurnal Indonesia Sosial Teknologi
  • Made Agung Dharma Sentosa +1
  • Research Article
  • Citations1

Reframing Startup Marketing Strategy with Product-Content-Market Fit

  • Dec 31, 2024
  • Giresun Üniversitesi İktisadi ve İdari Bilimler Dergisi
  • Cigdem Oztabak
  • Research Article
  • Citations34

Concurrent Design and Manufacturing for Mechanical Systems

  • Dec 01, 1999
  • Concurrent Engineering
  • Kuang-Hua Chang +2
  • Research Article
  • Citations86

Building web services for scientific grid applications

  • Mar 01, 2006
  • IBM Journal of Research and Development
  • G Kandaswamy +5
  • Conference Article
  • Citations1

Usability analysis of Web Service behavior based on interface automata

  • Jun 01, 2012
  • Yan Zhang +2
  • Research Article
  • Citations2

Research, Development and Design for Product Development SAC: Interaction Design Mobile Web Application Using User Centered Design Methodology

  • Dec 26, 2023
  • International Journal of Current Science Research and Review
  • Jordan Muhammad Andrianda +1
  • Book Chapter

Chapter 9 - Risks and Issues: Preparing for and Responding to the Unexpected

  • Oct 01, 2015
  • Project Management in Product Development
  • George Ellis
  • Research Article

Tourism Creative Factory as a Knowledge-Based Entrepreneurship Programme: Innovation, Learning, and Sustainability in Post-Pandemic Portugal

  • Mar 06, 2026
  • Knowledge
  • Francisco Banha +2
  • Conference Article

A model for verification of web service maneuvering: A survey

  • Jul 01, 2012
  • N Danapaquiame +1
  • Research Article

ПРОДУКТИВНІСТЬ РНР CRUD WEB-СЕРВІСІВПРИ РОБОТІ З ДАНИМИ POSTGRESQL

  • Jan 01, 2022
  • Technical Sciences and Technologies
  • Sergei Tochilin
  • Conference Article
  • Citations55

Adaptive Testing, Oracle Generation, and Test Case Ranking for Web Services

  • Jun 19, 2015
  • Wei-Tek Tsai +5
  • Conference Article
  • Citations19

A Model Driven Development Framework for Enterprise Web Services

  • Oct 01, 2006
  • Xiaofeng Yu +6
Cactus Communications logo

Copyright 2026 Cactus Communications. All rights reserved.