Verifying Web Services Composition: A Transformation-Based Approach.
Yanping YangQingPing TanYong XiaoJinshan YuFeng LiuPublished in: PDCAT (2005)
Keyphrases
- web services composition
- web service composition
- composition of web services
- highly reliable
- web services
- service composition
- process algebra
- model checking
- databases
- service selection
- quality of service
- artificial intelligence
- composite web services
- linear transformation
- information systems
- learning algorithm
- database