Sciweavers

Share
192 search results - page 1 / 39
» Simulation, verification and automated composition of web se...
Sort
View
WWW
2002
ACM
12 years 8 months ago
Simulation, verification and automated composition of web services
Web services -- Web-accessible programs and devices ? are a key application area for the Semantic Web. With the proliferation of Web services and the evolution towards the Semanti...
Srini Narayanan, Sheila A. McIlraith
ISORC
2005
IEEE
12 years 1 months ago
Automated Model Checking and Testing for Composite Web Services
Web Services form a new distributed computing paradigm. Collaborative verification and validation are important when Web Services from different vendors are integrated together to...
Hai Huang, Wei-Tek Tsai, Raymond A. Paul, Yinong C...
ICWS
2007
IEEE
11 years 9 months ago
Automated Choreographer Synthesis for Web Services Composition Using I/O Automata
We study the problem of synthesis of a choreogrpher in Web service composition for a given set of services and a goal. Services and goal are represented using i/o automata which c...
Saayan Mitra, Ratnesh Kumar, Samik Basu
ENTCS
2006
206views more  ENTCS 2006»
11 years 8 months ago
An Overview of Semantic Web Services Composition Approaches
In this paper, we are motivated by the problem of semantic web services composition. We first present a typical example requiring services composition, give a definition of an aut...
Yasmine Charif, Nicolas Sabouret
CSAC
2006
11 years 9 months 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
books