Möbius is a modeling environment. (It has no relationship with the Möbius strip.) The aim is to build a multi-formalism modeling framework that permits the integration of a large number of modeling formalisms and model solution techniques, such as power, Jacobi, Gauss-Seidel, Takahashi, and uniformization methods. This is achieved with an interface called state-level abstract functional interface (AFI). The AFI allows numerical solution methods to communicate with Möbius state-level models.
An AFI is explained for models expressed as labeled transition systems (LTS), and examples are given. Performances of the Möbius AFI and other implementations of solvers are compared. Two examples are used to illustrate the usability of the approach and its impact on the performance of different numerical solvers in continuous time Markov chain (CTMC) analysis.