288 search results - page 4 / 58 » Towards the Automation of E-Negotiation Processes Based on W... |
IIWAS
2004
13 years 7 months ago
2004
: This paper addresses two important aspects of Web service compositions - on the one hand, flexibility of Web service (WS) compositions, and on the other the automatic development...
ICLP
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. Service and process-oriented systems promise to provide more effective business and work processes and more flexible and adaptable enterprise IT systems. However, the t...
ECOWS
2006
Springer
13 years 9 months ago
2006
Springer
Traditional process support systems offer the promise of software assembled from service elements. The typical approach is a static composition of atomic processes to more powerfu...
EUROMICRO
2007
IEEE
13 years 7 months ago
2007
IEEE
BPEL is a de-facto standard language for web service orchestration. It is a challenge to test BPEL processes automatically because of the complex features of the language. The cur...
IEEEHPCS
2010
13 years 4 months ago
2010
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...