Otto-von-Guericke- Stockholm Universität Magdeburg 2 ...isghenry/publikation/sim_ani_06_1.pdf ·...

56
Handelshochschule Stockholm Otto-von-Guericke- Universität Magdeburg 2. Magdeburger Lehrertag 2006 „Modellierung und Simulation“ „Visualisierung mit WinGPSS und Proof Animation™“ Prof. Ingolf Ståhl Handelshochschule Stockholm Dr. Henry Herper, Prof. Peter Lorenz Otto-von-Guericke-Universität Magdeburg Magdeburg, 01.03.2006

Transcript of Otto-von-Guericke- Stockholm Universität Magdeburg 2 ...isghenry/publikation/sim_ani_06_1.pdf ·...

Page 1: Otto-von-Guericke- Stockholm Universität Magdeburg 2 ...isghenry/publikation/sim_ani_06_1.pdf · Modi von Proof-Animation™ Zur Entwicklung, zum Test und zur Präsentation von Animationsmodellen

HandelshochschuleStockholm

Otto-von-Guericke-UniversitätMagdeburg

2. Magdeburger Lehrertag 2006„Modellierung und Simulation“

„Visualisierung mit WinGPSS und ProofAnimation™“

Prof. Ingolf StåhlHandelshochschule Stockholm

Dr. Henry Herper, Prof. Peter LorenzOtto-von-Guericke-Universität Magdeburg

Magdeburg, 01.03.2006

Page 2: Otto-von-Guericke- Stockholm Universität Magdeburg 2 ...isghenry/publikation/sim_ani_06_1.pdf · Modi von Proof-Animation™ Zur Entwicklung, zum Test und zur Präsentation von Animationsmodellen

2

Erkenntnisgewinn durch Simulation

Der Erkenntnisgewinn durch Simulation ist immer ein Analogieschluss.

Er gehört in den Bereich der induktiven Schlüsse.

Man kann nur hoffen, dass die gewonnenen Erkenntnisse richtig sind. Die Hoffnung stützt sich auf die Erwartung, dass die Ähnlichkeit zwischen Modell und Original weiter reicht, als man es mit Sicherheit weiß.

Für die Bewertung der Simulationsresultate ist umfangreiches Fachwissen auf dem

Anwendungsgebiet erforderlich!

Page 3: Otto-von-Guericke- Stockholm Universität Magdeburg 2 ...isghenry/publikation/sim_ani_06_1.pdf · Modi von Proof-Animation™ Zur Entwicklung, zum Test und zur Präsentation von Animationsmodellen

3

Simulationsdefinition in der VDI-Richtlinie 3633

Simulation:

„Simulation ist ein Verfahren zur Nachbildung eines Systemsmit seinen dynamischen Prozessen in einem experimentierbaren Modell, um zu Erkenntnissen zu gelangen, die auf die Wirklichkeit übertragbar sind. Im weiteren Sinne wird unter Simulation das Vorbereiten, Durchführen und Auswerten gezielter Experimente mit dem Simulationsmodell verstanden.Mit der Simulation kann das zeitliche Ablaufverhalten komplexer Systeme untersucht werden.“

/VDI3633-Blatt 0, Seite 14/

Page 4: Otto-von-Guericke- Stockholm Universität Magdeburg 2 ...isghenry/publikation/sim_ani_06_1.pdf · Modi von Proof-Animation™ Zur Entwicklung, zum Test und zur Präsentation von Animationsmodellen

4

Animation„Der Begriff Animation wird vom lateinischen Wort „animare“abgeleitet und bedeutet zum Leben erwecken. Die Animation bezeichnet die Erzeugung und Präsentation von Bildfolgen, in denen Änderungen (z.B. Zustandsänderungen und Bewegungen von Modellelementen) einen visuellen Effekt bedingen. Unter visuellem Effekt kann eine über die Zeit variierende Position, die Änderung von Form, Farbe, Transparenz, Struktur und Musterung eines Objektes, die Änderung der Beleuchtung sowie der Position, Orientierung und Brennweite der Kamera verstanden werden.

In diesem Kontext setzt sich Computeranimation mit der Technik zur synthetischen Erzeugung von bewegten und belebten Bildern mit Hilfe des Rechners und geeigneter Programme auseinander.“/VDI-Richtlinie 3633 Blatt 11, Seite 2/

Page 5: Otto-von-Guericke- Stockholm Universität Magdeburg 2 ...isghenry/publikation/sim_ani_06_1.pdf · Modi von Proof-Animation™ Zur Entwicklung, zum Test und zur Präsentation von Animationsmodellen

5

Modellfindung für den Unterricht

Auswahl und Beschreibung eines Bediensystems• Auswahl eines Bediensystems aus dem

Erfahrungshorizont der Schüler, zum Beispiel Dienstleistungsbetrieb, Supermarkt, Tankstelle

• verbale Beschreibung des realen Systems• Auftrag zur Datenerhebung• Definition des Ziels der Simulationsstudie, zum

Beispiel zur Untersuchung von Strategien

Page 6: Otto-von-Guericke- Stockholm Universität Magdeburg 2 ...isghenry/publikation/sim_ani_06_1.pdf · Modi von Proof-Animation™ Zur Entwicklung, zum Test und zur Präsentation von Animationsmodellen

6

Erfassen und Aufbereiten empirischer DatenFür die Nachbildung von Prozessen ist es wichtig, die Prozessdauer zu erfassen. Den Schülern wird vermittelt, dass viele Prozesse nur durch den Ablauf einer bestimmten Zeit beschrieben werden. Geometrische Informationen können aus Zeichnungen bzw. Bildern entnommen werden. Die aufwendigste Form der Datenerfassung besteht in der Analyse der im System ablaufenden Strategien und ihrer Beschreibung.

