DocumentCode :
3526137
Title :
The Mobius execution policy
Author :
Deavours, Daniel D. ; Sanders, William H.
Author_Institution :
Coordinated Sci. Lab., Illinois Univ., Urbana, IL, USA
fYear :
2001
fDate :
2001
Firstpage :
135
Lastpage :
144
Abstract :
Mobius is an extensible framework and tool for performance and dependability modeling, and supports multiple modeling formalisms and solvers. As a framework, Mobius must be sufficiently general to capture the various formalism behaviors. Specifically, the Mobius execution policy must be flexible enough to accommodate the execution policies of all formalisms implemented in the framework. We know of no existing execution policy which is capable of doing this and meeting the many other goals of the framework. We present the Mobius execution policy that addresses these needs. In developing the policy, we have generalized the various preemption policies and made all aspects of the execution policy state-dependent, which has never before been considered. Because all aspects may be state-dependent, we also had to relax the assumption that work proceeds at a constant rate; this is also novel. Finally, we show that within the context of Mobius, the extra structure and overhead needed to implement a particular behavior can largely be avoided except when that behavior is present in a model
Keywords :
Petri nets; discrete event simulation; discrete event systems; performance evaluation; Mobius execution policy; dependability modeling; discrete event systems; extensible framework; generalized stochastic Petri nets; performance modeling; preemption policies; state dependent aspects; Context modeling; Discrete event systems; Petri nets; Resumes; Stochastic processes;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Petri Nets and Performance Models, 2001. Proceedings. 9th International Workshop on
Conference_Location :
Aachen
ISSN :
1063-6714
Print_ISBN :
0-7695-1248-8
Type :
conf
DOI :
10.1109/PNPM.2001.953363
Filename :
953363
Link To Document :
بازگشت