Chair of Computer Networks and Computer Communications
MOSEL-2

MOSEL-2

Modeling, Specification and Evaluation Language

Tool Description

MOSEL-2 is a textual model description language for the performance and reliability modeling of computer, communication, and manufacturing systems. The modeling language is accompanied by an evaluation environment. Once a system has been specified using MOSEL-2, the evaluation environment executes the performance and reliability analysis of the model automatically. Results are collected either in a text file or can be displayed graphically with the utility IGL, which is distributed with MOSEL-2. 

Further Information

MOSEL-2 is developed in joint with the Ana Group of the Dept. of Computer Science 4 (Distributed Systems and Operating Systems) at the Faculty of Engineering Sciences, FAU Erlangen/Nürnberg, Germany.

The development of MOSEL-2 and MOSEL-2-based models is/was partly supported by the following projects (alphabetical order):

Further information about MOSEL-2 can be found on the former official homepage. MOSEL-2 is open-source and distributed under the GNU Public License (GPL).

The following publications are about MOSEL-2, its predecessor MOSEL, or use one of both for modeling and evaluation.

Publications

This publication material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

Journal articles:

pdf
Tien V. Do, Patrick Wuechner, Tamas Berczes, Janos Sztrik and Hermann De Meer
A New Finite-source Queueing Model for Mobile Cellular Networks Applying Spectrum Renting
Asia Pacific Journal of Operational Research (APJOR), 31(2):1440004:1-19
2014

Note: (c) World Scientific Publishing Co. & Operational Research Society of Singapore

pdf
Patrick Wuechner, Janos Sztrik and Hermann De Meer
Finite-source M/M/S retrial queue with search for balking and impatient customers from the orbit
Computer Networks (ComNet), 53(8):1264--1273
2009

Note: Performance of Computer Networks: Special Issue in Memory of Dr. Gunter Bolch.

pdf
Patrick Wuechner, Janos Sztrik and Hermann De Meer
Investigating the mean response time in finite-source retrial queues using the algorithm by Gaver, Jacobs, and Latouche
Annales Mathematicae et Informaticae (AMI), 36:143--160
2009
ISSN: 1787-5021 (Print); 1787-6117 (Online)
pdf
Patrick Wuechner, Janos Sztrik and Hermann De Meer
The Impact of Retrials on the Performance of Self-Organizing Systems
Praxis der Informationsverarbeitung und Kommunikation (PIK), 31(1):29--33
2008
ISSN: 0930-5157
pdf
Patrick Wuechner, Hermann De Meer, Joerg Barner and Gunter Bolch
A brief Introduction to MOSEL-2
Transactions Automated Control Systems, 1:210--214
2006
ISSN: 1512-3979

Books and journal issues (Ed.):

pdf
Performance Modeling of Computer Networks - Special Issue in Memory of Dr. Gunter Bolch
Hermann De Meer and Patrick Wuechner, editor, Volume 53 of Computer Networks (ComNet)
Publisher: Elsevier B.V.,
2009
default
Gunter Bolch, Stefan Greiner, Hermann De Meer and Kishor S. Trivedi
Queueing Networks and Markov Chains - 2nd Edition
Publisher: John Wiley & Sons,
2nd edition
2006
ISBN: 978-0-471-56525-3 (Print); 978-0-471-79157-7 (Online)
default
Gunter Bolch, Stefan Greiner, Hermann De Meer and Kishor S. Trivedi
Queueing Networks and Markov Chains: Modeling and Performance Evaluation With Computer Science Applications.
Publisher: John Wiley & Sons,
1998
ISBN: 978-0-471-19366-1 (Print); 978-0-471-20058-1 (Online)

Booklets:

default
Patrick Wuechner, Christopher Auer, Gunter Bolch and Hermann De Meer
Queueing Networks and Markov Chains - 2nd Edition: Problems and Solutions
distributed by John Wiley & Sons
2008

Conference and workshop papers:

pdf
Patrick Wuechner, Janos Sztrik and Hermann De Meer
Modeling Wireless Sensor Networks Using Finite-Source Retrial Queues with Unreliable Orbit
Proc. of the Workshop on Performance Evaluation of Computer and Communication Systems (PERFORM 2010) Volume 6821 of Lecture Notes in Computer Science (LNCS) , page 73--86.
Publisher: Springer-Verlag,
2011

Note: The original publication is available at www.springerlink.com

