Using interval timed coloured Petri nets to calculate performance bounds
Proceedings of the 7th international conference on Computer performance evaluation : modelling techniques and tools: modelling techniques and tools
Embedded Software in Network Processors - Models and Algorithms
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Specification of Service Level Agreements: Problems, Principles and Practices
Software Quality Control
A simulation framework for service-oriented computing systems
Proceedings of the 40th Conference on Winter Simulation
Simulation based validation of quantitative requirements in service oriented architectures
Winter Simulation Conference
A calculus for SLA delay properties
MMB'12/DFT'12 Proceedings of the 16th international GI/ITG conference on Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance
Arrival and delay curve estimation for SLA calculus
Proceedings of the Winter Simulation Conference
| Hi-index | 0.00 |
When planning Service-Oriented Architectures requirements declared in Service Level Agreements (SLAs) have to be considered. SLAs cover functional as well as quantitative requirements like load levels, services rates and delay times. As external factors can influence distributed systems, SLAs have to include tolerances for quantitative requirements. Early design phases of SOA use analytic models to check functional properties. However, formalization of quantitative requirements in SLAs and their validation in analytic models is still a field of research. A challenge is the description of soft deadlines and the way delay times grow under different load levels. Network Calculus system theory can give bounds on delay times in systems. It has already been used to validate hard deadlines in networks and embedded systems. For its use in SOA models, soft deadlines and other aspects derived from SLAs have to be included. This paper introduces a new method to control delay times in Network Calculus models in order to specify quantitative requirements. The basic Network Calculus concept of arrival and service curves is extended with delay curves and their relationship is discussed.