The Mobius state-level abstract functional interface

被引:10
作者
Derisavi, S
Kemper, P
Sanders, WH
Courtney, T
机构
[1] Univ Illinois, Dept Elect & Comp Engn, Coordinated Sci Lab, Urbana, IL 61801 USA
[2] Univ Illinois, Dept Comp Sci, Urbana, IL 61801 USA
[3] Univ Dortmund, D-44221 Dortmund, Germany
关键词
Markov chain analysis; Kronecker representation;
D O I
10.1016/S0166-5316(03)00070-1
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 [计算机科学与技术];
摘要
A key advantage of the Mobius 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 Mobius that allows numerical solution methods to communicate with Mobius 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 Mobius state-level AFI by implementing two state-space representations and several numerical solvers for steady-state and transient analysis. (C) 2003 Elsevier Science B.V. All rights reserved.
引用
收藏
页码:105 / 128
页数:24
相关论文
共 41 条
[1]
Baier C, 1999, LECT NOTES COMPUT SC, V1664, P146
[2]
A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time [J].
Bernardo, M ;
Gorrieri, R .
THEORETICAL COMPUTER SCIENCE, 1998, 202 (1-2) :1-54
[3]
Bolch Gunter, 1998, Queueing Networks and Markov Chains: Modeling and Performance Evaluation With Computer Science Applications
[4]
BOZGA M, 1999, LNCS, V1633, P261, DOI DOI 10.1007/3-540-48683-6
[5]
Structured analysis approaches for large Markov chains [J].
Buchholz, P .
APPLIED NUMERICAL MATHEMATICS, 1999, 31 (04) :375-404
[6]
Compact representations of probability distributions in the analysis of superposed GSPNs [J].
Buchholz, P ;
Kemper, P .
9TH INTERNATIONAL WORKSHOP ON PETRI NETS AND PERFORMANCE MODELS, PROCEEDINGS, 2001, :81-90
[7]
HIERARCHICAL MARKOVIAN MODELS - SYMMETRIES AND REDUCTION [J].
BUCHHOLZ, P .
PERFORMANCE EVALUATION, 1995, 22 (01) :93-110
[8]
Complexity of memory-efficient Kronecker operations with applications to the solution of Markov models [J].
Buchholz, P ;
Ciardo, G ;
Donatelli, S ;
Kemper, P .
INFORMS JOURNAL ON COMPUTING, 2000, 12 (03) :203-222
[9]
BUCHHOLZ P, 1994, P 2 WORKSH PROC ALG, P11
[10]
BUCHHOLZ P, 1999, P 3 INT WORKSH NUM S, P76