Implementing a Stochastic Process Algebra within the Moebius Modeling Framework

摘要

Many formalisms and solution methods exist for performance and dependability modeling. However, different formalisms have different advantages and strengths, and no one formalism is universally used. The Moebius tool was built to provide multi-formalism multi-solution modeling, and allows the modeler to develop models in any supported formalism. A formalism can be implemented in Mobius if a mapping can be provided to the Mobius Abstract Functional Interface, which includes a notion of state and a notion of how state changes over time. We describe a way to map PEPA, a stochastic process algebra, to the abstract functional interface. This gives Mobius users the opportunity to make use of stochastic process algebra models in their performance and dependability models.