Abstract Reachability Graph for Verifying Web Service Interfaces.
Xutao DuChunxiao XingLizhu ZhouPublished in: ICSR (2008)
Keyphrases
- web services
- graph representation
- directed graph
- state space
- user interface
- random walk
- graph theoretic
- graph structure
- graph theory
- model checking
- structured data
- graph matching
- weighted graph
- graph partitioning
- graph model
- graph structures
- graphical representation
- transitive closure
- graph mining
- link analysis
- service oriented architecture
- service composition
- connected components
- service providers
- end users
- high level