Page 7: Otto-von-Guericke- Stockholm Universität Magdeburg 2 ...isghenry/publikation/sim_ani_06_1.pdf · Modi von Proof-Animation™ Zur Entwicklung, zum Test und zur Präsentation von Animationsmodellen

7

Modellimplementierung

Die Phase der Modellerstellung wird auch als Modellimplementierung bezeichnet.Das zu erstellende Simulationsmodell (Computermodell) soll das System mit einer für die Zielstellung ausreichenden Genauigkeit nachbilden. Dazu wird das abstrakte Modell in ein lauffähiges Computerprogramm überführt.Der erste Schritt besteht in der Wahl eines geeigneten Simulators oder einer Simulationssprache. Neben dem Einsatzgebiet ist die verfügbare Hard- und Software für die Wahl des Simulators mit entscheidend. Vielfach wird ein Simulator gewählt, der schon Basisalgorithmen für die gewünschte Problemstellung enthält.

Page 8: Otto-von-Guericke- Stockholm Universität Magdeburg 2 ...isghenry/publikation/sim_ani_06_1.pdf · Modi von Proof-Animation™ Zur Entwicklung, zum Test und zur Präsentation von Animationsmodellen

8

Bezugsquellen für GPSS-Simulatoren

WinGPSS • deutsches GUI• Ausbildungsversion frei verfügbar

lehramt.cs.uni-magdeburg.de

WEBGPSS • engl./schwed. GUI• Ausbildungsversion frei verfügbar

www.webgpss.com

GPSS/H • kommerzielles Entwicklungssystem (engl.)• Studentenv. frei verfügbar

www.wolverinesoftware.com

GPSS-World • kommerzielles Entwicklungssystem (engl.)• Studentenv. frei verfügbar

www.minutemansoftware.com

ProofAnimation™

• kommerzielles Animationssystem (engl.)• Studentenv. frei verfügbar

www.wolverinesoftware.com

Page 9: Otto-von-Guericke- Stockholm Universität Magdeburg 2 ...isghenry/publikation/sim_ani_06_1.pdf · Modi von Proof-Animation™ Zur Entwicklung, zum Test und zur Präsentation von Animationsmodellen

9

Proof-Animation™Das Animationssystem Proof-Animation™ gehört zur Klasse der 2D-Animationssysteme. Dieses Werkzeug ist wegen seiner Einfachheit und Leistungsfähigkeit für den Einsatz in der schulischen Ausbildung geeignet. Es erlaubt die Darstellung gleichzeitiger, flüssiger Bewegungen für Hunderte von Objekten. Die Animation läuft mit einstellbarem, zur Realzeit proportionalem Tempo.Proof Animation™ ist ein Produkt der

Page 10: Otto-von-Guericke- Stockholm Universität Magdeburg 2 ...isghenry/publikation/sim_ani_06_1.pdf · Modi von Proof-Animation™ Zur Entwicklung, zum Test und zur Präsentation von Animationsmodellen

10

Proof-AnimationsmodellLayout des

realen SystemsLayout des

Animationsmodells

WinGPSS Simulationsmodell

Animation-Trace-File

Proof-Animationsmodell

Page 11: Otto-von-Guericke- Stockholm Universität Magdeburg 2 ...isghenry/publikation/sim_ani_06_1.pdf · Modi von Proof-Animation™ Zur Entwicklung, zum Test und zur Präsentation von Animationsmodellen

11

Modellbeschreibungen der Komponente Lok

UML-BeschreibungSystemkomponente

WinGPSS-Sprachelemente Animationsklasse ZUG

Page 12: Otto-von-Guericke- Stockholm Universität Magdeburg 2 ...isghenry/publikation/sim_ani_06_1.pdf · Modi von Proof-Animation™ Zur Entwicklung, zum Test und zur Präsentation von Animationsmodellen

12

Komponenten in den Modellen

Komponente des realen Systems

Modell-element

Sprach-element

Animations-komponente

Lock Transaktion GENERATETERMINATE

Klasse: ZUG

Signal Einrichtung SEIZERELEASE

Klasse: LAMPE

Gleis Speicher ENTERADVANCELEAVE

Pfad

Page 13: Otto-von-Guericke- Stockholm Universität Magdeburg 2 ...isghenry/publikation/sim_ani_06_1.pdf · Modi von Proof-Animation™ Zur Entwicklung, zum Test und zur Präsentation von Animationsmodellen

13

Animationsmodell - Kompetenzen

Die Schülerinnen und Schülererfassen die zusätzlichen Eingabegrößen für das Animationsmodell und erstellen das Layoutbewerten die Animation als Methode zur Visualisierung von Resultatdaten vergleichen und bewerten das Verhalten des Animationsmodells mit dem realen System

Page 14: Otto-von-Guericke- Stockholm Universität Magdeburg 2 ...isghenry/publikation/sim_ani_06_1.pdf · Modi von Proof-Animation™ Zur Entwicklung, zum Test und zur Präsentation von Animationsmodellen

14

Wann sollten Animationssysteme eingeführt werden?Aus didaktischer Sicht kann die Animation auch vor der Simulationssprache eingeführt werden. Die Animation selbst ist eine einfache Form der Taktsimulation. Die Animation bietet sich zur Eingewöhnung in die Welt der Simulation an, weil sie die unmittelbare visuelle Kontrolle der geschaffenen Modelle erlaubt.Das Animationssystem Proof-Animation kann unabhängig von der Simulation zur Visualisierung von Daten verwendet werden.

