IDEAS home Printed from https://ideas.repec.org/a/igg/jssmet/v7y2016i1p27-42.html
   My bibliography  Save this article

CTL Model Checking of Web Services Composition based on Open Workflow Nets Modeling

Author

Listed:
  • Zohra Sbaï

    (ENIT, Tunis, Tunisia)

  • Rawand Guerfel

    (ENIT, Tunis, Tunisia)

Abstract

Web services composition (WSC) has an enormous potential for the organizations in the B2B area. In fact, different services collaborate through the exchange of messages to implement complex business processes. BPEL is one of the most used languages to develop such cooperation. However, it has been proved that its use is complex and can require some expertise in XML syntax. Even its graphical representation is not evident to handle. This is why the authors propose to model Web services using oWF-nets, a subclass of Petri nets, and then, to translate them to BPEL. Whilst, a WSC is with added value only if the involved services are compatible. So in this context, across the translation proposed the researchers develop a verification layer of the WSC compatibility. Hence, they propose a framework named D&A4WSC which allows to model the WSC by oWF-nets, to check their compatibility with the model checker NuSMV and to translate them if they are compatible in BPEL processes using the oWFN2BPEL compiler. D&A4WSC permits, furthermore, to formally analyze a BPEL process.

Suggested Citation

  • Zohra Sbaï & Rawand Guerfel, 2016. "CTL Model Checking of Web Services Composition based on Open Workflow Nets Modeling," International Journal of Service Science, Management, Engineering, and Technology (IJSSMET), IGI Global, vol. 7(1), pages 27-42, January.
    • Handle: RePEc:igg:jssmet:v:7:y:2016:i:1:p:27-42
    as

    Download full text from publisher

    File URL: http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/IJSSMET.2016010102
    Download Restriction: no
    ---><---

    Citations

    Citations are extracted by the CitEc Project, subscribe to its RSS feed for this item.
    as


    Cited by:

    1. Kerem Akkaya & Tolga Ovatman, 2022. "A Comparative Study of Meta-Data-Based Microservice Extraction Tools," International Journal of Service Science, Management, Engineering, and Technology (IJSSMET), IGI Global, vol. 13(1), pages 1-26, January.

    More about this item

    Statistics

    Access and download statistics

    Corrections

    All material on this site has been provided by the respective publishers and authors. You can help correct errors and omissions. When requesting a correction, please mention this item's handle: RePEc:igg:jssmet:v:7:y:2016:i:1:p:27-42. See general information about how to correct material in RePEc.

    If you have authored this item and are not yet registered with RePEc, we encourage you to do it here. This allows to link your profile to this item. It also allows you to accept potential citations to this item that we are uncertain about.

    We have no bibliographic references for this item. You can help adding them by using this form .

    If you know of missing items citing this one, you can help us creating those links by adding the relevant references in the same way as above, for each refering item. If you are a registered author of this item, you may also want to check the "citations" tab in your RePEc Author Service profile, as there may be some citations waiting for confirmation.

    For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: Journal Editor (email available below). General contact details of provider: https://www.igi-global.com .

    Please note that corrections may take a couple of weeks to filter through the various RePEc services.

    IDEAS is a RePEc service. RePEc uses bibliographic data supplied by the respective publishers.