Jay M. Doyle

Learn More
The Möbius 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 Möbius framework components. This translation preserves the structure of the models, allowing efficient solutions. The framework is(More)
Despite the development of many modeling formalisms and model solution methods, most tool implementations support only a single formalism. Furthermore, models expressed in the chosen formalism cannot be combined with models expressed in other formalisms. This monolithic approach both limits the usefulness of such tools to practitioners, and hampers modeling(More)
Möbius is a tool for building performance and dependability models of stochastic, discrete-event systems. Möbius makes validation of large dependability models possible by supporting many different model solution methods as well as model specification in multiple modeling formalisms. The motivation for building the Möbius tool is based upon the observation(More)
Möbius is a framework for building extensible modeling tools that support model specification in multiple modeling formalisms as well as many different model solution methods. Heterogeneous models appear to be the only reasonable approach to modeling large systems that cross over many different application domains. The key to the Möbius tool is an abstract(More)
Realistic computer systems are hard to model using state-based methods because of the large state spaces they require and the likely stiffness of the resulting models (because activities occur at many time scales). One way to address this problem is to decompose a model into submodels, which are solved separately but which exchange results. We call modeling(More)
  • 1