The Consistency of Web Conversations


     Related Videos

     Related Hubpages

    Field: Engineering  DOWNLOAD  BOOKMARK REPORT
    •  Doc. Url:    Embed Code: 

    • IEEE  status
      (0) (0 Votes)
      		Views: (2015)   Date: (Publication Date: 15-19 Sept. ...)   Pages: ()

    • Author:  Fischer  J. Majumdar  R. Sorrentino  F. Comput. Sci. Dept.  Univ. of California Los Angeles  Los Angeles  CA;  

    • Abstract:  Abstract We describe BPELCheck, a tool for statically analyzing interactions of composite Web services implemented in BPEL. Our algorithm is compositional, and checks each process interacting with an abstraction of its peers, without constructing the product state space. Interactions between pairs of peer processes are modeled using conversation automata which encode the set of valid message exchange sequences between the two processes. A process is consistent if each possible conversation leaves its peer automata in a state labeled as consistent and the overall execution satisfies a user-specified predicate on the automata states. We have implemented BPELCheck in the Enterprise Service Pack of the NetBeans development environment. Our tool handles the major syntactic constructs of BPEL, including sequential and parallel composition, exception handling, flows, and Boolean state variables. We have used BPELCheck to check conversational consistency for a set of BPEL processes, including an industrial example.

         Related Documents

           Related Groups

             Related Science News

             More on Sciencestage

             Answers

             News
        • The Hague makes capital out of criminal courts
          THE HAGUE (Reuters) - In a tiny office on Zeestraat 100, Alice Helbing puts the final touches to a script for an imaginary counter-terrorism exercise in the Netherlands. A few doors down the corridor, staff from a legal aid group are digging into real war crimes in Ivory Coast. Nearby at Humanity House, a small museum devoted to raising awareness about aid for the victims of disaster, visitors ...
        • Media Matters matters even less on the Internet
          Despite having the ear of Obama administration officials and generating research that has had a major influence in driving the agenda of establishment media, direct interest in Media Matters For America on the Internet has been on a downward spiral for years.
        • The Housing Bust, in One Chart
          The price per square foot for homes in 27 areas across the country. in 2006 versus 2011.
        • Looking For Lin In All The Wrong Places
          Why are the so-called experts are always looking in the same places? Frank Deford wonders how many talented athletes like Jeremy Lin have been overlooked because of stereotyping.
        • Raising the Price of Reproductive Rights
          State and local restrictions on abortion have made it harder for women, especially among the poor, to obtain abortions, an economist writes.
        • Cheers to the next 100 years
          Climb aboard The Heat Index Time Machine, and let's find out what in the world of H.G. Wells lies ahead.
        • Who Benefits From the Safety Net
          A new study underscores that the poor are no longer the biggest group receiving government benefits.
        • Review: 'The Darkness II' not worth embracing
          When the demonic first-person game "The Darkness" was released in 2007, it was a twisted breath of fresh air among all the war simulators and space-marine romps.
        • Senators Hate The Pentagon Cuts They Voted For
          The Pentagon’s new, slimmed-down budget is an agent of unity, bringing together Republicans and Democrats alike. Senators of every political stripe on the Armed Services Committee hate the thing — or don’t want to defend it.
        • 'The Artist' dog honored at Golden Collar Awards
          Even dog actors can get awards in Tinseltown, and six pooches collected prizes at the inaugural Golden Collar Awards.

             Related on Wikipedia




























         

        Powered free by PHPmotion