pdf
Martin Paterok, Hermann De Meer and Patrick Wuechner
In Memory of Dr. Gunter Bolch
Proc. of the 15th Int'l GI/ITG Conf. on Measurement, Modelling and Evaluation of Computing Systems and Dependability and Fault Tolerance (MMB & DFT 2010) Volume 5987 of Lecture Notes in Computer Science (LNCS) , page 3--7.
Publisher: Springer-Verlag,
2010
ISBN: 978-3-642-12103-6

Note: The original publication is available at www.springerlink.com (2010)

pdf
Patrick Wuechner, Janos Sztrik and Hermann De Meer
Homogeneous Finite-Source Retrial Queues with Search of Customers from the Orbit
Proc. of the 14th GI/ITG Conf. on Measurement, Modelling and Evaluation of Computer and Communication Systems (MMB 2008) , page 109--124.
Publisher: VDE Verlag,
2008
ISBN: 978-3-8007-3090-2
pdf
Patrick Wuechner, Hermann De Meer, Gunter Bolch, Janos Roszik and Janos Sztrik
Modeling Finite-Source Retrial Queueing Systems with Unreliable Heterogeneous Servers and Different Service Policies Using MOSEL
In Khalid Al-Begain, Armin Heindl and Miklos Telek, editor, Proc. of the 14th Int'l Conf. on Analytical and Stochastic Modelling Techniques and Applications (ASMTA 2007) , page 75--80.
2007
ISBN: 0-9553018-4-X (Print); 0-9553018-3-1 (CD)
pdf
Patrick Wuechner, Janos Sztrik and Hermann De Meer
Structured Markov Chains Arising from Homogeneous Finite-Source Retrial Queues with Orbital Search
In Dario Bini, Beatrice Meini, Vaidyanathan Ramaswami, Marie-Ange Remiche and Peter Taylor, editor, Proc. of the Dagstuhl Seminar on Numerical Methods for Structured Markov Chains Volume 07461 of Dagstuhl Seminar Proceedings
Publisher: Schloss Dagstuhl, Leibniz-Zentrum fuer Informatik GmbH, Dagstuhl, Germany
2007
pdf
Patrick Wuechner, Hermann De Meer, Joerg Barner and Gunter Bolch
A brief Introduction to MOSEL-2
In Reinhard German and Armin Heindl, editor, Proc. of the 13th GI/ITG Conf. on Measurement, Modelling and Evaluation of Computer and Communication Systems (MMB 2006) , page 473--476.
GI/ITG/MMB, University of Erlangen
Publisher: VDE Verlag,
2006
ISBN: 978-3-8007-2945-6
pdf
Patrick Wuechner, Hermann De Meer, Joerg Barner and Gunter Bolch
MOSEL-2 - A Compact But Versatile Model Description Language And Its Evaluation Environment
Proc. of the Workshop MMBnet 2005
Publisher: University of Hamburg,
2005
pdf
Patrick Wuechner, Khalid Al-Begain, Joerg Barner and Gunter Bolch
Modelling a single GSM/GPRS cell with delay tolerant voice calls using MOSEL-2
In David Al-Dabass, editor, Proc. of the 7th UK Simulation Conf. (UKSIM 2004) , page 88--94.
2004
ISBN: 1-84233-099-3

PhD theses:

pdf
Patrick Wuechner
Energy-Efficient and Timely Event Reporting Using Wireless Sensor Networks
University of Passau,
2013

Technical reports:

pdf
Gunter Bolch, Janos Roszik, Janos Sztrik and Patrick Wuechner
Modeling Finite-Source Retrial Queueing Systems with Unreliable Heterogeneous Servers and Different Service Policies using MOSEL
Document number: MIP-0611
Faculty of Computer Science and Mathematics (FIM), University of Passau,
2006
Export as:
BibTeX, XML

Please see our chair's publication database for further publications and abstracts as well as for advanced search and filtering capabilities.

Contact

The details could not be fetched from the database.
Prof. Dr. Hermann de Meer
Prof. Dr. Hermann de Meer

Room ITZ/IH 157a
Innstraße 43

Phone: +49 851 509 3050
Fax: 0851/509-3052 Hermann.DeMeeratuni-passau.de Website Office hours:

Tu. 14.00 - 15.00: Please make an appointment: Office: Birmelin-Vornehm, Loibl (Mo - Do: 8:00 - 16:00, Fr: 8:00 - 12:00): sekhdm@fim.uni-passau.de