Sciweavers

42 search results - page 1 / 9
» Specification and Verification of Data-driven Web Services
Sort
View
DEBU
2008
100views more  DEBU 2008»
13 years 4 months ago
WAVE: Automatic Verification of Data-Driven Web Services
Data-driven Web services, viewed broadly as interactive systems available on the Web for users and programs, provide the backbone for increasingly complex Web applications. While ...
Alin Deutsch, Victor Vianu
EDOC
2004
IEEE
13 years 8 months ago
Notations for the Specification and Verification of Composite Web Services
Availability of a wide variety of Web services over the Internet offers opportunities of providing new value added services built by composing them out of existing ones. Service c...
Simon J. Woodman, Doug J. Palmer, Santosh K. Shriv...
WORDS
2005
IEEE
13 years 10 months ago
Specification-Based Verification and Validation of Web Services and Service-Oriented Operating Systems
Service-Oriented Architecture (SOA) and Web Services (WS) have received significant attention recently. Even though WS are based on open standards and support software interoperab...
Wei-Tek Tsai, Yinong Chen, Raymond A. Paul
PODS
2004
ACM
95views Database» more  PODS 2004»
14 years 4 months ago
Specification and Verification of Data-driven Web Services
Alin Deutsch, Liying Sui, Victor Vianu
CAISE
2007
Springer
13 years 8 months ago
Specification and Verification of Authorization Policies for Web Services Composition
The management and maintenance of a large number of Web services is not easy and, in particular, needs appropriate authorization policies to be defined so as to realize reliable an...
Mohsen Rouached, Claude Godart