Page 15: Otto-von-Guericke- Stockholm Universität Magdeburg 2 ...isghenry/publikation/sim_ani_06_1.pdf · Modi von Proof-Animation™ Zur Entwicklung, zum Test und zur Präsentation von Animationsmodellen

15

Arbeitsschritte zur Entwicklung des Animationsmodels1. Erstellen eines (maßstabsgetreuen) Layouts2. Definition und Gestaltung der Objektklassen3. Definition der Pfade4. Festlegung der Sichten

Die Schritte 1 – 4 können mehrfach in beliebiger Reihenfolge durchgeführt werden.

Page 16: Otto-von-Guericke- Stockholm Universität Magdeburg 2 ...isghenry/publikation/sim_ani_06_1.pdf · Modi von Proof-Animation™ Zur Entwicklung, zum Test und zur Präsentation von Animationsmodellen

16

Modi von Proof-Animation™

Zur Entwicklung, zum Test und zur Präsentation von Animationsmodellen ist Proof Animation™ in sechs verschiedenen Modi nutzbar. Das sind:• Run – Modus, in dem ein Animationslauf stattfinden und gesteuert werden kann.• Presentation – ist ein Modus, in dem vorbereitete Präsentationsanweisungen, die zu einem Präsentationsfile (name.psf) zusammengefasst sind, vorgeführt und gesteuert werden können.• Draw – ist ein Modus, in dem ein Bildhintergrund, eine feste Szenarie gezeichnet wird. Neben statischen, unveränderlichen Komponenten werden im Draw-Modus auch Messages definiert, die während der Animation variable Werte annehmen können.

Page 17: Otto-von-Guericke- Stockholm Universität Magdeburg 2 ...isghenry/publikation/sim_ani_06_1.pdf · Modi von Proof-Animation™ Zur Entwicklung, zum Test und zur Präsentation von Animationsmodellen

17

Modi von Proof-Animation™

• Class – dient zur Definition von graphischen Klassen. Instanzen dieser Klasse kann man im Draw-Mode erzeugen und fest in das Layout einfügen. Weiterhin kann man Instanzen mit Animationsanweisungen während eines Animationslaufes erzeugen (Create), bewegen und verändern und wieder vernichten (Destroy).• Path – ist ein Modus, in dem Pfade (Paths) definiert werden können, auf denen sich Objekte bewegen.• Debug – ist ein Modus, der die Abarbeitung einer Animation(eines .atf-Files) in Zeitschritten oder in Einzelschritten erlaubt und dabei die Auswahl und Identifikation von Objekten ermöglicht.

Page 18: Otto-von-Guericke- Stockholm Universität Magdeburg 2 ...isghenry/publikation/sim_ani_06_1.pdf · Modi von Proof-Animation™ Zur Entwicklung, zum Test und zur Präsentation von Animationsmodellen

18

1. Erstellung des Layouts

Das Layout wird aus graphischen Elementarobjekten zusammengesetzt. Die Gestaltung des Layouts erfolgt im Draw-Modus von Proof Animation™ interaktiv.Im Draw-Modus erscheint eine neue Werkzeug-Leiste und ein leeres Zeichenblatt, auf dem man ein Layout gestalten kann.

Öffnen einer DateiSpeichern einer Datei

Einzoomen (stufenweise)Auszoomen (stufenweise)

Zoom-Box Home-View(Originalansicht, vom Nutzer einstellbar)

Scrollbar ein/aus

Page 19: Otto-von-Guericke- Stockholm Universität Magdeburg 2 ...isghenry/publikation/sim_ani_06_1.pdf · Modi von Proof-Animation™ Zur Entwicklung, zum Test und zur Präsentation von Animationsmodellen

19

1. Erstellung des Layouts

Arbeitsschritte:1. Erstellen des Bildhintergrundes oder einer festen Szenerie.

Damit wird der Betrachter dabei unterstützt, das reale System wieder zu erkennen, das im Modell nachgebildet wird.

2. Durch Linien und Bögen werden die Verläufe von Pfadenvorbereitet. Pfade lassen sich nur auf vorbereitete Linien legen. Sollen sie bei der Animation unsichtbar sein, so müssen sie mit der speziellen Farbe Backdrop gezeichnet werden.

3. Objekte werden als Instanzen vorher definierter Klassen erzeugt und sie erhalten Namen und feste Positionen.

4. Nachrichten (Messages), Balken (Bars) und Diagramme (Plots) werden definiert.

5. Ansichten werden definiert, die Ausschnitte der Szenarien mit unterschiedlichem Maßstab und mit unterschiedlicher Unterteilung in Fenster zeigen.

Page 20: Otto-von-Guericke- Stockholm Universität Magdeburg 2 ...isghenry/publikation/sim_ani_06_1.pdf · Modi von Proof-Animation™ Zur Entwicklung, zum Test und zur Präsentation von Animationsmodellen

20

1. Erstellung des Layouts - Arbeitsblatt

Das Arbeitsblatt verfügt über ein Koordinatensystem. Dieses Arbeitsblatt kann über die Zoomeinstellung beliebig skaliert werden. Der Wert 1 entspricht einer Einheit im Koordinatensystem. Proof Animation™ arbeitet mit einem Gleitkommakoordinatensystem, das Maßstabsänderungen in einem großen Wertebereich unterstützt. Daher ist es zweckmäßig, jedes Anwendungsbeispiel mit realen geometrischen Maßeinheiten zu identifizieren.

Für die Verwendung in Verbindung mit WinGPSS ist es zweckmäßig, nur den ersten Quadranten zu nutzen. Das bedeutet, dass ausschließlich positive X- und Y-Werte verwendet werden.

