86
Voted
ICWS
2003
IEEE
15 years 5 days ago
2003
IEEE
In this paper, we propose a method for automated web service composition by applying Linear Logic (LL) theorem proving. We distinguish value-added web services and core service by ...