Sciweavers

357 search results - page 3 / 72
» A Semantical Framework for the Orchestration and Choreograph...
Sort
View
VLDB
2007
ACM
161views Database» more  VLDB 2007»
13 years 11 months ago
Reasoning about the Behavior of Semantic Web Services with Concurrent Transaction Logic
The recent upsurge in the interest in Semantic Web services and the high-profile projects such as the WSMO, OWLS, and SWSL, have drawn attention to the importance of logic-based ...
Dumitru Roman, Michael Kifer
ECLIPSE
2005
ACM
13 years 7 months ago
Leveraging Eclipse for integrated model-based engineering of web service compositions
In this paper we detail the design and implementation of an Eclipse plug-in for an integrated, model-based approach, to the engineering of web service compositions. The plug-in al...
Howard Foster, Sebastián Uchitel, Jeff Mage...
TASE
2008
IEEE
13 years 11 months ago
Reasoning about Channel Passing in Choreography
Abstract Web services choreography describes global models of service interactions among a set of participants. For an interaction to be executed, the participants taken part in it...
Hongli Yang, Chao Cai, Liyang Peng, Xiangpeng Zhao...
WECWIS
2005
IEEE
152views ECommerce» more  WECWIS 2005»
13 years 10 months ago
Semantic Web Service Composition in IRS-III: The Structured Approach
Semantic Web Services facilitate activities including automatic discovery and composition of Web Services. Research initiatives such as WSMO have been developing specifications fo...
Farshad Hakimpour, Denilson Sell, Liliana Cabral, ...
ICWS
2008
IEEE
13 years 6 months ago
Communications Semantics for WSBPEL Processes
WSBPEL [2] opens up the possibility of applying a range of formal techniques to the verification of Web service behaviors from two points of view: constraints between activities w...
Walid Fdhila, Mohsen Rouached, Claude Godart