496 search results - page 9 / 100 » Model Checking Expressive Web Service Descriptions |
DLOG
2006
13 years 9 months ago
2006
Abstract. Model checking is a fully automated technique for determining whether the behaviour of a finite-state reactive system satisfies a temporal logic specification. Despite th...
ECRA
2002
13 years 7 months ago
2002
Web Services will transform the web from a collection of information into a distributed computational device. In order to employ their full potential, appropriate description means...
ICWS
2004
IEEE
13 years 9 months ago
2004
IEEE
This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving. The method uses Semantic Web service language (DAML-S) f...
ISORC
2005
IEEE
14 years 1 months ago
2005
IEEE
Web Services form a new distributed computing paradigm. Collaborative verification and validation are important when Web Services from different vendors are integrated together to...
ICSOC
2005
Springer
14 years 1 months ago
2005
Springer
There have been significant efforts in providing semantic descriptions for Web services, including the approach as exemplified by OWLS. Part of the semantic description in OWL-S is...