The Möbius state-level abstract functional interface

  • Authors:

  • Salem Derisavi;Peter Kemper;William H. Sanders;Tod Courtney

  • Affiliations:

  • Coordinated Science Laboratory, Electrical and Computer Engineering Department, and Computer Science Department, University of Illinois at Urbana-Champaign, 1308 W. Main St., Urbana, IL;Informatik IV, Universität Dortmund, D-44221 Dortmund, Germany;Coordinated Science Laboratory, Electrical and Computer Engineering Department, and Computer Science Department, University of Illinois at Urbana-Champaign, 1308 W. Main St., Urbana, IL;Coordinated Science Laboratory, Electrical and Computer Engineering Department, and Computer Science Department, University of Illinois at Urbana-Champaign, 1308 W. Main St., Urbana, IL

  • Venue:
  • Performance Evaluation - Modelling techniques and tools for computer performance evaluation
  • Year:
  • 2003

Quantified Score

Hi-index 0.00

Visualization

Abstract

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. We present 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 (LTS). This abstraction and its corresponding implementation yield a useful separation of concerns. We illustrate use of the Möbius state-level AFI by implementing two state-space representations and several numerical solvers for steady-state and transient analysis.