Analog zu stochastischen Petrinetzen oder Prozesskalkülen wurden stochastische Graphtransformationssysteme entwickelt, um funktionale und nichtfunktionale (insbesondere zeitabhängige und probabilistische) Aspekte von Softwaresystemen integrieren und auf hohem Abstraktionsniveau beschreiben zu können. Diese Kombination eignet sich vor allem für die Modellierung und Analyse mobiler Anwendungen, w...