A verification method for web service composition based on discrete event system modeling and simulation.
Seong Yong LimJongmoon BaikHo-Jin ChoiDanhyung LeePublished in: SpringSim (2010)
Keyphrases
- discrete event
- discrete event simulation
- web service composition
- simulation model
- verification method
- dynamic systems
- mathematical modeling
- service composition
- web services
- dynamical systems
- petri net
- description language
- discrete particle swarm optimization
- crisis response
- supply chain
- web services composition
- model checking
- service selection
- supervisory control
- web service selection
- ai planning
- automated web service composition
- temporal logic
- web service compositions
- multiple faults
- evolutionary algorithm
- genetic algorithm
- search algorithm
- computational intelligence
- service oriented