Cloud manufacturing service composition in IoT applications: a formal verification-based approach.
Alireza SouriMostafa Ghobaei-AraniPublished in: Multim. Tools Appl. (2022)
Keyphrases
- service composition
- formal verification
- cloud computing
- web service composition
- model checking
- web services
- qos aware
- petri net
- service oriented
- model checker
- composition of web services
- asynchronous communication
- service oriented computing
- symbolic model checking
- bounded model checking
- petri net model
- automated verification
- goal driven
- web services composition
- manufacturing systems
- management system
- ai planning
- service selection
- ws bpel
- big data
- web service compositions
- web service selection
- service integration
- temporal logic
- discrete particle swarm optimization
- production planning
- service oriented architecture
- data management
- mobile devices