197 search results - page 22 / 40 » A Calculus for Orchestration of Web Services |
ICWS
2008
IEEE
13 years 10 months ago
2008
IEEE
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...
NOMS
2002
IEEE
14 years 1 months ago
2002
IEEE
As web services become more prevalent, the nature of electronic transactions on the Internet changes from simple browser-to-business clicks to an orchestrated flow of messages bet...
JWSR
2011
13 years 3 months ago
2011
: Semantic Web Services (SWS) aim at the automated discovery, selection and orchestration of Web services on the basis of comprehensive, machine-interpretable semantic descriptions...
ICWS
2004
IEEE
13 years 10 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...
ICWS
2009
IEEE
14 years 5 months ago
2009
IEEE
Professional mashups that include complex choreographies, data mediation, and result publishing within Web pages are still affected by implementation and design practices that rel...