+612 9045 4394
 
CHECKOUT
Practical Performance Modeling : Application of the MOSEL Language - Khalid Begain

Practical Performance Modeling

Application of the MOSEL Language

Hardcover

Published: 31st January 2001
Ships: 7 to 10 business days
7 to 10 business days
RRP $574.99
$397.80
31%
OFF
or 4 easy payments of $99.45 with Learn more

Other Available Formats (Hide)

  • Paperback View Product Published: 9th November 2012
    $282.20

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.

Prefacep. xi
Introductionp. 1
Overview of System Evaluation Methodsp. 1
The State of Evaluation Methods and Toolsp. 2
The Idea and Motivationp. 2
Implementation of the Ideap. 4
Overviewp. 6
Theoretical Backgroundp. 9
Introductionp. 9
Probability Theory Basicsp. 9
Some Useful Distribution Functionsp. 18
Discrete Distribution Functionsp. 19
Parameters of Continuous Distributionsp. 25
Continuous Distribution Functionsp. 25
Stochastic Processesp. 37
Definitionp. 37
Classification of Stochastic Processesp. 38
Discrete-Time Markov Chainsp. 41
Classification of Statesp. 43
Limiting Probability Distributionsp. 45
Distribution of Holding Timesp. 46
Discrete-Time Birth-Death Processesp. 47
Continuous-Time Markov chainp. 48
Introductionp. 49
Limiting Behavior of Homogeneous CTMCp. 52
Continuous-Time Birth-Death Processesp. 54
Pure Birth Processesp. 56
The M/M/1 Queuep. 58
Finite Queue M/M/1/Kp. 61
Model Typesp. 63
The Different Kinds of Analysisp. 63
Queuing Networksp. 64
Series-Parallel Acyclic Directed Graphsp. 67
Non-Series-Parallel Task Precedence Graphsp. 68
Series-Parallel Reliability Block Diagramsp. 70
Fault Treesp. 71
Reliability Graphsp. 72
Markov Chainsp. 72
Generalized Stochastic Petri Netsp. 74
Stochastic Process Algebrasp. 79
Performability Models (Reward Models)p. 89
Mosel - An Universal Modeling Languagep. 91
The Language MOSELp. 91
An introductory Examplep. 91
The General Structure of a MOSEL Descriptionp. 96
Parameter Declaration Partp. 97
System State Definition Partp. 100
Transition Definition Partp. 102
Result Partp. 111
Picture Partp. 112
Rewardsp. 123
Commentsp. 130
Shortcuts in MOSELp. 132
Preprocessor Directivesp. 136
Multidimensional Nodesp. 138
Command Line Syntax of MOSEL Programp. 142
Rules and Restrictions for the Different Toolsp. 145
Rules and Restrictions for MOSLANGp. 145
Rules and Restrictions for CSPLp. 146
Modeling Using Moselp. 149
Reliability and Availability Analysisp. 149
Series-Parallel Reliability Block Diagramsp. 149
Fault Treesp. 154
Reliability Graphsp. 158
Markov Chainsp. 161
Generalized Stochastic Petri Nets (GSPNs)p. 170
Stochastic Process Algebrasp. 173
Program Performance Analysisp. 174
Series-Parallel Acyclic Task Graphsp. 174
Task Precedence Graphsp. 183
System Performance Analysisp. 185
Central-Server Queuing Systemsp. 185
M/M/N/K Queuing Systemsp. 191
Markov Chainsp. 196
Generalized Stochastic Petri Nets (GSPNs)p. 200
Stochastic Process Algebrasp. 205
Performability Analysisp. 207
Modeling of Gracefully Degrading Systemsp. 207
Determination of Reward Ratesp. 209
Modeling Performability without Rewardsp. 212
Special Techniques of Analysisp. 214
Distinction of particular jobs in a modelp. 215
Modeling Non-Exponential Distributionsp. 217
Modeling of Multi-Class Networksp. 230
Modeling Distribution Functions and Probability Density Functions as Resultsp. 235
Technique to avoid Explosion of Markov State Spacep. 238
Real-Life Examplesp. 243
Computer Science Examplesp. 243
Parallelization of the UNIX operating systemp. 243
Polling Systemsp. 268
Fork-Join systemsp. 274
Non-Homogeneous Terminal Systemp. 281
Multithreaded Architecturesp. 288
Communications Examplesp. 301
Client-Server Systemsp. 301
Cellular Mobile Networksp. 324
Performance Model of an ATM Multiplxerp. 342
Manufacturing Examplesp. 347
Batch Systemsp. 347
Wafer Production Systemp. 349
Cluster Tools for Single-Wafer Processingp. 353
MOSEL and IGL Referencep. 359
Syntax and Semantics of MOSELp. 359
Syntax of the language MOSELp. 359
Semantics of the language MOSELp. 364
Keywords and Tokens of the language MOSELp. 370
IGL - Graphical Editing of the Resultsp. 372
The calling syntax of the IGL interpreterp. 372
Operating instructions for the IGL interpreterp. 372
The Intermediate Graphic Language (IGL)p. 385
Technical data of the MOSEL program suitep. 387
The program moselp. 387
The program iglp. 389
Bibliographyp. 391
Indexp. 403
Table of Contents provided by Syndetics. All Rights Reserved.

ISBN: 9780792379515
ISBN-10: 0792379519
Series: The Springer International Series in Engineering and Computer Science
Audience: Professional
Format: Hardcover
Language: English
Number Of Pages: 409
Published: 31st January 2001
Publisher: Springer
Country of Publication: NL
Dimensions (cm): 23.5 x 15.5  x 2.54
Weight (kg): 1.71