Modelling, Specification, and Evaluation Language (MOSEL-2) Overview
Article Sidebar
-
Modelling Evaluation, MOSEL-2
Abstract
Modeling, Specification & Evaluation Language (MOSEL), tool used for the performance and reliability modeling of communication systems, computers, and manufacturing systems, once the system is specified using this language. The modeling language is part of the evaluation environment. Once the system is specified using the language, the evaluation environment takes place by executing the performance analyses of the model, and calculating the steady state probabilities . After this stage, results can be collected in the result file or in graphics mode using the Intermediate Graphical Language (IGL), where the aim of this paper is to give an overview of mosel and to show a real example under windows platform.
Full text article
References
[1]- Bolch, G.; Greiner, S; Jung, H.; Zimmer, R: The Markov Analyzer MOSES,
[2]- Ciardo, G; Muppala, J.K.: Manual for the SPNP Package Version 3.1,Duke University Durham, North Carolina,1991
[3]- Herold, H.: lex und yacc, Addison- Wesley, Bonn 1995
[4]- Kirschnick, M: PEPSY-QNS, Technical Report (TR-14-18-94), IMMD IV, Erlangen-Nürnberg, 1994
[5]- Sahner, R A.; Trivedi, K S.: SHARPE: Symbolic Hierarchical Automated Reliability and Performance Evaluator, Duke University Durham, North Carolina, 1986
[6]- Trivedi, K S.; Ciardo, G.: A Decomposition Approach for Stochastic Reward Net
Models,Duke University Durham, North Carolina, 1991
[7]- [7] Technical Report (TR-14-10-94), IMMD IV, Erlangen-Nürnberg, 1994
[8]- Bj¨orn Beutel:Integration of the Petri Net Analysator TimeNET into the Model Analysis Environment MOSEL Diploma Thesis in Computer Science University of Erlangen-N¨urnberg
[9]- Practical Performance Modelling: Application of the MOSELKhalid Begain, Gunter Bolch, Helmut Herold,Laguage,Khuwer Academic Publisher.
[10]- Queueing Networks & Markov Chains,Gunter Bolch, Stefan Greiner, Hermann de Meer, Kishor S. Trivedi,Jhon Wiley & Sons, Inc., Publication,Second edition,2006
[11]- http://www4.informatik.uni- erlangen.de/DE/Projects/MOSEL/Download
[12]- http://www.tcl.tk/software/tcltk/downloa d.html,1/1/2015
[13]- http://people.ee.duke.edu/~kst/software_
packages.html,/6/2013
[14]- https://www.tuilmenau.de/sse/timenet/in formation-for-users/download- area/,1/12/2014
[15]- http://www.oracle.com/technetwork/jav a/javase/downloads/index.html,/12/2014
[16]- http://sourceforge.net/projects/mingw/fi les/,/12/2014
[17]- Tien V. Do, Patrick W¨uchner, Tam´as B´erczes and J´anos Sztrik, Hermann De Meer, A New Finite-Source Queueing Model For Mobile Cellular Networks Applying Spectrum Renting, Asia-Pacific Journal of Operational Research,2013.
Authors
This work is licensed under a Creative Commons Attribution 4.0 International License.
In a brief statement, the rights relate to the publication and distribution of research published in the journal of the University of Sebha where authors who have published their articles in the journal of the university of Sebha should how they can use or distribute their articles. They reserve all their rights to the published works, such as (but not limited to) the following rights:
- Copyright and other property rights related to the article, such as patent rights.
- Research published in the journal of the University of Sebha and used in its future works, including lectures and books, the right to reproduce articles for their own purposes, and the right to self-archive their articles.
- The right to enter a separate article, or for a non-exclusive distribution of their article with an acknowledgment of its initial publication in the journal of Sebha University.
Privacy Statement The names and e-mail addresses entered on the Sabha University Journal site will be used for the aforementioned purposes only and for which they were used.