Sciweavers

895 search results - page 117 / 179
» Visual composition of web services
Sort
View
IEEEHPCS
2010
13 years 8 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...
EMISA
2004
Springer
14 years 3 months ago
On the Modeling of Correct Service Flows with BPEL4WS
: Frameworks for composing Web Services offer a promising approach for realizing enterprise-wide and cross-organizational business applications. With BPEL4WS a powerful composition...
Manfred Reichert, Stefanie Rinderle, Peter Dadam
ESWS
2005
Springer
14 years 3 months ago
Optimally Distributing Interactions Between Composed Semantic Web Services
When information services are organized to provide some composed functionality, their interactions can be formally represented as workflows. Traditionally, workflows are executed...
Ion Constantinescu, Walter Binder, Boi Faltings
ESWS
2008
Springer
13 years 11 months ago
SWING: An Integrated Environment for Geospatial Semantic Web Services
Geospatial Web services allow to access and to process Geospatial data. Despite significant standardisation efforts, severe heterogeneity and interoperability problems remain. The ...
Mihai Andrei, Arne-Jørgen Berre, Luis Costa...
IUI
2003
ACM
14 years 3 months ago
Towards individual service provisioning
With the emergence of modularized componentbased electronic services, such as Web Services and semantically tagged services, Individual Service Provisioning, wherein any user can ...
Fredrik Espinoza