Web Services White Papers
Reasoning About the Behavior of Semantic Web Services With Concurrent Transaction Logic
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.
| Publisher | Association for Computing Machinery | File Format | |
|---|---|---|---|
| Date Published | July 2007 | ||
| Format | White Papers | ||
| Topics | |||
-
Did you find this white paper useful?
White Paper RSSThink Globally, Act Locally: Targeting New Customers with Geolocation
DownloadWhen it comes to content, "one size fits all" used to be the norm and web traffic was measured in "hits". No longer. Companies that are leading the...
Learn how Performance Metrics for Telcomm Expense Management Drive new ROIs and SLAs
Metrics that force organizations to think about service level agreements and measurements differently Learn how new high performance telecom expense management solutions will increase your ROI. Watch "Learn how Performance...
Connecting everything with Smart SOA Connectivity and Integration
Tune in to this webcast to hear how Liverpool, one of Mexico's most important retailers, was able to reduce costs and streamline information by moving from an inefficient point-to-point integration...
Increase Reliability with IBM WebSphere File Transfer Edition (FTE)
"Does your organization still use FTP software? Did you know these links require 3 to 4 times more time and effort to build and maintain versus SOA-based Application Integration projects?...
Streamline core business processes with IBM WebSphere MQ
In today's constantly changing business environment, it is essential for applications and business processes to remain connected and integrated. View this interactive PDF and see how IBM WebSphere® MQ provides...
