Model checking XML manipulating software
- 1 July 2004
- proceedings article
- Published by Association for Computing Machinery (ACM)
- Vol. 29 (4) , 252-262
- https://doi.org/10.1145/1007512.1007547
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Analysis of interacting BPEL web servicesPublished by Association for Computing Machinery (ACM) ,2004
- Model-based verification of Web service compositionsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2004
- WSAT: A Tool for Formal Analysis of Web ServicesPublished by Springer Nature ,2004
- Extending Java for high-level Web service constructionACM Transactions on Programming Languages and Systems, 2003
- Conversation specificationPublished by Association for Computing Machinery (ACM) ,2003
- Automata theory for XML researchersACM SIGMOD Record, 2002
- Containment and equivalence for an XPath fragmentPublished by Association for Computing Machinery (ACM) ,2002
- Simulation, verification and automated composition of web servicesPublished by Association for Computing Machinery (ACM) ,2002
- MSL — a model for W3C XML schemaPublished by Association for Computing Machinery (ACM) ,2001
- BanderaPublished by Association for Computing Machinery (ACM) ,2000