Static inter-BPEL program slicing for web services.
Chengying MaoPublished in: Int. J. Simul. Process. Model. (2012)
Keyphrases
- web services
- program slicing
- description languages
- description language
- business processes
- web services composition
- service oriented
- source code
- fault localization
- formal verification
- service composition
- web service composition
- service discovery
- business process
- reverse engineering
- semantic web services
- service description
- quality of service
- service oriented architecture
- software testing
- colored petri nets
- business process execution language
- service selection
- open source
- support vector machine
- high level
- case study