Das Arbeitsblatt wird im Layout-File gespeichert.

Page 21: Otto-von-Guericke- Stockholm Universität Magdeburg 2 ...isghenry/publikation/sim_ani_06_1.pdf · Modi von Proof-Animation™ Zur Entwicklung, zum Test und zur Präsentation von Animationsmodellen

21

1. Erstellung des Layouts - Linien

Linien werden über den Menüpunkt „Linie“ erzeugt. Der Anfangs- und Endpunkt kann mit der Maus oder über das Linienmenü festgelegt werden. Weiterhin kann eine Farbe für die Linien definiert werden. Linien können beliebig editiert werden.Eine Sonderform der Linie ist der Polygonzug. Damit können mehrere zusammenhängende Linien gezeichnet werden. Editiert werden die Linien als Einzellinie.

Page 22: Otto-von-Guericke- Stockholm Universität Magdeburg 2 ...isghenry/publikation/sim_ani_06_1.pdf · Modi von Proof-Animation™ Zur Entwicklung, zum Test und zur Präsentation von Animationsmodellen

22

1. Erstellung des Layouts - Kreisbogen

Für das Zeichnen eines Kreisbogens wird der Menüpunkt „Kreisbogen“ ausgewählt. Es stehen mehrere Möglichkeiten zur Verfügung den Kreisbogen zu parametrisieren. Dazu kann wieder die Maus oder die Tastatur verwendet werden.

Page 23: Otto-von-Guericke- Stockholm Universität Magdeburg 2 ...isghenry/publikation/sim_ani_06_1.pdf · Modi von Proof-Animation™ Zur Entwicklung, zum Test und zur Präsentation von Animationsmodellen

23

1. Erstellung des Layouts - Text

Einen Text gibt man ein, indem man zunächst die mit A markierte Schaltfläche anklickt. Dabei öffnet sich ein Fenster, in das der darzustellende Text einzugeben ist. Anschließend wird der Text positioniert und parametrisiert. Ein Text ist statisch. Er kann während des Animationslaufes nicht verändert werden.

Page 24: Otto-von-Guericke- Stockholm Universität Magdeburg 2 ...isghenry/publikation/sim_ani_06_1.pdf · Modi von Proof-Animation™ Zur Entwicklung, zum Test und zur Präsentation von Animationsmodellen

24

1. Erstellung des Layouts -Zusatzfunktionen

Snap ist eine Hilfsfunktion, die mittels eines Gitters die Orientierung beim Zeichnen erleichtert oder das Zusammenfügen von Endpunkten der darzustellenden graphischen Objekte unterstützt.

Trim ist eine Funktion zum Entfernen überstehender Stücke von Linien und Kreisbögen. Wenn Trim eingeschaltet ist, braucht man überstehende Enden nur anzuklicken, um sie zu entfernen.

Page 25: Otto-von-Guericke- Stockholm Universität Magdeburg 2 ...isghenry/publikation/sim_ani_06_1.pdf · Modi von Proof-Animation™ Zur Entwicklung, zum Test und zur Präsentation von Animationsmodellen

25

1. Erstellung des Layouts -Zusatzfunktionen

Box Edit ist eine Hilfsfunktion, die mittels eines Gitters die Orientierung beim Zeichnen erleichtert oder das Zusammenfügen von Endpunkten der darzustellenden graphischen Objekte unterstützt.

Undo macht die vorhergegangene Operation rückgängig. Die Undo-Funktion ist einstufig.

Page 26: Otto-von-Guericke- Stockholm Universität Magdeburg 2 ...isghenry/publikation/sim_ani_06_1.pdf · Modi von Proof-Animation™ Zur Entwicklung, zum Test und zur Präsentation von Animationsmodellen

26

1. Erstellung des Layouts -Zusatzfunktionen

Fillet ist eine Funktion, die zwei sich schneidende Geraden durch einen Kreisbogen mit einstellbarem Radius miteinander verbindet und dabei optional eine Trim-Funktion ausführt.

Bei der Anwendung ist es zweckmäßig, einen geeigneten Radius einzustellen und anschließend in den Raum zwischen den beteiligten Linien in der Nähe des Schnittpunktes klicken.

Page 27: Otto-von-Guericke- Stockholm Universität Magdeburg 2 ...isghenry/publikation/sim_ani_06_1.pdf · Modi von Proof-Animation™ Zur Entwicklung, zum Test und zur Präsentation von Animationsmodellen

27

2. Objektklassen und Objekte

Proof-Animationen beruhen auf der Bewegung von Instanzen benutzerdefinierter Objektklassen. Klassen werden im Class-Modus gestaltet und definiert. Sie sind Komponenten des Layout-Files. Nachdem man eine Objektklasse definiert hat, kann man beliebig viele Objekte dieser Klasse erzeugen, positionieren, bewegen und vernichten.

Die Objektklassen werden im Class-Modus erzeugt. Die in der Werkzeugleiste verfügbaren Tools entsprechen fast vollständig denen des Draw-Modus. Der voreingestellte Maßstab unterscheidet sich von dem des Draw-Modus im Verhältnis 10:1. Die Klassen sind die Muster der Objekte.

Vorhandene Klassen können im Class-Modus bearbeitet werden.

Page 28: Otto-von-Guericke- Stockholm Universität Magdeburg 2 ...isghenry/publikation/sim_ani_06_1.pdf · Modi von Proof-Animation™ Zur Entwicklung, zum Test und zur Präsentation von Animationsmodellen

28

2. Objektklassen und Objekte -Klassendefinition

