FREE Registration is required
Overview:
The recent upsurge in the interest in Semantic Web services and the high-profile projects such as the WSMO, OWL- S, and SWSL, have drawn attention to the importance of logic-based modeling of the behavior of Web services. In the context of Semantic Web services, the logic-based approach has many applications, including service discovery, service choreography, enactment, and contracting for ser-vices. This paper proposes logic-based methods for reasoning about service behavior, including the aforementioned choreography, contracting, and enactment. The formalism underlying the framework is Concurrent Transaction Logic - a logic for declarative specification, analysis, and execution of database transactions.
(Is this item miscategorized? Does it need more tags? Let us know.)
| Format: | Size: | 394 KB | |
| Date: | Jul 2007 | ||
| Pages: | 12 |
Top results from Web Services
White Papers, Webcasts, and Resources
- The Essential Guide: Real-Time High Availability for Exchange - Replicate Exchange Data for Improved Resiliency CA XOsoftSurvive major interruptions to your Exchange environment--and improve its resiliency and availability--with a real-time data replication solution.
- Designing High Availability for Internet Information Services CA XOsoftEnd downtime forever on your Web servers running Microsoft Internet Information Services with this step-by-step guide to high availability.
- IBM WebSphere Portal for z/OS taps into System z, Web 2.0: Executive update IBMSee how to lower costs and extract value faster with more responsive, interactive and intuitive business applications from WebSphere Portal Version 6.1.
Premier Vendor Content Whitepapers, webcasts & resources from our Power Center Sponsors
Featured Training Courses
- Implementing and Administering Windows 7 in the Enterprise
- CCNA Boot Camp v2.0
- VMware vSphere: Install, Configure, Manage [V4]
- Certified Ethical Hacker
- Management and Leadership Skills
- Browse all Training Courses







