On mySimon: Vinturi Essential Wine Aerator
BNET Business Network:
BNET
TechRepublic
ZDNet

FREE Registration is required

Overview:

This paper explores the problem of specification and verification of compliance in agent based Web service compositions. The paper uses the formalism of temporal-epistemic logic suitably extended to deal with compliance/violations of contracts. The paper illustrates these concepts using a motivating example where the behaviours of participating agents are governed by contracts. The composition is specified in OWL-S and mapped to the chosen formalism. Finally the paper uses an existing symbolic model checker to verify the example specification whose state space is approximately 221 and discuss experimental results.

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

Format:PDFSize:602 KB
Date:May 2008
Pages:8

Top results from Web Services

White Paper Online IT Training Company Deploys Web Conferencing Service, Saves Time and Money
White Paper 10 ASP.NET Tips To Increase Productivity and Simplify Maintenance
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

» View all Web Services listings

Top results from Security Standards

White Paper How to comply with the Payment Card Industry Standard
White Paper Ten Ways Hackers Breach Security
White Paper Preparing for Tomorrow's Threat Today: What We Can Learn from the History of Malware and Defenses
White Paper Security on a Budget
White Paper The 10 Most Dangerous Risks to Microsoft Security

» View all Security Standards listings

advertisement
Click Here

White Papers, Webcasts, and Resources

Featured Training Courses

SmartPlanet

  • Thought-provoking progressive ideas on diverse topics that intersect with technology, business, and life, and matter to the world at large. Visit SmartPlanet
  • More from IBM
  • Innovate your business' process model, play against the market, compete against others on our scoreboards and WIN! Try INNOV8 2.0: A BPM Simulator
  • Enabling Real-World Business Transformation through IBM Service Management Read the EMA Analyst Report
Click Here

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).