Für jede Klasse kann ein eigenes Koordinaten-system definiert werden. Dieses gilt auch für die Objekte der Klasse. Angaben zur Bewegung eines Objektes beziehen sich immer auf den Nullpunkt seines lokalen Koordinatensystems.Schritte zur Klassendefinition:1. Auswahl von New Class2. Eingabe des Klassennamens3. Definition der Klasse mit Hilfe von Linien, Bögen, Texten und Nachrichten4. Festlegen der Klassenattribute

Für den Klassennamen müssen Großbuchstaben verwendet werden. Bei Verwendung mit WinGPSS darf der Name nicht mehr als 6 Zeichen haben.

Page 29: Otto-von-Guericke- Stockholm Universität Magdeburg 2 ...isghenry/publikation/sim_ani_06_1.pdf · Modi von Proof-Animation™ Zur Entwicklung, zum Test und zur Präsentation von Animationsmodellen

29

2. Objektklassen und Objekte –Klassendefinition - Attribute

OrientierungDirectional: Direktionale Objekte orientieren ihre lokale x-Achse immer an der Tangente des Pfades, auf dem sie sich bewegen.Non-Directional: Nicht direktionale Objekte lassen den Winkel zwischen ihrer x-Achse und der globalen x-Achse bei Wegbiegungen unverändert.For Clr, Aft Clr: For Clearence und AfterClearence bestimmen den Abstand, der beim Auftreffen auf andere Objekte auf einem akkumulierenden Pfad einzuhalten ist.

Page 30: Otto-von-Guericke- Stockholm Universität Magdeburg 2 ...isghenry/publikation/sim_ani_06_1.pdf · Modi von Proof-Animation™ Zur Entwicklung, zum Test und zur Präsentation von Animationsmodellen

30

2. Objektklassen und Objekte –Klassendefinition - Attribute

OrientierungRGP Offset: Der Abstand des Rear GuidancePoint, des zweiten Führungspunktes für die Bewegung auf Pfaden, vom Koordinatenursprung wird festgelegt. Er liegt immer links vom Ursprung auf der lokalen x-Achse.Speed: Ein positiver oder negativer Wert, der die Geschwindigkeit von Objekten der Klasse auf einem Pfad festlegt, kann angegeben werden. Objekte dürfen individuelle Geschwindigkeiten haben. Diese können über die Simulation bestimmt werden und an Stelle der Klassengeschwindigkeit zur Steuerung der Bewegung genutzt werden.

Page 31: Otto-von-Guericke- Stockholm Universität Magdeburg 2 ...isghenry/publikation/sim_ani_06_1.pdf · Modi von Proof-Animation™ Zur Entwicklung, zum Test und zur Präsentation von Animationsmodellen

31

2. Objektklassen und Objekte -Nachrichten

Klassen können Besitzer von Nachrichten (Messages) sein. Auf diese Weise kann man z.B. verschiedene Instanzen einer Klasse unterscheidbar machen oder Werte anzeigen, die sich im Lauf der Zeit verändern können. Diese Nachrichten werden im lokalen Koordinatensystem positioniert und vollziehen alle Bewegungen eines Objektes mit diesem gemeinsam.

Diese Funktion ist in WinGPSS zur Zeit noch nicht verfügbar.

Page 32: Otto-von-Guericke- Stockholm Universität Magdeburg 2 ...isghenry/publikation/sim_ani_06_1.pdf · Modi von Proof-Animation™ Zur Entwicklung, zum Test und zur Präsentation von Animationsmodellen

32

2. Objektklassen und Objekte -Layoutobjekte

Es gibt zwei Möglichkeiten, Objekte zu erzeugen:

• vor Beginn des Animationslaufes im Draw-Modus

Im Draw-Modus wird über die Taste „Layoutobjekt einfügen“ ein neues Layoutobjekt erzeugt. Dieses wird positioniert und ggf. mit einem neuen Farbattribut versehen.

• während des Animationslaufes durch Create (vom Simulationsprogramm gesteuert)

Page 33: Otto-von-Guericke- Stockholm Universität Magdeburg 2 ...isghenry/publikation/sim_ani_06_1.pdf · Modi von Proof-Animation™ Zur Entwicklung, zum Test und zur Präsentation von Animationsmodellen

33

2. Objektklassen und Objekte – Erzeugen von Objekten im Simulationsmodell

Jedes Objekt muss eine eindeutige Nummer haben. Über diese Nummer werden alle Attributänderungen und Operationen mit diesem Objekt durchgeführt.

Es ist zweckmäßig, der Transaktion, die durch das Graphikobjekt visualisiert werden soll, die gleiche Nummer in einem Parameter zuzuweisen. Da jede Nummer nur einmal vergeben werden darf, sollte die Nummerierung fortlaufend erfolgen. Dazu ist ein Skalar als Zähler geeignet.

Page 34: Otto-von-Guericke- Stockholm Universität Magdeburg 2 ...isghenry/publikation/sim_ani_06_1.pdf · Modi von Proof-Animation™ Zur Entwicklung, zum Test und zur Präsentation von Animationsmodellen

34

2. Objektklassen und Objekte – Erzeugen von Objekten im Simulationsmodell

Erzeugung eines Objektes

Bei der Erzeugung des Objektes wird eine Verknüpfung zwischen Objektnummer und Klassentyp hergestellt. Die Erzeugung erfolgt mit dem Create-Kommando des Help-Blockes. Das Objekt wird noch nicht dargestellt. Es steht jetzt für weitere Operationen zur Verfügung. Die Daten werden im Animations Tracefile (.atf) gespeichert.

