Client and server verification for web services using interface grammars
TAV-WEB '08 Proceedings of the 2008 workshop on Testing, analysis, and verification of web services and applications
Scalable Software Model Checking Using Design for Verification
Verified Software: Theories, Tools, Experiments
Automated identification of parameter mismatches in web applications
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
Web application modeling for testing and analysis
Proceedings of the 2008 Foundations of Software Engineering Doctoral Symposium
Trustable Remote Verification of Web Services
Trust '09 Proceedings of the 2nd International Conference on Trusted Computing
Towards Formal Interfaces for Web Services with Transactions
Advanced Internet Based Systems and Applications
An Assume Guarantee Verification Methodology for Aspect-Oriented Programming
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Proceedings of the IEEE/ACM international conference on Automated software engineering
| Hi-index | 0.01 |
We propose an Hierarchical StateMachine (HSM) model for specifyingbehavioral interfaces of peers participating in a composite web service.We integrate the HSM model to a design pattern which is supportedby a modular verification technique that can 1) statically analyze theproperties about global interactions of a composite web service and 2) check the conformance of the Java implementations of the participantpeers to their interfaces. We extend the synchronizability analysis toHSMs to efficiently identify composite web services whose globalinteractions can be analyzed with respect to unbounded queues usingfinite state model checkers. We also discuss automated translation ofbehavioral interfaces specified as HSMs to BPEL specifications to bepublished and used by other services.