Sciweavers

67 search results - page 1 / 14
» Models for the Supervision of Web Services Orchestration wit...
Sort
View
92
Voted
AICT
2005
IEEE
115views Communications» more  AICT 2005»
15 years 4 months ago
Models for the Supervision of Web Services Orchestration with Dynamic Changes
Programming on the Web enlights some classical problems encountered on large distributed applications with a particular emphasis on dynamic changes. In that context, we are intere...
Thomas Chatain, Claude Jard
CSAC
2006
15 years 8 days ago
Toward a Pi-Calculus Based Verification Tool for Web Services Orchestrations
Abstract. Web services constitute a dynamic field of research about technologies of the Internet. WS-BPEL 2.0, is in the way for becoming a standard for defining Web services orche...
Faisal Abouzaid
84
Voted
BPM
2005
Springer
173views Business» more  BPM 2005»
15 years 4 months ago
Semi-automatic Generation of Web Services and BPEL Processes - A Model-Driven Approach
With the advent of Web services and orchestration specifications like BPEL it is possible to define workflows on an Internet-scale. In the health-care domain highly structured and ...
Rainer Anzböck, Schahram Dustdar
112
Voted
TSC
2008
140views more  TSC 2008»
14 years 10 months ago
Dynamic Web Service Selection for Reliable Web Service Composition
This paper studies the dynamic Web service selection problem in a failure-prone environment, which aims to determine a subset of Web services to be invoked at runtime so as to succ...
San-Yih Hwang, Ee-Peng Lim, Chien-Hsiang Lee, Chen...
79
Voted
DBPL
2003
Springer
109views Database» more  DBPL 2003»
15 years 4 months ago
Modelling Dynamic Web Data
We introduce the Xdπ calculus, a peer-to-peer model for reasoning about dynamic web data. Web data is not just stored statically. Rather it is referenced indirectly, for example ...
Philippa Gardner, Sergio Maffeis