.png){kind=icon}
返回
The Mobius framework and its implementation
.png){kind=icon}
PRE
AI
DOI：10.1109/TSE.2002.1041052.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
The Mobius framework is an environment for supporting multiple modeling formalisms and solution techniques. Models expressed in formalisms that are compatible with the framework are translated into equivalent models using Mobius framework components. This translation preserves the structure of the models, allowing efficient solutions. The framework is implemented in the tool by a well-defined abstract functional interface. Models and solution techniques interact with one another through the use of the standard interface, allowing them to interact with Mobius framework components, not formalism components. This permits novel combinations of modeling techniques, and will be a catalyst for new research in modeling techniques. This paper describes our approach, focusing on the atomic model. We describe the formal description of the Mobius components as well as their implementations in our software tool.
Keyword:
stochastic models
modeling formalisms
modeling frameworks
modeling tools
Markov models
stochastic Petri nets
PEPA
execution policy
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
5.6
论文数:
2.9K
被引数:
1.1W
机构
暂无机构信息
引用论文
.png){kind=icon}
End-of-life Management of Computers in Brussels: Environmental Comparison of Two Treatment Chains
OAAI
OAAI分享收藏
查看更多内容