Page 35: Otto-von-Guericke- Stockholm Universität Magdeburg 2 ...isghenry/publikation/sim_ani_06_1.pdf · Modi von Proof-Animation™ Zur Entwicklung, zum Test und zur Präsentation von Animationsmodellen

35

2. Objektklassen und Objekte – Entfernen von Objekten aus dem Simulationsmodell

Entfernen eines Objektes

Beim Entfernen des Objektes wird das Objekt, unabhängig von seinem Zustand, aus der Animation entfernt. Die Identifikation erfolgt über die Objektnummer. Zum Entfernen wird der Befehl Help-Destroy verwendet.

Page 36: Otto-von-Guericke- Stockholm Universität Magdeburg 2 ...isghenry/publikation/sim_ani_06_1.pdf · Modi von Proof-Animation™ Zur Entwicklung, zum Test und zur Präsentation von Animationsmodellen

36

2. Objektklassen und Objekte – Bewegen eines Objektes

Bewegen eines Objektes

Zum Bewegen kann der Befehl Help-Move verwendet werden. Das Objekt wird mit geradlinig, gleichförmiger Bewegung von seinem Ausgangspunkt zum angegebenen Zielpunkt in der vorgegebenen Zeit bewegt.

Page 37: Otto-von-Guericke- Stockholm Universität Magdeburg 2 ...isghenry/publikation/sim_ani_06_1.pdf · Modi von Proof-Animation™ Zur Entwicklung, zum Test und zur Präsentation von Animationsmodellen

37

2. Objektklassen und Objekte – Färben eines Objektes

Färben eines Objektes

Zum Färben kann der Befehl Help-Color verwendet werden. Damit kann während des Animationslaufes die Farbe von Objekten verändert werden, um z.B. Zustandsänderungenanzuzeigen.

Page 38: Otto-von-Guericke- Stockholm Universität Magdeburg 2 ...isghenry/publikation/sim_ani_06_1.pdf · Modi von Proof-Animation™ Zur Entwicklung, zum Test und zur Präsentation von Animationsmodellen

38

2. Objektklassen und Objekte –Verändern der Objektzuordnung

Ändern eines Objektes

Zustandsänderungen im Modell können durch unterschiedliche Graphikobjekte visualisiert werden. Mit dem Help-Change-Block kann während des Animationslaufes der Transaktion ein anderes Graphikobjekt zugeordnet werden.

Page 39: Otto-von-Guericke- Stockholm Universität Magdeburg 2 ...isghenry/publikation/sim_ani_06_1.pdf · Modi von Proof-Animation™ Zur Entwicklung, zum Test und zur Präsentation von Animationsmodellen

39

3. Pfade

Objekte können sich frei oder auf Pfaden bewegen. Pfade werden im Path-Modus definiert und im Layoutfile gespeichert. Pfade besitzen verschiedene Attribute. Die Bewegung von Objekten auf Pfaden wird durch Animationstracekommandosgesteuert.

Pfade müssen aus Linien und Kreisbögen im Draw-Modus konstruiert werden. Die graphischen Primitive müssen immer zuerst gezeichnet werden. Es können beliebige Farben verwendet werden. Wird als Farbe Backdrop gewählt, so ist die Pfadlinie im Run-Modus unsichtbar.

Page 40: Otto-von-Guericke- Stockholm Universität Magdeburg 2 ...isghenry/publikation/sim_ani_06_1.pdf · Modi von Proof-Animation™ Zur Entwicklung, zum Test und zur Präsentation von Animationsmodellen

40

3. Pfade - Menü

neuen Pfad hinzufügen

Kontrollieren des aktiven

Pfades

Pfad löschen

Editieren der Segmente im Draw-Modus

erstes Segment

auswählen

vorhergehendes Segment

auswählen

nächstes Segment

auswählen

letztes Segment

auswählen

aktuelles Segment löschen

Richtung des aktuellen

Segmentes ändern

Pfad vor dem aktuellen Segment erweitern

Pfad nach dem aktuellen

Segment erweitern

Page 41: Otto-von-Guericke- Stockholm Universität Magdeburg 2 ...isghenry/publikation/sim_ani_06_1.pdf · Modi von Proof-Animation™ Zur Entwicklung, zum Test und zur Präsentation von Animationsmodellen

41

3. Pfade – Pfade erstellen

Zur Erstellung eines neuen Pfades wird in den Path-Modusgewechselt. Es wird nur der Menüpunkt Pfad hinzufügen angeboten. Wird dieser ausgewählt, so wird man zur Eingabe eines Pfadnamens aufgerufen. Der Pfad sollte nur aus Großbuchstaben bestehen und in Verbindung mit WinGPSS maximal 6 Zeichen lang sein.Anschließend sind die Funktionen der Menüleiste aktiv.

Page 42: Otto-von-Guericke- Stockholm Universität Magdeburg 2 ...isghenry/publikation/sim_ani_06_1.pdf · Modi von Proof-Animation™ Zur Entwicklung, zum Test und zur Präsentation von Animationsmodellen

42

3. Pfade – Pfade erstellenUm einen Pfad zu spezifizieren klickt man zunächst auf einen Punkt im hinteren Teil des ersten Wegsegmentes. Dieses Wegsegment erscheint nun in roter Farbe und man kann die Wegbestimmung fortsetzen, indem man auf einen dahinter liegenden Teil des geplanten Weges klickt. Pfade, deren Definition abgeschlossen ist, erscheinen in blauer Farbe.Anschließend sollte man die Korrektheit des Pfades mit der Kontrollfunktion prüfen. Im nächsten Schritt werden die Wegattribute festgelegt.Nach der Definition der benötigten Wege wird das Layoutfile gespeichert.

