Sciweavers

845 search results - page 66 / 169
» An Overview of Semantic Web Services Composition Approaches
Sort
View
KBSE
2003
IEEE
15 years 11 months ago
Model-based Verification of Web Service Compositions
In this paper we discuss a model-based approach to verifying web service compositions for web service implementations. This approach provides verification of properties created fr...
Howard Foster, Sebastián Uchitel, Jeff Mage...
CONEXT
2006
ACM
16 years 9 days ago
Dynamic service discovery and composition for ubiquitous networks applications
The realization of ubiquitous networks brings new challenges to application development. In this kind of network, services and, more specifically web services, have been used to p...
Luiz Olavo Bonino da Silva Santos, Marten van Sind...
ICWS
2009
IEEE
15 years 4 months ago
Discovery of Optimized Web Service Configurations Using a Hybrid Semantic and Statistical Approach
We present a Semantic Optimized Service Discovery (SemOSD) approach capable of handling Web service search requests on a fine-grained level of detail where we augment semantic ser...
Maciej Zaremba, Jacek Migdal, Manfred Hauswirth
ICWS
2007
IEEE
15 years 7 months ago
Model Checking Expressive Web Service Descriptions
In order to find suitable web services in a large market of web services, automatic support is needed to filter out web services semantically. Existing matchmaking approaches ma...
Sudhir Agarwal
APSCC
2010
IEEE
15 years 1 months ago
ValySeC: A Variability Analysis Tool for Service Compositions Using VxBPEL
Nowadays applications are increasingly developed based on remote Web services and service composition has become a powerful novel development paradigm. Due to the fact that such a...
Chang-ai Sun, Tieheng Xue, Marco Aiello