Skip to main content

2001 | Buch

Practical Performance Modeling

Application of the MOSEL Language

verfasst von: Khalid Begain, Gunter Bolch, Helmut Herold

Verlag: Springer US

Buchreihe : The International Series in Engineering and Computer Science

insite
SUCHEN

Über dieses Buch

Practical Performance Modeling: Application of the MOSEL Language introduces the new and powerful performance and reliability modeling language MOSEL (MOdeling, Specification and Evaluation Language), developed at the University of Erlangen, Germany.
MOSEL facilitates the performance and reliability modeling of a computer, communication, manufacturing or workflow management system in a very intuitive and simple way. The core of MOSEL consists of constructs to specify the possible states and state transitions of the system under consideration. This specification is very compact and easy to understand. With additional constructs, the interesting performance or reliability measures and graphical representations can be specified. With some experience, it is possible to write down the MOSEL description of a system immediately only by knowing the behavior of the system under study. There are no restrictions, unlike models using, for example, queueing networks, Petri nets or fault trees.
MOSEL fulfills all the requirements for a universal modeling language. It is high level, system-oriented, and usable. It is open and can be integrated with many tools. By providing compilers, which translate descriptions specified in MOSEL into the tool-specific languages, all previously implemented tools with their different methods and algorithms (including simulation) can be used.
Practical Performance Modeling: Application of the MOSEL Language provides an easy to understand but nevertheless complete introduction to system modeling using MOSEL and illustrates how easily MOSEL can be used for modeling real-life examples from the fields of computer, communication, and manufacturing systems.
Practical Performance Modeling: Application of the MOSEL Language will be of interest to professionals and students in the fields of performance and reliability modeling in computer science, communication, and manufacturing. It is also well suited as a textbook for university courses covering performance and reliability modeling with practical applications.

Inhaltsverzeichnis

Frontmatter
Chapter 1. Introduction
Abstract
The examination of performance characteristics, dependability, and availability is of greatest importance when designing, analyzing, and tuning systems of any kind. The initial step in the process is to clarify the kind of examination to which one wants to subject the particular system.
Khalid Begain, Gunter Bolch, Helmut Herold
Chapter 2. Theoretical Background
Abstract
The performance modeling and investigation of computer, communications, and manufacturing systems, whether it is done with analytical methods or with simulation, requires a basic knowledge on probability theory. In all types of targeted systems, there exist many sources of randomness; for example the arrival time and the processing requirement of a job in computer system, the length of messages and the transmission delay in a communications system, or the batch size and the amount of work required by an item in manufacturing system. Both analytical methods and simulation use stochastic modeling to represent the dynamic behavior of systems. This chapter gives a short overview on the basic concepts of probability theory giving special focus on the different distributions functions and mainly on the practical introduction of Markov chains which are very important in the context of the stochastic modeling of systems.
Khalid Begain, Gunter Bolch, Helmut Herold
Chapter 3. Model Types
Abstract
The first section of this chapter gives a brief overview of the different kinds of analysis. The subsequent sections, which introduce the commonly used model types, give only a short insight into the according model types and do not deal with the theoretical background. A very detailed and also easy to understand description of the theoretical background can be found in [116]. All examples used to introduce the different model types in this chapter are described in the language MOSEL and solved by the MOSEL program suite in Chapter 5.
Khalid Begain, Gunter Bolch, Helmut Herold
Chapter 4. Mosel — An Universal Modeling Language
Abstract
In this chapter the language MOSEL (MO deling, S pecification, and E valuation L anguage) and the program package belonging to it — both developed within the scope of this contribution — are described using small examples.
Khalid Begain, Gunter Bolch, Helmut Herold
Chapter 5. Modeling Using Mosel
Abstract
In this chapter many different examples modeled by using MOSEL will be presented. The purpose of these MOSEL examples is:
  • to make the reader more familiar with the modeling in MOSEL.
  • to show the general usability of MOSEL for describing the different kinds of model types.
  • to show which MOSEL constructs and techniques must be used for the particular model types.
  • to show how different kinds of models can be used to model different system characteristics and aspects.
Khalid Begain, Gunter Bolch, Helmut Herold
Chapter 6. Real-Life Examples
Abstract
This chapter presents many real-life examples modeled using MOSEL. Many of these examples, which cover practical modeling of computer, communication and manufacturing systems, are results of recent publications.
Khalid Begain, Gunter Bolch, Helmut Herold
Backmatter
Metadaten
Titel
Practical Performance Modeling
verfasst von
Khalid Begain
Gunter Bolch
Helmut Herold
Copyright-Jahr
2001
Verlag
Springer US
Electronic ISBN
978-1-4615-1387-2
Print ISBN
978-1-4613-5528-1
DOI
https://doi.org/10.1007/978-1-4615-1387-2