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.
Original language | English (US) |
---|---|
Pages (from-to) | 105-128 |
Number of pages | 24 |
Journal | Performance Evaluation |
Volume | 54 |
Issue number | 2 |
DOIs | |
State | Published - Oct 2003 |
Keywords
- Kronecker representation
- Markov chain analysis
ASJC Scopus subject areas
- Software
- Modeling and Simulation
- Hardware and Architecture
- Computer Networks and Communications