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