权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

Modellbasierte Validierung von SLAs für verteilte Softwaresysteme

基于模型的分布式软件系统 SLA 验证

基本信息

批准号：
166835703
负责人：
Professor Dr. Peter Buchholz
金额：
--
依托单位：
Informatik IV - Lehrstuhl für praktische Informatik
依托单位国家：
德国
项目类别：
Research Grants
财政年份：
2010
资助国家：
德国
起止时间：
2009-12-31 至 2012-12-31
项目状态：
已结题

来源：
https://gepris.dfg.de/gepris/projekt/166835703?language=en
关键词：
Modellbasierte Validierung von SLAs verteilte

项目摘要

Große verteilte Softwaresysteme müssen neben funktionalen Anforderungen auch nicht funktionale Eigenschaften, wie etwa garantierte Antwortzeit oder Verfügbarkeit erfüllen. Diese Anforderungen werden in Service Level Agreements (SLAs) festgehalten. Dabei ergeben sich zum einen Schwierigkeiten, Anforderungen formal zu formulieren und damit erst validierbar zu machen, zum anderen ist auch die Validierung von formal spezifizierten SLAs nicht einfach. Die einzige Möglichkeit schon in den frühen Phasen des Systementwurfs nicht funktionale Eigenschaften zu validieren, ist die Nutzung von Modellen. Es soll ein formaler Ansatz zur Spezifikation von nicht funktionalen Anforderungen in SLAs auf Basis vorgegebener Muster definiert werden. Die so spezifizierten Anforderungen sollen mit Hilfe von Modellen validiert werden. Je nach Anforderung können unterschiedliche Modelltypen zur Validierung genutzt werden, die sich aus einem Basismodell ableiten lassen. Für eine detaillierte Untersuchung von SLAs ist in der Regel die Nutzung von Simulationsmodellen notwendig. Zur Auswertung müssen statistische Methoden aus der Simulation angepasst und weiterentwickelt werden. Diese Ansätze lassen sich dann auch bei der Auswertung von Messungen in realen Systemen einsetzen. Darüber hinaus bieten sich für die Analyse in den frühen Phasen des Systementwurfs Warteschlangenmodelle an, aus denen Mittelwerte und Schranken der geforderten Kenngrößen abgeleitet werden können.

Große verteilte Softwaresysteme müssen neben funktionalen Anforderungen auch nicht funktionale Eigenschaften，wie etwa garantierte Antwortzeit oder Verfügbarkeit erfüllen.服务水平协议（SLAs）的韦尔登已经完成。因此，我们需要建立一个数据库，以便进行正式的公式化和验证，而这也是对正式的特定SLA的验证。在系统工程的早期阶段，一个Möglichkeit schon不是有效的特征值，而是模型的Nutzung。这是一种基于韦尔登定义的SLA中的非功能性的形式化的Answer Spezifikation。这种特殊的安福特车队必须得到有效的韦尔登模型的帮助。我在一个基础模型上建立了一个简单的模型，用于韦尔登，这个模型可以从一个基础模型上得到。Für eine detaillierte Untersuchung von SLA ist in der Regel die Nutzung von Simulationmodellen notwendig. Zur Auswertung müssen statistische Methoden aus der Simulation angepasst und weiterentwickelt韦尔登.这一解释也同样适用于真正的系统中的Messungen的Auswertung。因此，我们需要对系统结构的早期阶段模型进行分析，并从中小企业和中小企业的角度分析韦尔登的结构。