We consider the problem of adding both equality and order generating dependencies to Web ontology languages such as OWL DL that are based on description logics. Such dependencies u...
WSBPEL [2] opens up the possibility of applying a range of formal techniques to the verification of Web service behaviors from two points of view: constraints between activities w...
For the composition of Web services non-functional characteristics are commonly considered criteria for finding and selecting available services. Our work focuses on a mechanism ...
Michael C. Jaeger, Gregor Rojec-Goldmann, Gero M&u...
As the number of web services in repositories on the World Wide Web increases so will the number of complex configurations of web services. However, as the World Wide Web is dynam...
Sander van Splunter, Pieter H. G. van Langen, Fran...
The dependability of composite services is largely affected by their constituent Web services. Composite services have to operate in an open and dynamically changing environment i...
Domenico Bianculli, Walter Binder, Mauro Luigi Dra...