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

[PDF]

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 (2006-2019); Bimonthly (Since 2020)
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
  • Dec 06, 2019 News!

    Vol 14, No 1- Vol 14, No 4 has been indexed by EI (Inspec)   [Click]

  • Apr 16, 2020 News!

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

  • May 12, 2020 News!

    Vol 15, No 4 has been published with online version     [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]

  • May 12, 2020 News!

    The papers published in Vol 15, No 4 have all received dois from Crossref     [Click]