loading
Documents

Research.Publish.Connect.

Paper

Authors: David Sferruzza 1 ; Jérôme Rocheteau 2 ; Christian Attiogbé 3 and Arnaud Lanoix 3

Affiliations: 1 LS2N - UMR CNRS 6004 and Startup Palace, France ; 2 LS2N - UMR CNRS 6004 and ICAM, France ; 3 LS2N - UMR CNRS 6004, France

ISBN: 978-989-758-283-7

Keyword(s): Software Engineering, Web Applications, Web Services, Model-driven Engineering, Formal Verifications.

Related Ontology Subjects/Areas/Topics: Applications and Software Development ; Component-Based Software Engineering ; Domain-Specific Modeling and Domain-Specific Languages ; Frameworks for Model-Driven Development ; Languages, Tools and Architectures ; Methodologies, Processes and Platforms ; Model-Driven Software Development ; Software Engineering

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. (More)

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 18.232.171.18

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Sferruzza, D.; Sferruzza, D.; Rocheteau, J.; Attiogbé, C. and Lanoix, A. (2018). A Model-Driven Method for Fast Building Consistent Web Services in Practice.In Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-283-7, pages 15-24. DOI: 10.5220/0006531900150024

@conference{modelsward18,
author={David Sferruzza. and David Sferruzza. and Jérôme Rocheteau. and Christian Attiogbé. and Arnaud Lanoix.},
title={A Model-Driven Method for Fast Building Consistent Web Services in Practice},
booktitle={Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2018},
pages={15-24},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006531900150024},
isbn={978-989-758-283-7},
}

TY - CONF

JO - Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - A Model-Driven Method for Fast Building Consistent Web Services in Practice
SN - 978-989-758-283-7
AU - Sferruzza, D.
AU - Sferruzza, D.
AU - Rocheteau, J.
AU - Attiogbé, C.
AU - Lanoix, A.
PY - 2018
SP - 15
EP - 24
DO - 10.5220/0006531900150024

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.