A Design and Verification Framework for Service Composition in the Cloud.
Matthew L. HaleMichael Todd GambleRose F. GamblePublished in: SERVICES (2013)
Keyphrases
- service composition
- goal driven
- petri net model
- conceptual framework
- computing paradigm
- service integration
- software architecture
- web service composition
- service oriented computing
- theoretical framework
- service selection
- case study
- functional verification
- petri net
- design process
- cloud computing
- web services
- virtual machine
- end to end
- model checking
- qos aware
- composition of web services
- lightweight