Sciweavers

362 search results - page 13 / 73
» Semantic matchmaking of web services using model checking
Sort
View
SAC
2008
ACM
13 years 7 months ago
The QoS-MO ontology for semantic QoS modeling
This paper presents the QoS-MO ontology. This ontology enables the specification of QoS requirements for Semantic Web Services and can easily be combined with OWL-S in order to fu...
Gustavo Fortes Tondello, Frank Siqueira
ESWS
2007
Springer
13 years 11 months ago
Imprecise SPARQL: Towards a Unified Framework for Similarity-Based Semantic Web Tasks
This proposal explores a unified framework to solve Semantic Web tasks that often require similarity measures, such as RDF retrieval, ontology alignment, and semantic service match...
Christoph Kiefer
AAAI
2007
13 years 9 months ago
A Planning Approach for Message-Oriented Semantic Web Service Composition
In this paper, we consider the problem of composing a set of web services, where the requirements are specified in terms of the input and output messages of the composite workfl...
Zhen Liu, Anand Ranganathan, Anton Riabov
ESWS
2007
Springer
13 years 11 months ago
A BPMO Based Semantic Business Process Modelling Environment
The SUPER project presents a novel approach to BPM by using Semantic Web and Semantic Web Services. Existing processes can be augmented with semantic annotations, so that formal re...
Marin Dimitrov, Alex Simov, Sebastian Stein, Mihai...
TAICPART
2006
IEEE
170views Education» more  TAICPART 2006»
14 years 1 months ago
Generation of Conformance Test Suites for Compositions of Web Services Using Model Checking
Testing compositions of web services is complex, due to their distributed nature and asynchronous behaviour. However, research in this field is scarce. We propose a new testing me...
José García-Fanjul, Claudio de la Ri...