A new formal approach for the efficient analysis of continuous-state dynamical models of software systems using process algebra.

随机模型与软件系统性能评估的基本定量方法相结合。在韦尔登中，现代软件架构的复杂性越来越大，这是在确定性（kurz fluide）近似的基础上产生的。这种技术也可以在Rahmen中为正式的模型韦尔登进行随机化处理，这种方法非常不受欢迎。在流体近似的上下文中，可以对Frage和Einschränkung以及其他韦尔登进行研究。这是我们的主要项目。最后，我们将建立一个新的、有效的、自动化的和正式的基础模型，对模型进行定量分析，其中一个问题是无法有效地进行韦尔登的。Die Mächtigkeit des Ansatzes soll an Fallstudien aus den Bereichen Peer-to-Peer-Netzwerke und Cloud Computing gezeigt韦尔登，该机器人被größer werdenden Gruppen von Schmidt开始学习不需要进行任何模拟，或者通过流体近似法进行梅尔。为了使学生能够理解韦尔登的教学方法，也要使学生能够理解秋季的教学方法。

Stochastische Modelle mit diskreten Zustandsräumen bilden heutzutage das Fundament quantitativer Performance-Evaluierung von Softwaresystemen. Um der immer größer werdenden Komplexität von modernen Softwarearchitekturen gerecht zu werden, wurden in der nahen Vergangenheit skalierbare deterministische (kurz fluide) Approximationen basierend auf gewöhnlichen Differentialgleichungen erfolgreich eingeführt. Diese Technik konnte nun kürzlich auch im Rahmen der stochastischen Prozessalgebren für Modelle formal umgesetzt werden, die viele unabhängig agierende Agenten identischen Verhaltens enthalten. Die Frage, ob auf die Einschränkung an die Agenten verzichtet werden kann, wurde bis heute im Kontext der fluiden Approximation nur wenig erforscht. Dies ist das Hauptanliegen dieses Projekts. An dessen Ende wird ein neues, effizientes, automatisierbares und formal fundiertes Verfahren zur quantitativen Erfassung von Modellen mit Agenten stehen, die einem Replikationsverhalten genügen, das derzeit nicht effizient analysiert werden kann. Die Mächtigkeit des Ansatzes soll an Fallstudien aus den Bereichen Peer-To-Peer-Netzwerke und Cloud Computing gezeigt werden, die bisher bei größer werdenden Gruppen von Agenten entweder zu nicht akzeptablen Simulationszeiten führen, oder sich nicht mehr durch die fluide Approximation beschreiben lassen. Für den Ansatz soll ein Unterstützungswerkzeug entwickelt werden, das auch zur Realisierung der Fallstudien dienen soll.