Simulation based validation of quantitative requirements in Service Oriented Architectures
Simulation based validation of quantitative requirements in Service Oriented Architectures
复制标题
基于模拟的面向服务架构中定量需求的验证
DOI：
10.1109/wsc.2009.5429556
复制
发表时间：
2009
期刊：
影响因子：
--
通讯作者：
Sebastian Vastag
中科院分区：
文献类型：
--
作者：
Falko Bause;P. Buchholz;J. Kriege;Sebastian Vastag
大型面向服务的体系结构（SOA）必须满足定性和定量的需求。通常，服务水平协议（SLA）被定义为确定系统可以接受的最大负载以及系统必须提供的最低性能和可靠性要求。在复杂的SOA中，服务使用其他服务，因此服务的性能和可靠性取决于较低级别服务的性能和可靠性，如果不对整个系统进行实验，很难给出合理的定量度量范围。由于现场实验成本太高，基于模型的分析，通常使用模拟是一种可靠的选择。本文提出了一种方法来建模复杂的SOA和相应的SLA分层，映射模型上的模拟器和分析模型，以验证或反驳不同的SLA。
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.