Automated Generation of Web Service Stubs Using LTL Satisfiability Solving (WS-FM 2010)
Automated Generation of Web Service Stubs Using LTL Satisfiability Solving (WS-FM 2010)
Automated Generation of Web Service Stubs Using LTL Satisfiability Solving (WS-FM 2010)
Automated Generation of Web Service Stubs Using LTL Satisfiability Solving (WS-FM 2010)
Automated Generation of Web Service Stubs Using LTL Satisfiability Solving (WS-FM 2010)
Automated Generation of Web Service Stubs Using LTL Satisfiability Solving (WS-FM 2010)
Automated Generation of Web Service Stubs Using LTL Satisfiability Solving (WS-FM 2010)
Automated Generation of Web Service Stubs Using LTL Satisfiability Solving (WS-FM 2010)
Automated Generation of Web Service Stubs Using LTL Satisfiability Solving (WS-FM 2010)
Automated Generation of Web Service Stubs Using LTL Satisfiability Solving (WS-FM 2010)
Automated Generation of Web Service Stubs Using LTL Satisfiability Solving (WS-FM 2010)
Automated Generation of Web Service Stubs Using LTL Satisfiability Solving (WS-FM 2010)
Automated Generation of Web Service Stubs Using LTL Satisfiability Solving (WS-FM 2010)
Automated Generation of Web Service Stubs Using LTL Satisfiability Solving (WS-FM 2010)
Automated Generation of Web Service Stubs Using LTL Satisfiability Solving (WS-FM 2010)
Automated Generation of Web Service Stubs Using LTL Satisfiability Solving (WS-FM 2010)
Automated Generation of Web Service Stubs Using LTL Satisfiability Solving (WS-FM 2010)
Automated Generation of Web Service Stubs Using LTL Satisfiability Solving (WS-FM 2010)
Automated Generation of Web Service Stubs Using LTL Satisfiability Solving (WS-FM 2010)
Automated Generation of Web Service Stubs Using LTL Satisfiability Solving (WS-FM 2010)
Automated Generation of Web Service Stubs Using LTL Satisfiability Solving (WS-FM 2010)
Automated Generation of Web Service Stubs Using LTL Satisfiability Solving (WS-FM 2010)
Automated Generation of Web Service Stubs Using LTL Satisfiability Solving (WS-FM 2010)
Automated Generation of Web Service Stubs Using LTL Satisfiability Solving (WS-FM 2010)
Automated Generation of Web Service Stubs Using LTL Satisfiability Solving (WS-FM 2010)
Automated Generation of Web Service Stubs Using LTL Satisfiability Solving (WS-FM 2010)
Automated Generation of Web Service Stubs Using LTL Satisfiability Solving (WS-FM 2010)
Automated Generation of Web Service Stubs Using LTL Satisfiability Solving (WS-FM 2010)
Automated Generation of Web Service Stubs Using LTL Satisfiability Solving (WS-FM 2010)
Automated Generation of Web Service Stubs Using LTL Satisfiability Solving (WS-FM 2010)
Automated Generation of Web Service Stubs Using LTL Satisfiability Solving (WS-FM 2010)
Automated Generation of Web Service Stubs Using LTL Satisfiability Solving (WS-FM 2010)
Automated Generation of Web Service Stubs Using LTL Satisfiability Solving (WS-FM 2010)
Upcoming SlideShare
Loading in …5
×

Automated Generation of Web Service Stubs Using LTL Satisfiability Solving (WS-FM 2010)

874 views

Published on

Given a web service W, a stub is a simple service S intended to impersonate W and simulate some of its input-output patterns. When W's behavior is represented by a logic formula φ, S can use a satisfiability solver to drive the simulation and generate valid messages compliant with φ. A satisfiability solver for a variant of first-order temporal logic, called LTL-FO+, is described. Using a chain of existing, off-the-shelf tools, a stub can be generated from a set of LTL-FO+ formulæ expressing a wide range of constraints, including message sequences, parameter values, and interdependencies between both. This, in turn, produces a faithful simulation of the original service that can be used for development and testing.

0 Comments
0 Likes
Statistics
Notes
  • Be the first to comment

  • Be the first to like this

No Downloads
Views
Total views
874
On SlideShare
0
From Embeds
0
Number of Embeds
8
Actions
Shares
0
Downloads
5
Comments
0
Likes
0
Embeds 0
No embeds

No notes for slide

×