Describing and Verifying Web Service Composition Using TLA Reasoning.
Hongbing WangQianzhao ZhouYanqi ShiPublished in: IEEE SCC (2010)
Keyphrases
- web service composition
- service composition
- automated web service composition
- web services
- petri net
- web services composition
- discrete particle swarm optimization
- ai planning
- description language
- service selection
- temporal logic
- composition of web services
- semantic matching
- knowledge base
- model checking
- web service selection
- artificial intelligence
- swarm intelligence
- domain specific
- reinforcement learning
- web service compositions