Overview: An Integrated Framework for Performance Engineering and Resource-Aware Compilation
IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
Implementing a Stochastic Process Algebra within the Möbius Modeling Framework
PAPM-PROBMIV '01 Proceedings of the Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification
DrawNET++: Model Objects to Support Performance Analysis and Simulation of Systems
TOOLS '02 Proceedings of the 12th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools
The Möbius State-Level Abstract Functional Interface
TOOLS '02 Proceedings of the 12th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools
A Visual Formalism for the Composition of Stochastic Petri Nets
TOOLS '02 Proceedings of the 12th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools
The Möbius state-level abstract functional interface
Performance Evaluation - Modelling techniques and tools for computer performance evaluation
From StoCharts to MoDeST: a comparative reliability analysis of train radio communications
Proceedings of the 5th international workshop on Software and performance
| Hi-index | 0.00 |
Abstract: This paper gives an overview of the Möbius framework, and gives a formal specification for defining atomic models within the framework. The framework is designed to be capable of incorporating multiple modeling formalisms, including atomic models (e.g, SPNs), composition formalisms (e.g., Replicate/Join), measure specification formalisms, connection formalisms, and solvers. We focus on atomic models, which are composed of actions, state variables, and properties. We argue that these are sufficient to specify a large number of atomic model formalisms in the Möbius framework. The framework serves as a basis for the Möbius tool [13].