22 search results - page 2 / 5 » Generating Interface Grammars from WSDL for Automated Verifi... |
JSW
2007
13 years 5 months ago
2007
— BPEL (Business Process Execution Language) as a de-facto standard for web service orchestration has drawn particularly attention from researchers and industries. BPEL is a semi...
ISORC
2005
IEEE
13 years 11 months ago
2005
IEEE
Web Services form a new distributed computing paradigm. Collaborative verification and validation are important when Web Services from different vendors are integrated together to...
COMPUTER
2004
13 years 5 months ago
2004
partners are abstracted as Web services, we have introduced additional constructs to represent human users and define human interaction patterns. Each business process defined in o...
WWW
2010
ACM
13 years 11 months ago
2010
ACM
This paper addresses the problem of identifying redundant data in large-scale service-oriented information systems. Specifically, the paper puts forward an automated method to pi...
SEMWEB
2004
Springer
13 years 11 months ago
2004
Springer
Service interface description languages such as WSDL, and related standards, are evolving rapidly to provide a foundation for interoperation between Web services. At the same time,...