An approach for verifying correctness of web service compositions

  • Authors

    • C. Saranya Jothi
    • Ravikumar S
    • Antony Kumar K
    • A. Suresh
    2018-02-05
    https://doi.org/10.14419/ijet.v7i1.7.9378
  • Web Service Composition, Service Oriented, CTL, LTL, Verifying Correctness.

  • Web services are utilized to illuminate some particular assignment. When a single web service cannot solve a given task, several web services are composed. Composition can be done either statically at design time or dynamically at runtime. Dynamic composition is more suitable for business applications where in business policies and user requirements frequently changes. Interleaved dynamic composition and execution of services is beneficial for adapting to changing user preferences. One of the main issues in such a scenario is that whether the component services that are composed operate according to the business rules specified. Safety, liveness and deadlock freedom properties of a composition depend on the behavior of individual services. Existing modeling techniques capture these properties and perform model checking only statically. Hence in this work, a two level model verification approach has been proposed to verify the correctness of dynamically composed services.

  • References

    1. [1]. Sheng, M., Maamar, Z., Yahyaoui, H., Bentahar, J., Boukadi, K. (2010). Separating operational and control behaviors: A new approach to web services modeling. IEEE Internet Computing, 14 (3), 3039. https://doi.org/10.1109/MIC.2010.78.

      [2]. Quan Z. Sheng, Zakaria Maamar, Lina Yao, Claudia Szabo, Scott Bourne (2014): Behavior modeling and automated verification of Web services. Information Science 258: 416-433. https://doi.org/10.1016/j.ins.2012.09.016.

      [3]. Jamal Bentahar, Hamdi Yahyaoui, Melissa Kova, Zakaria Maamar,(2013) Symbolic model checking composite Web services usingoperational and control behaviors. Information Science 508522.

      [4]. Jocelyn Simmonds, Yuan Gan, Marsha Chechik,(2009) Runtime monitoring of web service conversations, IEEE transactions on services computing, VOL. 2, NO. 3.

      [5]. Cimatti, A et al, (2002). NuSMV 2: An OpenSource tool for symbolic model checking. Proceeding of the international conference on computer-aided verification (CAV) (Vol. 2404, pp. 241268). LNCS. https://doi.org/10.1007/3-540-45657-0_29.

      [6]. Syed Adeel Ali, Partha S. Roop, Ian Warren: Stateful Web Services - Auto Modeling and Composition. IEEE International Conference on Web Services (ICWS) 2013, pp. 284-291.

      [7]. Kil, H., Nam,W. and Lee, D.(2013) Behavioural description based web service composition using abstraction and refinement, Int. J. Web and Grid Services, Vol. 9, No. 1, pp. 5481. https://doi.org/10.1504/IJWGS.2013.052849.

      [8]. Xitong Li, Yushun Fan, Quan Z. Sheng, Zakaria Maamar, and Hongwei ZhuA, (2011) Petri Net Approach to Analyzing Behavioral Compatibility and Similarity of Web Services, Algeria (2011), pp. 8793.

      [9]. Melliti Tarek,Celine Boutrous-Saab, Verifying correctness of Web services choreography (2006). ECOWS’06 pp. 306-318. https://doi.org/10.1109/ECOWS.2006.38.

      [10]. Xu Guoyan, Yang Li, Kang Jiehua, Ping Ping, Lv Xin, (2016). Trustworthiness calculation of composite Web service output data based on how provenance, Computer Science & Education (ICCSE).

      [11]. Li Bao, Yi Deng (2017). A Pi-Calculus Based Context-Aware Model for Web Service Composition, Information Science and Control Engineering (ICISCE).

      [12]. Xu Wenjun, Yin Zhenyu, Gu Ai, Yao Kaifeng (2017). Design and Implementation of Web Services Client Based on ARM Linux Embedded Platform, 10th International Conference on Intelligent Computation Technology and Automation (ICICTA).

      [13]. Ying Wu, Rui Zhang, Rui Xue, Ling Liu (2017). Multi-Client Verifiable Computation Service for Outsourced Data, IEEE International Conference on Web Services (ICWS). https://doi.org/10.1109/ICWS.2017.65.

  • Downloads

  • How to Cite

    Saranya Jothi, C., S, R., Kumar K, A., & Suresh, A. (2018). An approach for verifying correctness of web service compositions. International Journal of Engineering & Technology, 7(1.7), 5-10. https://doi.org/10.14419/ijet.v7i1.7.9378