QoS contract preservation through dynamic reconfiguration: A formal semantics approach.
Gabriel TamuraRubby CasallasAnthony CleveLaurence DuchienPublished in: Sci. Comput. Program. (2014)
Keyphrases
- dynamic reconfiguration
- formal semantics
- quality of service
- application specific
- software systems
- software architecture
- formal language
- operational semantics
- service level agreements
- dynamic behavior
- first order logic
- service differentiation
- ontology languages
- cooperative
- modelling language
- optical networks
- modeling language
- expert systems
- logical language
- situation calculus
- software development
- response time
- general purpose
- software engineering
- information systems
- er model
- database