362 search results - page 37 / 73 » Semantic matchmaking of web services using model checking |
ICWS
2008
IEEE
13 years 10 months ago
2008
IEEE
Web services composition has been gaining interest over the last years as it leverages the capabilities to offer complex operations resulting from the aggregation of Web services ...
GCC
2005
Springer
14 years 2 months ago
2005
Springer
Meta modeling is an effective approach to implement interoperability among distributed and heterogeneous information sources on Web. MMFI (Framework for Metamodel Interoperability)...
BPM
2005
Springer
14 years 2 months ago
2005
Springer
We present a Petri net semantics for the Business Process Execution Language for Web Services (BPEL). Our semantics covers the standard behaviour of BPEL as well as the exceptional...
HICSS
2008
IEEE
14 years 3 months ago
2008
IEEE
In this paper we describe mechanisms for execution monitoring of semantic web services, based on OWL-S. The use of semantic descriptions and ontologies is a valuable extension to ...
WWW
2003
ACM
14 years 9 months ago
2003
ACM
The paper presents the work of the Elena project. The contribution of this paper is twofold: The first part of the paper elaborates on the notion of educational services. Educatio...