Page 43: Otto-von-Guericke- Stockholm Universität Magdeburg 2 ...isghenry/publikation/sim_ani_06_1.pdf · Modi von Proof-Animation™ Zur Entwicklung, zum Test und zur Präsentation von Animationsmodellen

43

3. Pfade – Platzieren eines Objektes

Platzieren eines Objektes

Zum Platzieren wird der Befehl Help-Place verwendet. Durch Angabe der Koordinaten erfolgt eine Platzierung auf die entsprechende Position im Layoutfile.

Wird ein Pfadname angegeben, so wird das Objekt auf den Anfangspunkt dieses Pfades gesetzt.

Page 44: Otto-von-Guericke- Stockholm Universität Magdeburg 2 ...isghenry/publikation/sim_ani_06_1.pdf · Modi von Proof-Animation™ Zur Entwicklung, zum Test und zur Präsentation von Animationsmodellen

44

3. Pfade – Platzieren eines Objektes

Für einen akkumulierenden Pfad werden Objekte, die sich schon am Ende des Pfades befinden, zurückgeschoben, um Platz zu machen, falls squeeze angegeben ist.

Wenn squeeze nicht angegeben ist und das Ende des Pfades schon besetzt ist, erfolgt eine encroachement-Warnung.

Zum aktuellen Zeitpunkt der Animationszeit beginnt das Objekt seine Bewegung auf dem Pfad. Die Bewegung dauert solange, bis das Ende des Pfades erreicht ist, oder ein neues .ATF-Kommando die Bewegung unterbricht.

Page 45: Otto-von-Guericke- Stockholm Universität Magdeburg 2 ...isghenry/publikation/sim_ani_06_1.pdf · Modi von Proof-Animation™ Zur Entwicklung, zum Test und zur Präsentation von Animationsmodellen

45

3. Pfade – Platzieren eines Objektes

Die Bewegungsgeschwindigkeit ist bestimmt durch

• die definierte Pfadgeschwindigkeit. Sie wird ignoriert, falls

• eine Klassengeschwindigkeit für diese Objektklassefestliegt. Diese ist überschreibbar durch

• eine Objektgeschwindigkeit, welche dem Objekt direkt zugeordnet ist.

Page 46: Otto-von-Guericke- Stockholm Universität Magdeburg 2 ...isghenry/publikation/sim_ani_06_1.pdf · Modi von Proof-Animation™ Zur Entwicklung, zum Test und zur Präsentation von Animationsmodellen

46

3. Pfade – Bewegen eines Objektes

Festlegen der Geschwindigkeit

Jedem Objekt kann eine individuelle Objektgeschwindigkeit zugewiesen werden. Dazu wird der Befehl Help-Speedverwendet. Die Objektgeschwindigkeit wird in Wegeinheit pro Einheit der Animationszeit angegeben.

Page 47: Otto-von-Guericke- Stockholm Universität Magdeburg 2 ...isghenry/publikation/sim_ani_06_1.pdf · Modi von Proof-Animation™ Zur Entwicklung, zum Test und zur Präsentation von Animationsmodellen

47

3. Pfade – Bewegen eines Objektes

Festlegen der Bewegungszeit

Mit dem Befehl Help-TIME wird die Zeit festgelegt, in der sich ein Objekt über einen angegebenen Pfad bewegt bzw. die Restzeit, die das Objekt noch auf dem Pfad verbringen soll. Es ist zu beachten, dass Kollisionen vermieden werden.

Page 48: Otto-von-Guericke- Stockholm Universität Magdeburg 2 ...isghenry/publikation/sim_ani_06_1.pdf · Modi von Proof-Animation™ Zur Entwicklung, zum Test und zur Präsentation von Animationsmodellen

48

3. Pfade - Attribute

• Length – nicht direkt, sondern nur durch Änderung der Geometrie des Pfades beeinflussbar

• Speed – kann direkt eingegeben werden. Mit Eingabe von Speed wird automatisch das Attribut Time berechnet

• Time – kann direkt eingetragen werden. Damit ändert sich automatisch Speed.

• LagTime – ist ein Attribut, das nur für akkumulierende Pfade sinnvoll ist. Es definiert eine Verzögerungszeit für Objekte auf dem akkumulierenden Pfad. Die Lag-Time bestimmt die Zeitlücke zwischen dem Starten der Objekte aus einem Stau.

Page 49: Otto-von-Guericke- Stockholm Universität Magdeburg 2 ...isghenry/publikation/sim_ani_06_1.pdf · Modi von Proof-Animation™ Zur Entwicklung, zum Test und zur Präsentation von Animationsmodellen

49

3. Pfade - Attribute

• Accum/Non-Accum – bezieht sich immer auf das Attribut akkumulierend (accumulating). Diese Eigenschaft betrifft das Verhalten von Objekten beim Aufeinandertreffen auf einem Pfad. Wenn sich Objekte mit unterschiedlicher Geschwindigkeit auf einem akkumulierenden Pfad bewegen, können sie einander nicht überholen. Sie müssen einen Abstand einhalten, der durch den Clearance-Parameterder Objekte bzw. der entsprechenden Klasse bestimmt ist. Das gilt auch für das Erreichen des Pfadendes.Auf einem nicht akkumulierenden Pfad überholen Objekte einander, indem sie sich bildlich durchdringen.

Page 50: Otto-von-Guericke- Stockholm Universität Magdeburg 2 ...isghenry/publikation/sim_ani_06_1.pdf · Modi von Proof-Animation™ Zur Entwicklung, zum Test und zur Präsentation von Animationsmodellen

