A Dynamic Temporal Logic for Quality of Service in Choreographic Models.
Carlos Gustavo López PomboAgustín E. Martinez SuñéEmilio TuostoPublished in: CoRR (2023)
Keyphrases
- quality of service
- temporal logic
- qos requirements
- dynamic constraints
- model checking
- resource management
- response time
- ad hoc networks
- reactive systems
- web services
- network conditions
- admission control
- bandwidth allocation
- network resources
- qos aware
- multimedia services
- ip networks
- resource utilization
- qos routing
- verification method
- computation tree logic
- petri net
- mobile devices
- multi agent systems