Contact Us

For Marketing, Sales and Subscriptions Inquiries
Rockefeller Center, 45 Rockefeller Plaza
20th Flr Unit #5, New York, NY 10111
United States

Conference List

Journal of Future Internet

March 2014, Volume 1, 1, pp 1-15

Verification Method of Complex Web-Services

Tkachova Elena


Issam Saad


Abdulghafoor Raed Yahya

Tkachova Elena 1
Issam Saad 2
Abdulghafoor Raed Yahya 3

  1. Telecommunication systems, Kharkov National University of Radioelectronics, Ukraine 1

  2. Kharkov National University of Radioelectronics, Ukraine 2

  3. Odessa National Academy of Telecommunications named after O.S.Popov, Ukraine 3


In the article proposed formalisms for defining rules of Web-services orchestration and choreography that allows to combine elements of a distributed system in a single system. Proposed approach allows to perform formal association of individual system components into a single unit. Proposed verification method for distributed systems based on the model approach. E-networks are models for verification of distributed systems. Web-service’s safety check is performed by finding deadlock conditions or any deviation from the specification process. This method allows taking into account the asynchronous nature of complex services and also performing stateful inspection: check for different Web-service consistency, check orchestration and choreography compatibility requirements for each service. 
Contribution/ Originality
This study uses new algebraic methods for the analysis of complex Web-services. The novelty is in the use of formal grammars, which solved the problem of validation and evaluation of the behavior of the resource allocation of info communication protocols.



  1. The Standish Group, The scope of software development project failures: The Standish Group. Stanford. Available, 2012.
  2. J. Westerman, "SOA today: Introduction to service-oriented architecture." Available
  3. C. Peltz, "Web services orchestration and choreography," IEEE Computer, vol. 36, pp. 6-52, 2003.
  4. G. Alonso, F. Casati, H. Kuno, and Machiraju, Web services—concepts, architectures and applications. Berlin Heidelberg: Springer-Verlag, 2008.
  5. A. Airkin, S. Askary, and W. Fordin, "Web service choreography interface (WSCI) 1.0," W3C Working Group, 2002.
  6. C. Peltz, Web services orchestration — A review of emerging technologies, tools, and standards: Hewlett-Packard Company, 2003.
  7. S. Weerawarana and C. Francisco, "Business process with BPEL4WS: Understanding BPEL4WS," Part 1 // Research Report, IBM Developer Works2002.
  8. M. Y. Vardi, "An automata-theoretic approach to automatic program verification. M.Y. Vardi, P. Wolper," in Proc. of the First Symposium on Logic in Computer Science, 1986, pp. 322-331.
  9. A. Lafuente, "Directed search for the verification of communication protocols," A. Lafuente // Doctorial Thesis, University of Freiburg, Institute of Computer Science. pp: 157, 2009.
  10. C. S. Langdon, "The state of web services," IEEE Computer, vol. 36, pp. 96-99, 2010.
  11. M. Baldoni, C. Baroglio, and A. Martelli, "Verifying the conformance of web services to global interaction protocols: A first step," International Workshop on Web Services and Formal Methods, 2010.
  12. M. Bravetti, C. Guidi, and R. Lucchi, "Supporting e-commerce systems formalization with choreography languages," in SAC ’05: Proceedings of the 2005 ACM Symposium on Applied Computing, New York, USA, 2005, pp. 831–835.
  13. J. Clarke, M. Edmund, and A. Peled, Model checking: MIT Press, 1999.
  14. A. Assaf, A. Sid, and B. Ben, "Web services business process execution language version 2.0, Editors," OASIS Open. Available [Accessed December 2004], 2004.
  15. W. Simon, "Specification and verification of composite web services," in In Proocedings of the 8th Enterprise Distributed Object Computing Conference, 2010.


Google Scholor ideas Microsoft Academic Search bing Google Scholor


Competing Interests:


Related Article