Planning and verifying service composition.
Massimo BartolettiPierpaolo DeganoGian Luigi FerrariPublished in: J. Comput. Secur. (2009)
Keyphrases
- service composition
- semantic web service composition
- ai planning
- composition of web services
- web service composition
- web services
- service oriented
- service selection
- service oriented computing
- web services composition
- petri net
- goal driven
- qos aware
- petri net model
- asynchronous communication
- service discovery
- web service selection
- service integration
- composite services
- planning problems
- heuristic search
- business requirements
- model checking
- discrete particle swarm optimization
- optimal solution