496 search results - page 5 / 100 » Model Checking Expressive Web Service Descriptions |
EDOC
2006
IEEE
15 years 3 months ago
2006
IEEE
Enterprise systems are frequently built by combining a number of discrete Web services together, a process termed composition. There are a number of architectural configurations ...
66
Voted
ICDE
2007
IEEE
15 years 4 months ago
2007
IEEE
In this paper, we propose to deploy type-theoretic techniques to the service description and composition verification. We define a flexible type system for modeling instances a...
ESWS
2006
Springer
15 years 1 months ago
2006
Springer
The Web Service Modeling Language (WSML) is a language for the specification of different aspects of Semantic Web Services. It provides a formal language for the Web Service Modeli...
72
Voted
AICT
2006
IEEE
15 years 3 months ago
2006
IEEE
The release of WSRF showed that an OGSA infrastructure of stateful WS-Resources could be built on top of plain WSDL, while retaining Web services as stateless entities. This Grid ...
66
Voted
SEMWEB
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Recently, there have been a number of proposals for languages for expressing web service constraints and capabilities, with WSPolicy and WSPL leading the way. The propose...