WSAT: A Tool for Formal Analysis of Web Services
- 1 January 2004
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Model checking XML manipulating softwarePublished by Association for Computing Machinery (ACM) ,2004
- Analysis of interacting BPEL web servicesPublished by Association for Computing Machinery (ACM) ,2004
- Conversation Protocols: A Formalism for Specification and Verification of Reactive Electronic ServicesPublished by Springer Nature ,2003
- Conversation specificationPublished by Association for Computing Machinery (ACM) ,2003
- MSL — a model for W3C XML schemaPublished by Association for Computing Machinery (ACM) ,2001