In: Proceedings of 9th International Workshop on Petri Nets and Performance Models, PNPM'01 Aachen, Sept. 11-14, 2001, Reinhard German and Boudewijn Haverkort (eds.), IEEE, pages 135-144. 2001.
Abstract: Moebius is an extensible framework and tool for performance and dependability modeling, and supports multiple modeling formalisms and solvers. As a framework, Moebius must be sufficently general to capture the various formalism behaviors. Specifically, the Moebius 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 Moebius execution policy that addresses these needs. In developing the policy, we have generalized that 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 Moebius, the extra structure and overhead needed to implement a particular behavior can largely be avoided except when that behavior is present in a model.