Volume 7 Number 12 (Dec. 2012)
Home > Archive > 2012 > Volume 7 Number 12 (Dec. 2012) >
JSW 2012 Vol.7(12): 2874-2885 ISSN: 1796-217X
doi: 10.4304//jsw.7.12.2874-2885

WS-mcv: An Efficient Model Driven Methodology for Web Services Composition

Fayc¸al Bachtarzi1, Allaoua Chaoui1, Allaoua Chaoui2
1Department of Computer Science, University Mentouri, Constantine, Algeria
2Department of Computer Science, University of Jijel, Jijel, Algeria

Abstract—Web services are available applications on the Web which can be invoked by users to accomplish a potentially business task. However, to meet user’s requirements, it becomes necessary to dynamically organize existent services and combine them, responding thus to a new purpose. In this paper, we propose a methodology called WS-mcv (Web Service Modeling, Composing and Verifying) that addresses the main problems arising in Web service composition area. WS-mcv represents an efficient and modular multistep approach achieved by breaking service composition into three processes: service modeling, automatic composition and formal verification. The proposed methodology makes use of the G-Net framework to allow an easiest modeling of basic and existent services. We propose a collection of expressive G-Net based operators that successfully solves complex Web service composition. WS-mcv also defines means to ensure composition correctness. All the processes of WS-mcv have been successfully automated in a model transformation based visual environment.

Index Terms—Web services composition, G-Nets, MDE, Graph transformation, ATOM3, G-Net Algebra


Cite: Fayc¸al Bachtarzi, Allaoua Chaoui, Allaoua Chaoui, "WS-mcv: An Efficient Model Driven Methodology for Web Services Composition," Journal of Software vol. 7, no. 12, pp. 2874-2885, 2012.

General Information

ISSN: 1796-217X (Online)
Frequency: Monthly
Editor-in-Chief: Prof. Antanas Verikas
Executive Editor: Ms. Yoyo Y. Zhou
Abstracting/ Indexing: DBLP, EBSCO, ProQuest, INSPEC, ULRICH's Periodicals Directory, WorldCat, etc
E-mail: jsw@iap.org
  • Aug 21, 2019 News!

    Papers published in JSW Vol 14, No 1- Vol 14 No 8 have been indexed by DBLP     [Click]

  • Jun 25, 2019 News!

    Vol.13, No.9 has been indexed by EI (Inspec).   [Click]

  • Aug 01, 2018 News!

    [CFP] 2020 the annual meeting of JSW Editorial Board, ICCSM 2020, will be held in Rome, Italy, July 17-19, 2020   [Click]

  • Jul 10, 2019 News!

    Vol 14, No.8 has been published with online version 4 original aritcles from 2 countries are published in this issue.    [Click]

  • Sep 12, 2019 News!

    Vol 14, No 10 has been published with online version 4 original aritcles from 2 countries are published in this issue      [Click]