Formal modelling and verification of scalable service composition in IoT environment.
Sarah Hussein TomanLazhar HamelZinah Hussein TomanMohamed GraietSamir OuchaniPublished in: Serv. Oriented Comput. Appl. (2023)
Keyphrases
- service composition
- petri net model
- web service composition
- petri net
- web services
- service oriented
- goal driven
- web services composition
- qos aware
- service selection
- composition of web services
- ai planning
- formal methods
- service oriented computing
- cloud computing
- ws bpel
- discrete particle swarm optimization
- management system
- lightweight
- web service selection
- service integration
- big data
- context aware
- semantic web service composition