The möbius state-level abstract functional interface

Salem Derisavi, Peter Kemper, William H. Sanders, Tod Courtney

Research output: Chapter in Book/Report/Conference proceedingConference contribution


A key advantage of the Möbius modeling environment is the ease with which one can incorporate new modeling formalisms, model composition and connection methods, and model solution methods. In this paper, we describe a new state-level abstract functional interface (AFI) for Möbius that allows numerical solution methods to communicate with Möbius state-level models via the abstraction of a labeled transition system. This abstraction, and its corresponding implementation as a set of containers and iterators, yields an important separation of concerns: It is possible to treat separately the problem of representing large labeled transition systems, like generator matrices of continuous-time Markov chains, and the problem of analyzing these systems. For example, any numerical solver (e.g., Jacobi, SOR, or uniformization) that accesses a model through the Möbius state-level AFI can operate on a variety of state-space representations, including "on-the-fly," disk-based, sparse-matrix, Kronecker, and matrix-diagram representations, without requiring that the implementation be changed to match the state-space representation. This abstraction thus avoids redundant implementations of solvers and state-generation techniques, eases research cooperation, and simplifies comparison of approaches as well as benchmarking. In addition to providing a formal definition of the Möbius state-level AFI, we illustrate its use on two state-space representations (a sparse matrix and a Kronecker representation) and two numerical solvers (Jacobi and SOR). With the help of this implementation and two example models, we demonstrate that the AFI provides the benefits of transparency while introducing only minor slowdowns in solution speed.

Original languageEnglish (US)
Title of host publicationComputer Performance Evaluation
Subtitle of host publicationModelling Techniques and Tools - 12th International Conference, TOOLS 2002, Proceedings
EditorsTony Field, Peter G. Harrison, Jeremy Bradley, Uli Harder
Number of pages20
ISBN (Print)3540435395, 9783540435396
StatePublished - 2002
Event12th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools, TOOLS 2002 - London, United Kingdom
Duration: Apr 14 2002Apr 17 2002

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume2324 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Other12th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools, TOOLS 2002
Country/TerritoryUnited Kingdom

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)


Dive into the research topics of 'The möbius state-level abstract functional interface'. Together they form a unique fingerprint.

Cite this