A Framework for Stochastic System Modelling and Analysis: Work in Progress

Stochastic Graph Transformation combines the benefits of graphical modelling with stochastic analysis techniques. In this paper we report on our framework Sma for Stochastic Modelling and Analysis, and SGT⋆, a tool which uses the framework for Stochastic Graph Transformation.