Architectural Characterization of Web Service Interaction Verification

Conference paper
Part of the Smart Innovation, Systems and Technologies book series (SIST, volume 44)


Web service interaction utilizes disparate models as it still does not have its own model for verification process. Adaptation of a different model is not always beneficial as it may prune several significant characteristics that worth considering in verification. The primary reason behind this adaptation is that the primitive characteristics are not well identified, standardized, and established for Web service interaction model. In this article, we therefore investigate the primitive characteristics of Web service interaction model that need to be well considered in verification. Further, we study the appropriateness and effectiveness of two modeling and verification phenomena namely model checking and module checking with respect to investigated primitive characteristics.


Web services composition Formal methods Modeling Model checking Module checking 


  1. 1.
    Wang, H., Huang, J.Z., Qu, Y., Xie, J.: Web services: problems and future directions. Web Semantics: Sci. Serv. Agents World Wide Web 1(3), 309–320 (2004)CrossRefGoogle Scholar
  2. 2.
    Bozkurt, M., Harman, M., Hassoun, Y.: Testing Web Services: A survey. Department of Computer Science, King’s College London, Tech. Rep. TR-10–01 (2010)Google Scholar
  3. 3.
    Mei, L., Chan, W., Tse, T., Jiang, B., Zhai, K.: Preemptive regression testing of workflow-based web services. IEEE Trans. Services Comput. (2014)Google Scholar
  4. 4.
    Hnetynka, P., Plášil, F.: Dynamic reconfiguration and access to services in hierarchical component models. In: Component-Based Software Engineering, pp. 352–359. Springer (2006)Google Scholar
  5. 5.
    Lau, K.K., Wang, Z.: Software component models. IEEE Trans. Softw. Eng. 33(10), 709–724 (2007)CrossRefGoogle Scholar
  6. 6.
    Walton, C.: Model checking multi-agent web services. In: AAAI Symposium of Semantic Web Services (2004)Google Scholar
  7. 7.
    El Kholy, W., Bentahar, J., El Menshawy, M., Qu, H., Dssouli, R.: Modeling and verifying choreographed multi-agent-based web service compositions regulated by commitment protocols. Expert Syst. Appl. 41(16), 7478–7494 (2014)CrossRefGoogle Scholar
  8. 8.
    Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. J. ACM (JACM) 49(5), 672–713 (2002)MathSciNetCrossRefGoogle Scholar
  9. 9.
    Bentahar, J., Yahyaoui, H., Kova, M., Maamar, Z.: Symbolic model checking composite web services using operational and control behaviors. Expert Syst. Appl. 40(2), 508–522 (2013)CrossRefGoogle Scholar
  10. 10.
    Boaro, L., Glorio, E., Pagliarecci, F., Spalazzi, L.: Semantic model checking security requirements for web services. In: 2010 International Conference on High Performance Computing & Simulation, pp. 283–290 June 2010Google Scholar
  11. 11.
    Marques, A.P., Ravn, A.P., Srba, J., Vighio, S.: Model-checking web services business activity protocols. Int. J. Softw. Tools Technol. Transf. 15(2), 125–147 (2013)Google Scholar
  12. 12.
    Sheng, Q.Z., Maamar, Z., Yao, L., Szabo, C., Bourne, S.: Behavior modeling and automated verification of Web services. Inf. Sci. 258, 416–433 (2014)CrossRefGoogle Scholar
  13. 13.
    Holzmann, G.J.: The SPIN model checker: Primer and reference manual, vol. 1003. Addison-Wesley Reading (2004)Google Scholar
  14. 14.
    Cimatti, A., Clarke, E., Giunchiglia, E., Giunchiglia, F., Pistore, M., Roveri, M., Sebastiani, R., Tacchella, A.: Nusmv 2: An opensource tool for symbolic model checking. In: Computer Aided Verification, pp. 359–364. Springer (2002)Google Scholar
  15. 15.
    De Alfaro, L., Alur, R., Grosu, R., Henzinger, T., Kang, M., Majumdar, R., Mang, F., Meyer-Kirsch, C., Wang, B.: Mocha: Exploiting Modularity in Model Checking. Tech. Rep, DTIC Document (2000)Google Scholar
  16. 16.
    Kreger, H.: Web services conceptual architecture (wsca 1.0). IBM Software Group 5 (2001)Google Scholar
  17. 17.
    Rglinger, M.: Verification of web service compositions: an operationalization of correctness and a requirements framework for service-oriented modeling techniques. Business & Inform. Syst. Eng. 1(6), 429–437 (2009)CrossRefGoogle Scholar
  18. 18.
    Pistore, M., Roveri, M., Busetta, P.: Requirements-driven verification of web services. Electronic Notes Theor. Comput. Sci. 105, 95–108 (2004)CrossRefGoogle Scholar
  19. 19.
    Schlingloff, H., Martens, A., Schmidt, K.: Modeling and model checking web services. Electron. Notes Theoret. Comput. Sci 126, 3–26 (2005)CrossRefGoogle Scholar

Copyright information

© Springer India 2016

Authors and Affiliations

  1. 1.IDRBTCastle Hills, Masab TankHyderabadIndia
  2. 2.SCISUniversity of Hyderabad, GachibowliHyderabadIndia

Personalised recommendations