Formal Specification of the Möbius Modeling Framework by Daniel Duane
نویسنده
چکیده
Classes and methods can both be abstract. An abstract class is a class that can not be instantiated, even if all the methods are defined. An abstract method is one that may not have a definition, and a class that has any abstract methods is also abstract. Only derived classes that override any abstract methods may be instantiated. A class that is derived from an abstract class and that does not override an abstract method is itself an abstract class, even if it is not declared to be so. The following illustrates an abstract method and class:
منابع مشابه
Möbius: Framework and Atomic Models
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 m...
متن کاملMöbius: An Extensible Tool for Performance and Dependability Modeling
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 that no formalism has shown itself to ...
متن کاملThe Möbius Framework and Its Implementation
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 implemented in the tool by a well-defined a...
متن کاملA Multi-Formalism Modeling Framework: Formal Definitions, Model Composition and Solution Strategies
In this paper, we present a multi-formalism modeling framework (abbreviated by MFMF) for modeling and simulation. The proposed framework is defined based on the concepts of meta-models and uses object-orientation to overcome the complexities and to enhance the extensibility. The framework can be used as a basis for modeling by various formalisms and to support model composition in a unified man...
متن کاملA Multi-Formalism Modeling Framework: Formal Definitions, Model Composition and Solution Strategies
In this paper, we present a multi-formalism modeling framework (abbreviated by MFMF) for modeling and simulation. The proposed framework is defined based on the concepts of meta-models and uses object-orientation to overcome the complexities and to enhance the extensibility. The framework can be used as a basis for modeling by various formalisms and to support model composition in a unified man...
متن کامل