Program Slicing Based Web-Service Generation and Composition.
Wei FuYingzhou ZhangWei HanXiaowei FanGeng YangPublished in: SOSE (2010)
Keyphrases
- program slicing
- description languages
- web services
- web service composition
- description language
- web services composition
- composition of web services
- fault localization
- formal verification
- source code
- service composition
- reverse engineering
- service description
- semantic web services
- service discovery
- model checking
- business process
- open source
- software engineering
- data model