50

3. Pfade - Attribute

• Validation ON/OFF – entscheidet über die Kontrolle von Objektbewegungen auf akkumulierenden Pfaden. Die Ausgabe einer Warnung erfolgt nur, wenn Validation ON gesetzt ist. Dabei können folgende Konfliktsituationen auftreten:

• Leapfrog – Von einem akkumulierenden Pfad wird nicht das führende, sondern ein späteres Objekt entfernt.

• Encroachment – Zwei Objekte auf einem akkumulierenden Pfad laufen ineinander. Das kann z.B. geschehen, wenn Objekte am Anfangspunkt in zu schneller Folge eintreffen.

Page 51: Otto-von-Guericke- Stockholm Universität Magdeburg 2 ...isghenry/publikation/sim_ani_06_1.pdf · Modi von Proof-Animation™ Zur Entwicklung, zum Test und zur Präsentation von Animationsmodellen

51

4. Nachrichten

Messages (Nachrichten) kann man als vordefinierte Objektklassen betrachten. Man kann ebenso wie bei nutzerdefinierten Objektklassen beliebig viele Objekte erzeugen und spezifizieren. Das erfolgt im Draw-Modus. Die Aktualisierung dieser Objekte erfolgt durch ATF-Kommandos. Aktualisierung bedeutet hier die Zuweisung aktueller Werte im Verlauf der Animation.

Messages werden benutzt, um während eines Animationslaufes Werte anzuzeigen. Die Anzeige ist alphanumerisch.

Page 52: Otto-von-Guericke- Stockholm Universität Magdeburg 2 ...isghenry/publikation/sim_ani_06_1.pdf · Modi von Proof-Animation™ Zur Entwicklung, zum Test und zur Präsentation von Animationsmodellen

52

4. Nachrichten - Definition

Die Definition einer Message erfolgt im Draw-Modus. Es wird der Name der Message angegeben. Auch hier ist wieder bei Verwendung von WinGPSS die Einschränkung auf 6 Zeichen zu beachten.

Es kann ein Prototyp angegeben werden, durch dessen Gestaltung man eine Vorstellung über das spätere Aussehen der Messageerhält.

Anschließend kann die Messagepositioniert und gestaltet werden.

Page 53: Otto-von-Guericke- Stockholm Universität Magdeburg 2 ...isghenry/publikation/sim_ani_06_1.pdf · Modi von Proof-Animation™ Zur Entwicklung, zum Test und zur Präsentation von Animationsmodellen

53

4. Nachrichten - Ausgabe

Mit dem Help-Write-Block wird ein numerischer Wert oder eine Zeichenkette zur Aktualisierung der Nachricht gesendet. Es sind auch Skalare oder Parameter als Werte zugelassen.

Page 54: Otto-von-Guericke- Stockholm Universität Magdeburg 2 ...isghenry/publikation/sim_ani_06_1.pdf · Modi von Proof-Animation™ Zur Entwicklung, zum Test und zur Präsentation von Animationsmodellen

54

Ergebnispräsentation

Die Auswertung der Simulationsstudie erfolgt immer im Bezug auf die gegebene Aufgabenstellung. Dazu sind die entsprechenden Beurteilungskriterien zu formulieren. Ein Vergleich aller ermittelten Ergebnisse ermöglicht Rückschlüsse über die Einflüsse der regelbaren Variablen auf die Zielvariablen. Die Ergebnisse müssen so aufbereitet werden, dass sie für die Zielgruppe verständlich und überzeugend sind. Es erweist sich als günstig, wenn die Resultate in Euro präsentiert werden.

Page 55: Otto-von-Guericke- Stockholm Universität Magdeburg 2 ...isghenry/publikation/sim_ani_06_1.pdf · Modi von Proof-Animation™ Zur Entwicklung, zum Test und zur Präsentation von Animationsmodellen

55

Ergebnispräsentation

Bei der Präsentation der Simulationsstudie sollten keine unerwarteten Resultate vorgestellt werden, da die Durchführung der Simulationsstudie immer in Zusammenarbeit zwischen Entwickler und Kunde realisiert werden sollte. Folgende Schwerpunkte sollten präsentiert werden:- Welche Eingabegrößen wurden verwendet?- Welche Problemstellungen wurden gelöst?- Welche Methodik wurde zur Problemlösung verwendet?- Worin bestehen die Vorteile (und ggf. Nachteile) der präsentierten Lösung?- Welche Alternativen bestehen zur gefundenen Lösung?

Page 56: Otto-von-Guericke- Stockholm Universität Magdeburg 2 ...isghenry/publikation/sim_ani_06_1.pdf · Modi von Proof-Animation™ Zur Entwicklung, zum Test und zur Präsentation von Animationsmodellen

56

Phasen einer SimulationsstudiePhase ausgewählte Informatikinhalte

Auswahl und Beschreibung des Be-diensystems

• Erarbeitung des System und Modell-begriffs

• Erfassung und Aufbereitung empirischer Daten

Entwicklung des abstrakten Modells • Erlernen der Methoden von Abstraktion und Reduktion

• Arbeit mit formalen Beschreibungsmög-lichkeiten von Systemen

Implementierung des Computermo-dells

• Erlernen einer Simulationssprache bzw. Anwendung einer bekannten Program-miersprache auf ein komplexes System

• Erlernen grundlegender Validie-rungstechniken

Aufbereitung und Präsentation der Ergebnisse

• Erlernen von Visualisierungs- und Prä-sentationstechniken

• kritische Betrachtung der Ergebnisse von BerechnungenErkenntnisgewinn durch Simulationsstudien