Patterns in property specifications for finite-state verification
Proceedings of the 21st international conference on Software engineering
Simulation Modeling and Analysis
Simulation Modeling and Analysis
The ProC/B Toolset for the Modelling and Analysis of Process Chains
TOOLS '02 Proceedings of the 12th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools
Specification of Service Level Agreements: Problems, Principles and Practices
Software Quality Control
Precise Service Level Agreements
Proceedings of the 26th International Conference on Software Engineering
Real-time specification patterns
Proceedings of the 27th international conference on Software engineering
UML-based Specification of QoS Contract Negotiation and Service Level Agreements
ICNICONSMCL '06 Proceedings of the International Conference on Networking, International Conference on Systems and International Conference on Mobile Communications and Learning Technologies
The monitorability of service-level agreements for application-service provision
WOSP '07 Proceedings of the 6th international workshop on Software and performance
QoS management in service-oriented architectures
Performance Evaluation
Simulating process chain models with OMNeT++
Proceedings of the 1st international conference on Simulation tools and techniques for communications, networks and systems & workshops
A Framework for Simulation Models of Service-Oriented Architectures
SIPEW '08 Proceedings of the SPEC international workshop on Performance Evaluation: Metrics, Models and Benchmarks
Efficient online monitoring of web-service SLAs
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
A simulation framework for service-oriented computing systems
Proceedings of the 40th Conference on Winter Simulation
Modeling quantitative requirements in SLAs with network calculus
Proceedings of the 5th International ICST Conference on Performance Evaluation Methodologies and Tools
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 |
Large Service Oriented Architectures (SOAs) have to fulfill qualitative and quantitative requirements. Usually Service Level Agreements (SLAs) are defined to fix the maximal load the system can accept and the minimal performance and dependability requirements the system has to provide. In a complex SOA where services use other services and thus performance and dependability of a service depend on the performance and dependability of lower level services, it is hard to give reasonable bounds for quantitative measures without performing experiments with the whole system. Since field experiments are too costly, model based analysis, often using simulation is a reliable alternative. The paper presents an approach to model complex SOAs and the corresponding SLAs hierarchically, map the model on a simulator and analyze the model to validate or disprove the different SLAs.