Refinement and Verification for IoT Service Composition.
Sarah Hussein TomanLazhar HamelMohamed GraietPublished in: ISCC (2023)
Keyphrases
- service composition
- petri net model
- web service composition
- web services
- service oriented
- petri net
- qos aware
- management system
- web services composition
- service oriented computing
- goal driven
- service selection
- ai planning
- service discovery
- ws bpel
- web service compositions
- asynchronous communication
- business requirements
- composition of web services
- service integration
- semantic web service composition
- composite services
- composite web services
- location information
- end to end
- cloud computing
- case study