Analyzing conversations of Web services


     Related Videos
Analyzing Metabolomics Data for Automated Prediction of Underlying Biological Mechanisms
CS 61A Lecture 36 Analyzing Eval
Socioeconomic Factors Considered in Analyzing Religious Iden
IE Organic Lecture 13.2 - Analyzing and Classifying Reactionsq - YouTube
Lecture 8 Antonio - Analyzing Cell Types Specific Laws of Engrailed During Cerebellar Morp...

     Related Hubpages

    •  Doc. Url:    Embed Code: 

    • IEEE  status
      (0) (0 Votes)
      Views: (2016)   Date: (Publication Date: Jan.-Feb. 20...)   Pages: ()
    • Author:  Bultan  T. Su  J. Fu  X. Dept. of Comput. Sci.  California Univ.  Santa Barbara  CA  USA;  

    • Abstract:  Abstract A composite Web service consists of a set of individual services (or peers), which interact with each other via messages. A conversation is a global sequence of messages exchanged among peers participating in a composite Web service. Interestingly, conversation behavior differs significantly for synchronous and asynchronous communication, even if peers' local behaviors remain the same. The authors use synchronizability and realizability analysis techniques to analyze conversations in the presence of asynchronous communication. With these analyses, they can use model checking to automatically verify conversation behavior for bottom-up and top-down Web service specifications.

         Related Documents

           Related Groups

             Related Science News

               More on Sciencestage

               Answers

               News

               Related on Wikipedia




























           

          Powered free by PHPmotion