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.

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)
• L. Breslau et al. Advances in Network Simulation. IEEE Computer, May 2000, pp. 59-67.
• S. Bajaj et al. Improving Simulation for Network Research. UCS Computer Science Department. Technical Report 99-702. 1999.
• M. Greis. Tutorial for the Network Simulator "ns".
• 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)
• X. Chang. Network Simulations with Opnet. Proc. Winter Simulation Conference 1999.
• Tutorial kann als freie Studierendenversion nach Registrierung geladen werden.

Werkzeuge zur Modellierung und Analyse von Fertigungssystemen

• Arena (1/2 Vorträge)
• J. Rathmell, D. T. Sturrock. The Arena Product Family: Enterprise Modeling Solutions. In: Proc. Winter Simulation Conference 2002.
• W. D. Kelton, R. P. Sadowski, and D. A. Sadowski. Simulation with Arena. Mc Graw Hill 1998.
• AutoMod (1/2 Vorträge)
• M. W. Rohrer, M. McGregor. Simulating Reality Using AutoMod. In: Proc. Winter Simulation Conference 2002.
• J. Banks. Getting Started with AutoMod.

Werkzeuge zur Modellierung und Analyse Ökosystemen

• Simile (1 Vortrag)
• R. Muetzelfelder, J. Massheder. The Simile visual modeling environment. Europ. Jour. Agronomy 18, 2002, 345-358..
• R. Muetzelfelder. Getting to know Simile
• vensim (1 Vortrag)
• N. Repenning. Formulationg Models of Simple Systems using Vensim PLE.
• Diverse Autoren. Vensim 5 Modeling Guide. Ventana Systems Inc.