Conditional rewriting logic as a unified model of concurrency
Selected papers of the Second Workshop on Concurrency and compositionality
Multimedia: computing, communications and applications
Multimedia: computing, communications and applications
End-to-End QoS Network Design: Quality of Service in LANs, WANs, and VPNs (Networking Technology)
End-to-End QoS Network Design: Quality of Service in LANs, WANs, and VPNs (Networking Technology)
Electronic Notes in Theoretical Computer Science (ENTCS)
All about maude - a high-performance logical framework: how to specify, program and verify systems in rewriting logic
Self-adaptive applications using ADL contracts
SelfMan'06 Proceedings of the Second IEEE international conference on Self-Managed Networks, Systems, and Services
Human perception of jitter and media synchronization
IEEE Journal on Selected Areas in Communications
A classification and comparison of model checking software architecture techniques
Journal of Systems and Software
Adaptation issues in software architectures of remote health care systems
Proceedings of the 2010 ICSE Workshop on Software Engineering in Health Care
| Hi-index | 0.00 |
Current interests in the context of system development include non-functional aspects of an application and the quality of the service (QoS) it provides. In video on demand applications, for instance, properties such as delay, bandwidth and CPU utilization are monitored in order to identify if they are within acceptable limits. In our approach, non-functional requirements are described by contracts. A contract specifies acceptable variations on the availability of these properties and how service replacement can be negotiated to keep the QoS of the application within the acceptable limits. In this paper we give an operational semantics for QoS contracts and report its implementation in a prototype tool that allows us to execute and analyze QoS contracts. The QoS Tool, our prototype, transforms QoS contract descriptions into modular structural operational semantics (MSOS) specifications. MSOS specifications are executable and analyzable in the Maude MSOS Tool, which uses efficient rewriting to execute, search and model checking MSOS specifications. We exemplify how the QoS Tool can be used by analyzing a video on demand application against real data.