Experiences Using the UML Profile for MARTE to Stochastically Model Post-Production Interactive Applications
This paper describes a practical approach applying the UML 2.0 standard MARTE profile to model stochastic interactive application workflows, using the PapyrusUML editor. The paper uses the PaStep, PaCommStep, PaLogicalResource and GaCommHost MARTE stereotypes and find them sufficient for stochastic modelling with the exception of being unable to define non-standard probability distributions. The authors' have investigated both Markovian stochastic models and discrete event simulation models, serializing UML deployment and state machine diagrams to automate model creation. The choice between using a stochastic model (e.g. PRISM Markov models) or discrete event simulation model (e.g. Monte Carlo simulations) depends on the complexity of the model, accuracy required and compute time needed.