Literaturhinweise zum Seminar
"Modellierungs- und Simulationssoftware"
Es werden Werkzeuge aus vier
Anwendungsbereichen vorgestellt und im Rahmen des Seminars miteinander
verglichen. Für einen ersten Einblick und die Auswahl eines Themas
empfiehlt sich ein kurzer Blick in die angegeben Literatur, damit jede
Teilnehmerin/jeder Teilnehmer einen zumindest groben Überblick über die
verschiedenen Ansätze vor der Ausarbeitung des eigenen Vortrags bekommt. Bei
der ersten angegebenen Literaturstelle für jedes Werkzeug handelt es sich in
der Regel um einen kurzen Einführungsartikel, der von allen
Teilnehmern/Teilnehmerinnen des Seminars für jedes Werkzeug gelesen werden
muss. Die weiteren Artikel sind detaillierter und sollen als Basis der
jeweiligen Seminarausarbeitungen dienen. Das Suchen und Finden weiterer
Literaturstellen ist Teil der Seminarvorbereitung. Auf die meisten der
vorgestellten Werkzeuge besteht zumindest in eingeschränkter Form Zugriff, so
dass die Möglichkeit besteht einen kurzen praktischen Einblick in die
verschiedenen Werkzeuge zu erhalten.
Einige Werkzeuge sind so
umfangreich, dass sie auch Stoff für zwei Vorträge bieten. Dies ist jeweils
angegeben.
Programmiersysteme
und Simulationsinfrastruktur
- Simulation mit UML und Java (1/2 Vorträge)
- R. Pooley
and P. King, "The Unified Modeling
Language and Performance Engineering", IEE Proceedings - Software, Vol 146 No 1, February 1999, pp 2-10 (A draft here in gzipped Postscript)
- O. Matthes. Diskrete
Simulation mit Java. Diplomarbeit Fachbereich
Wirtschaftswissenschaften der GH Essen 1999.
- JavaDemos
der Professur für Systemmodellierung an der Universität Duisburg-Essen.
- SSJ Simulationsumgebung University of Montreal.
- B. Page, W. Kreutzer. The
Java Simulation Handbook, Shaker Verlag 2005.
- B. Page, T, Lechler,
S. Claassen. Objektorientierte Simulation in Java. Libri
Books 2000.
- High Level Architecture
(HLA) (1/2 Vorträge)
Werkzeuge
zur Modellierung und Analyse diskreter Systeme
- Möbius (1 Vortrag)
- T. Courtney, D. Daly,
S. Derisavi, V. Lam, and W. H. Sanders.
The Möbius Modeling
Environment.
In: Tools of the 2003 Illinois International Multiconference
on Measurement, Modelling, and Evaluation of Computer-Communication
Systems, Universität Dortmund Fachbereich Informatik
research report no. 781/2003, 2003, pp. 34-37.
- D. D. Deavours, G. Clark, T. Courtney, D. Daly, S. Derisavi, J. M. Doyle, W. H. Sanders, and P. G.
Webster.
The Möbius Framework and Its Implementation.
IEEE Transactions on Software Engineering vol. 28, no. 10, October
2002, pp. 956-969.
- W. H. Sanders. Integrated Frameworks
for Multi-Level and Multi-Formalism Modeling.
Proceedings of PNPM'99: 8th International Workshop on Petri Nets and
Performance Models, Zaragoza, Spain,
September 8-10, 1999, pp. 2-9.
- S. Derisavi, P.
Kemper, W. H. Sanders, and T. Courtney. The Möbius
State-level Abstract Functional Interface.
Performance Evaluation special issue on TOOLS
2002, to appear.
- HIT
und ProC/B (1/2 Vorträge)
- H. Beilner, J. Mäter, and C. Wysocki.
The Hierarchical Evaluation
Tool HIT. Internal Report, Fachbereich
Informatik, Universität Dortmund.
- Diverse Autoren. Dokumentation
des Werkzeugs HIT.
- Bause,F.; Beilner,H.; Fischer,M.;
Kemper,P.; Völker,M..
The
Proc/B toolset for the modelling and analysis of process chains (abstract, pdf
full text by Springer)
In: T. Field, P. G. Harrison, J. Bradley, U. Harder (eds.), Computer
Performance Evaluation Modelling Techniques and Tools (Proc. Performance
TOOLS 2002), pages 51-70, LNCS 2324, Springer 2002.
- M. Fischer and P.
Kemper. Perspectives on Performability
Evaluation in the ProC/B Toolset. In: Proc. PMCCS-6, Monticello,
IL; USA; Spet. 2003, S. 35-38.
- APNN-Toolbox (1 Vortrag)
- Bause, F.; Buchholz, P.; Kemper, P.:
A toolbox for functional and quantitative analysis
of DEDS
Quantitative Evaluation of Computing and Communication Systems, Lecture Notes in Computer Science,
No 1469, Springer-Verlag, 1998, pp. 356-359 (extended abstract), full paper as Forschungsbericht Nr. 680 des Fachbereichs Informatik der Universität Dortmund (Germany),
1998.
- Bause, F.; Kemper, P.; Kritzinger. P.
Abstract Petri Net Notation
Petri Net Newsletters 49, Oct.
1995, pp. 9-27. extended version
of Forschungsbericht
Nr. 563 des Fachbereichs Informatik der Universität Dortmund
(Germany), 1994.
- Buchholz, P.; Kemper,
P.
Modular state level analysis of distributed systems - techniques and tool
support (abstract, pdf
full text by Springer)
In Proc. 5th International Conference Tools and Algorithms for the
Construction and Analysis of Systems (TACAS'99), Amsterdam, Nederlands, March 1999, pages 420-434, LNCS 1579. Springer, 1999
Werkzeuge
zur Modellierung und Analyse von Rechnernetzen und Kommunikationssystemen
- NS (1/2 Vorträge)
- OMNET++ (1 Vortrag)
- Zu Omnet gibt es nur wenige Publikationen, es handelt
sich aber um ein frei verfügbares Tool. Unter der angegebenen Web-Adresse
sind detaillierte Informationen
zum Tool zu finden.
- OPNET (1 Vortrag)
Werkzeuge
zur Modellierung und Analyse von Fertigungssystemen
Werkzeuge
zur Modellierung und Analyse Ökosystemen