Modulare Analyse Stochastischer Graphtransformationssysteme.
Reiko Heckel, Georgios Lajios, Sebastian Menge · 2005
Analog zu stochastischen Petrinetzen oder Prozesskalkulen wurden stochastische Graphtransformationssysteme entwickelt, um funktionale und nichtfunktionale (insbesondere zeitabhangige und probabilistische) Aspekte von Softwaresystemen integrieren und auf hohem Abstraktionsniveau beschreiben zu konnen. Diese Kombination eignet sich vor allem fur die Modellierung und Analyse mobiler Anwendungen, wo dynamische Rekonfiguration von Netzen an der Tagesordnung ist. Mit Hilfe von Analysewerkzeugen wie stochastischen Modelcheckern ist es moglich, Eigenschaften dieser Modelle zu uberprufen. Um diese Technik auf Systeme interessanter Grose anwenden zu konnen, befasst sich die vorliegende Arbeit mit der Modularisierung der stochastischen Analyse. Insbesondere wird die Korrektheit eines entsprechenden modularen Erzeugungsverfahrens gezeigt und von Experimenten berichtet, die die Uberlegenheit des modularen Ansatzes belegen.