Sciweavers

349 search results - page 6 / 70
» Toward the Composition of Semantic Web Services
Sort
View
SERVICES
2008
99views more  SERVICES 2008»
13 years 8 months ago
WS-BioZard: A Wizard for Composing Bioinformatics Web Services
As the amount of biological data continues to increase, how biologists share data and analysis tools efficiently is becoming an important issue. Web service technology is a promis...
Zhiming Wang, John A. Miller, Jessica C. Kissinger...
IEEEHPCS
2010
13 years 6 months ago
Semantic model checking security requirements for web services
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...
L. Boaro, E. Glorio, Francesco Pagliarecci, Luca S...
ECOWS
2006
Springer
13 years 11 months ago
The NExT Process Workbench: Towards the Support of Dynamic Semantic Web Processes
Traditional process support systems offer the promise of software assembled from service elements. The typical approach is a static composition of atomic processes to more powerfu...
Abraham Bernstein, Michael Dänzer
ENTCS
2006
148views more  ENTCS 2006»
13 years 7 months ago
Towards the Semantics and Verification of BPEL4WS
Abstract. In this paper, we discuss the semantics of BPEL4WS language which is a de facto standard for specifying and execution workflow specification for web service composition a...
Geguang Pu, Xiangpeng Zhao, Shuling Wang, Zongyan ...
IEEESCC
2008
IEEE
14 years 1 months ago
Enhancing Semantic Web Services Composition with User Interaction
The semantic web services composition process arranges several web services into one composite to realize complex workflows. To do this, semantic metadata of web services’ desc...
Peter Bartalos, Mária Bieliková