Adaptive Service Composition Based on Runtime Verification of Formal Properties.
Glaucia Melissa Medeiros CamposNelson Souto RosaLuís Ferreira PiresPublished in: HICSS (2017)
Keyphrases
- service composition
- web service composition
- petri net model
- web services
- service oriented
- qos aware
- petri net
- composite services
- service oriented computing
- web services composition
- service selection
- composition of web services
- formal methods
- goal driven
- formal language
- asynchronous communication
- web service selection
- service discovery
- model checking
- semantic modeling
- web service compositions
- real time
- service description
- ai planning
- particle swarm optimization