Practical Performance Modeling: Application of the Mosel Language

ISBN-13: 9781461355281 / Angielski / Miękka / 2012 / 409 str.

Khalid Begain; Gunter Bolch; Helmut Herold

Opis

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.

Spis treści

1 Introduction.- 2 Theoretical Background.- 3 Model Types.- 4 Mosel — An Universal Modeling Language.- 5 Modeling Using Mosel.- 6 Real—Life Examples.- A MOSEL and IGL Reference.- A.1 Syntax and Semantics of MOSEL.- A.1.1 Syntax of the language MOSEL.- A.1.2 Semantics of the language MOSEL.- A.1.3 Keywords and Tokens of the language MOSEL.- A.2 IGL - Graphical Editing of the Results.- A.2.1 The calling syntax of the IGL interpreter.- A.2.2 Operating instructions for the IGL interpreter.- A.2.3 The Intermediate Graphic Language (IGL).- A.3 Technical data of the MOSEL program suite.

O autorze

Prof. Dr. Helmut Herold studierte Informatik an der Friedrich-Alexander Universität Erlangen-Nürnberg.Nach einer 3-jährigen Entwickler-Tätigkeit bei Intel in den USA (Oregon), kehrte er zurück nach Deutschland und war als Fachgruppenleiter an der Siemens-Technik-Akademie tätig. Während dieser Zeit promovierte er inseiner Freizeit an der Friedrich-Alexander Universität Erlangen-Nürnberg. Er wechselte im Jahr 2000 zur SuSE Linux GmbH, bevor er 2002 eine Professur an der Georg-Simon-Ohm Fachhochschule Nürnberg annahm, wo er heute 'Software-Engineering' unterrichtet.