Sciweavers

1085 search results - page 14 / 217
» Web Service Composition Using the Web Services Management La...
Sort
View
CSAC
2006
14 years 7 days ago
Toward a Pi-Calculus Based Verification Tool for Web Services Orchestrations
Abstract. Web services constitute a dynamic field of research about technologies of the Internet. WS-BPEL 2.0, is in the way for becoming a standard for defining Web services orche...
Faisal Abouzaid
IEEESCC
2005
IEEE
14 years 4 months ago
Using a Rigorous Approach for Engineering Web Service Compositions: A Case Study
In this paper we discuss a case study for the UK Police IT Organisation (PITO) on using a model-based approach to verifying web service composition interactions for a coordinated ...
Howard Foster, Sebastián Uchitel, Jeff Mage...
EEE
2005
IEEE
14 years 4 months ago
A Broker-Based Framework for QoS-Aware Web Service Composition
Web services are modular web applications that can be independently deployed and invoked by other software or services on the web. This offers enterprises the capability to integr...
Tao Yu, Kwei-Jay Lin
NOMS
2008
IEEE
134views Communications» more  NOMS 2008»
14 years 5 months ago
Manageability design for an autonomic management of semi-dynamic web service compositions
Abstract—Web service compositions (WSC), as part of a serviceoriented architecture (SOA), have to be managed to ensure compliance with guaranteed service levels. In this context,...
Christof Momm, I. P. Hallerbach, Sebastian Abeck, ...
ICWS
2007
IEEE
14 years 8 days ago
Specifying Semantic Web Service Compositions using UML and OCL
The semantic web promises to bring automation to the areas of web service discovery, composition and invocation. In order to realize these benefits, rich semantic descriptions of...
John T. E. Timm, Gerald C. Gannod