Type theory based semantic verification for service composition in cloud computing environments.
Changqin HuangXizhe WangDianhui WangPublished in: Inf. Sci. (2018)
Keyphrases
- service composition
- computing environments
- petri net model
- web service composition
- service discovery
- web service compositions
- semantic matching
- web services
- petri net
- computing platform
- service description
- service oriented
- qos aware
- service selection
- web services composition
- grid computing
- mobile computing
- goal driven
- asynchronous communication
- semantic web technologies
- service oriented computing
- ws bpel
- high level
- pervasive computing
- mobile agents
- cloud computing
- mobile environments
- semantic web services
- service oriented architecture
- semantic modeling
- service integration
- semantic web service composition
- composite services
- composition of web services
- virtual machine
- web service selection
- model checking