On mySimon: Skullcandy Hesh Headphones
BNET Business Network:
BNET
TechRepublic
ZDNet

FREE Registration is required

Overview:

Contracts are behavioural descriptions of Web services. The paper devises a theory of contracts that formalises the compatibility of a client to a service, and the safe replacement of a service with another service. The use of contracts statically ensures the successful completion of every possible interaction between compatible clients and services. The technical device that underlies the theory is the definition of filters, which are explicit coercions that prevent some possible behaviours of services and, in doing so, they make services compatible with different usage scenarios. The paper shows that filters can be seen as proofs of a sound and complete subcontracting deduction system which simultaneously refines and extends Hennessy's classical axiomatisation of the must testing preorder.

(Is this item miscategorized? Does it need more tags? Let us know.)

Format:PDFSize:219 KB
Date:Jan 2008
Pages:12

Top results from Web Services

White Paper Online IT Training Company Deploys Web Conferencing Service, Saves Time and Money
White Paper IBM WebSphere Portal for z/OS taps into System z, Web 2.0: Executive update
White Paper Create new value from System z assets, reduce costs with Web technology
Webcast On Demand Webcast: A Smarter way to Successful SOA - Information as a trusted strategic asset
White Paper Microsoft Dynamics: Enabling Real-World SOA to connect your business vision with software

» View all Web Services listings

advertisement

White Papers, Webcasts, and Resources

Featured Training Courses

Meet Doc

Returning users: Log In Here!

Already registered on BNET, TechRepublic, or ZDNet? Simply log in.

Free Membership: Sign Up Now!

Sign up for a free membership today and get instant and unlimited access to one of the largest databases of white papers, webcasts, and casestudies anywhere. Your FREE membership allows you to:

  • Download an unlimited amount of content, including classic and current white papers, case studies, webcasts and more
  • Track content on your chosen topics of interest
  • Receive targeted email alerts when your favorite content is added
  • Save content for future reading
  • Receive our member newsletter

When you register to access this library, you allow us to share your information with companies that produce products or services featured in the library--so that such companies may contact you with information and offers regarding their products and services. This enables us to keep the library a free service. As a library registrant, you will receive a complimentary subscription to the ZDNet white paper newsletter and e-mail Must-Read News Alerts. You can unsubscribe from these at any time. By clicking the Sign up button, you indicate that you agree to our Terms and Conditions and have read and understand our Privacy Policy (updated).