Automatic Transformation of Cloud Computing Service Composition to Verifiable Models.
Ana VazquezMohamed El-MenshawyJamal BentaharPublished in: FiCloud (2015)
Keyphrases
- cloud computing
- service composition
- data center
- web service composition
- service oriented computing
- computing resources
- service providers
- distributed computing
- data management
- petri net
- web services
- service oriented
- context aware
- computing technologies
- web services composition
- service selection
- databases
- cloud computing environment
- cloud storage
- cloud computing platform