Sciweavers

149 search results - page 2 / 30
» Web Service Composition Approaches: From Industrial Standard...
Sort
View
TAICPART
2006
IEEE
170views Education» more  TAICPART 2006»
13 years 10 months ago
Generation of Conformance Test Suites for Compositions of Web Services Using Model Checking
Testing compositions of web services is complex, due to their distributed nature and asynchronous behaviour. However, research in this field is scarce. We propose a new testing me...
José García-Fanjul, Claudio de la Ri...
SOFSEM
2009
Springer
14 years 1 months ago
A Formal Model of Business Application Integration from Web Services (Position Paper)
Abstract. Currently there are many service providers on the Web. Industry recognizes that from Web services many different business applications can be quickly created. A Web servi...
Kaiyu Wan, Mubarak Mohammad, Vasu S. Alagar
ERSHOV
2006
Springer
13 years 8 months ago
Formal Methods in Industrial Software Standards Enforcement
The article presents an approach to development of software standards usage infrastructure. The approach is based on formalization of standards and automated conformance test deriv...
Alexey Grinevich, Alexey V. Khoroshilov, Victor V....
ICWS
2009
IEEE
14 years 1 months ago
Towards Automated RESTful Web Service Composition
Emerging as the popular choice for leading Internet companies to expose internal data and resources, RESTful Web services are attracting increasing attention in the industry. Whil...
Haibo Zhao, Prashant Doshi
TSMC
2010
12 years 11 months ago
A Petri Net Approach to Analysis and Composition of Web Services
Business Process Execution Language for Web Services (BPEL) is becoming the industrial standard for modeling web service-based business processes. Behavioral compatibility for web ...
PengCheng Xiong, Yushun Fan, MengChu Zhou