Model checking
An Analysis of Reliable Delivery Specifications for Web Services
ITCC '05 Proceedings of the International Conference on Information Technology: Coding and Computing (ITCC'05) - Volume I - Volume 01
Synchronizability of Conversations among Web Services
IEEE Transactions on Software Engineering
Timed Model Checking Based Approach for Web Services Analysis
ICWS '09 Proceedings of the 2009 IEEE International Conference on Web Services
Requirements-Driven Verification of Web Services
Electronic Notes in Theoretical Computer Science (ENTCS)
The conversation calculus: a model of service-oriented computation
ESOP'08/ETAPS'08 Proceedings of the Theory and practice of software, 17th European conference on Programming languages and systems
A Refinement Checking Method of Web Services Composition
SOSE '10 Proceedings of the 2010 Fifth IEEE International Symposium on Service Oriented System Engineering
Hi-index | 0.00 |
Concerned with Web service composition, this paper proposes a model checking method of verifying asynchronous communication behaviors and timed properties. Firstly, analyzing Web service composition from software architecture, the interactive behaviors and timed properties are described by XYZ/ADL based on temporal logic language. Secondly, timed asynchronous communication model (TACM) which accords with the specification of model checker UPPAAL is proposed. Finally, based on the transition from XYZ/RE communication commands to TACM, the correctness of asynchronous communication behaviors of the service composition system can be verified by UPPAAL.