Modelling and verifying web service orchestration by means of the concurrency workbench
ACM SIGSOFT Software Engineering Notes
Design for verification for asynchronously communicating Web services
WWW '05 Proceedings of the 14th international conference on World Wide Web
Tools for composite web services: a short overview
ACM SIGMOD Record
Verifying web services composition based on hierarchical colored petri nets
Proceedings of the first international workshop on Interoperability of heterogeneous information systems
Verification of communicating data-driven web services
Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Specification and verification of data-driven Web applications
Journal of Computer and System Sciences
Simulation and Formal Analysis of Workflow Models
Electronic Notes in Theoretical Computer Science (ENTCS)
OTM '08 Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part I on On the Move to Meaningful Internet Systems:
Model-Checking Behavioral Specification of BPEL Applications
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards formal verification of web service composition
BPM'06 Proceedings of the 4th international conference on Business Process Management
Model transformation based verification of web services composition
GCC'05 Proceedings of the 4th international conference on Grid and Cooperative Computing
Transform BPEL workflow into hierarchical CP-Nets to make tool support for verification
APWeb'06 Proceedings of the 8th Asia-Pacific Web conference on Frontiers of WWW Research and Development
Web service mining and verification of properties: an approach based on event calculus
ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part I
Analysis of composite web services using logging facilities
ICSOC'06 Proceedings of the 4th international conference on Service-oriented computing
Optimal Adapter Creation for Process Composition in Synchronous vs. Asynchronous Communication
ACM Transactions on Management Information Systems (TMIS)
On the aggregation problem for synthesized Web services
Journal of Computer and System Sciences
| Hi-index | 0.00 |
Web service is an emerging software technology to useremote services in the Internet. As it becomes pervasive,some "language" to describe Web service flows is neededto combine existing services flexibly. The flow essentiallydescribes distributed collaborations and is not easy to writeand verify, while the fault that the flow description may containcan only be detected at runtime. The faulty flow descriptionis not desirable because a tremendous amount ofpublicly shared network resources are consumed. The verificationof the Web service flow prior to its execution in theInternet is mandatory. This paper proposes to use the softwaremodel-checking technology for the verification of theWeb service flow descriptions. For a concrete discussion,the paper adapts WSFL (Web Services Flow Language) asthe language to describe the Web service flows, and uses theSPIN model-checker for the verification engine. The experimentshows that the software model-checking technology isusable as a basis for the verification of WSFL descriptions.