Keyphrases
- formal model
- web service composition
- service composition
- web services
- petri net
- description language
- discrete particle swarm optimization
- web services composition
- automated web service composition
- ai planning
- service selection
- security properties
- semantic matching
- predicate calculus
- web service selection
- web service compositions
- formal models
- artificial intelligence
- composite services
- evolutionary algorithm