496 search results - page 2 / 100 » Model Checking Expressive Web Service Descriptions |
WWW
2008
ACM
14 years 7 months ago
2008
ACM
In this paper, we incorporate concrete domain and action theory into a very expressive Description Logic (DL), called ALCQO. Notably, this extension can significantly augment the ...
WSFM
2007
Springer
14 years 1 months ago
2007
Springer
A “data-aware” web service property is a constraint on the pattern of message exchanges of a workflow where the order of messages and their data content are interdependent. Th...
OAS
2003
13 years 8 months ago
2003
Current Web services standards enable publishing service descriptions and finding services by matching requested and published descriptions based on syntactic criteria such as me...
BPM
2006
Springer
13 years 10 months ago
2006
Springer
A framework for modeling Semantic Web Service is proposed. It is based on Description Logic (DL), hence it is endowed with a formal semantics and, in addition, it allows for expres...
SEMWEB
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Where are all the semantic Web services today? In this paper, we briefly provide the preliminary results of searching the surface Web and the prominent citeseer archive ...