Grundlagen ExecutionModel Simulationsumgebung Eine Simulationsumgebung für strukturierte...

Grundlagen

ExecutionModel

Simulationsumgebung

Eine Simulationsumgebung für strukturierte

natürlichsprachliche Anwendungsfallbeschreibunge

Eine Simulationsumgebung für strukturierte

natürlichsprachliche Anwendungsfallbeschreibunge

Mark Lehmacher, Veit Hoffmann, Prof. Dr. Horst Lichter

Research GroupSoftware Construction

horst.lichter@rwth-aachen.dewww-lufgi3.informatik.rwth-aachen.de

M. LehmacherEine Simulationsumgebung für natürlichsprachliche Anwendungsfallbeschreibungen - 2 - / 17-Jan-08

Einleitung

Ziel der Arbeit Simulationsumgebung für strukturierte

natürlichsprachliche Anwendungsfallbeschreibungen

Grundlagen besagte Anwendungsfallbeschreibungen zur detaillierten

Darstellung von Use Cases ViPER Plattform (Visual Modeling Platform for Embedded &

Real Time Software)

Gliederung

Grundlagen und einführendes Beispiel

ViPER Plattform

ViPER realisiert auf Grundlage der Eclipse Rich Client Plattform basiert auf Technologien aus Eclipse-Projekten: EMF, GEF gemeinsame Infrastruktur in Form von ViPER-spezifischen

Frameworks (VMF, VME) ViPER-UML2: beeinhaltet Editoren für diverse UML2

Diagrammtypen ViPER-MeDUSA: Integrierte Unterstützung zur Anwendung des

MeDUSA Prozesses zum Design eingebetteter Systeme ViPER-NaUTiluS: Narrative Description Toolkit for Evaluation and

Simulation

NaUTiluS

derzeitiger Funktionsumfang flussorientierte Spezifikation von natürlichsprachlichen

Beschreibungen (NarrativeDescriptions) für Use Cases dafür ein Meta Modell: NarrativeModel basierend auf Notation von Bittner & Spence automatische Überprüfung der Konsistenz zwischen

NarrativeModel und UML Use Case Modell

geplante Features Evaluation & Analyse von UML Use Case Modellen und

dazugehörigen NarrativeModel Instanzen Simulation von NarrativeModel Instanzen

Beispiel: Geldautomat

NarrativeModel: Flow

Geld abheben

NarrativeDescriptionFlow

Events

Use Case: Geld abheben

Geld abheben

Kunde kommt zum Geldautomaten und schiebt Bankkarte ein

Externe Inklusion von Authentifizieren

Der Kunde wählt Geldbetrag und bekommt das Geld ausgezahlt

Externe Erweiterung durch Quittung drucken falls Kunde dies wünscht

NarrativeModel: Event

Use Case: Authentifizieren

Authentifizieren

Kunde gibt

PIN ein Automat zieht

Karte ein

Automat informiert Kunden: falsche

NarrativeModel

Weitere NarrativeModel Konzepte jeder Fluss hat ein oder mehrere Kontexte Exception-Flows Vererbung auf NarrativeDescription Ebene (parallel zur Use

Case Hierarchie) abstrakte Flows in abstrakten Use Cases Redefinition von Flüssen und Events erweiterte Semantik für Extensions

NarrativeModel spannt Graph aufKunde kommt zum Geldautomaten und

schiebt Bankkarte ein

Kunde gibt PIN ein

Der Kunde wählt Geldbetrag und

bekommt das Geld ausgezahlt

Bankautomat zieht Karte ein

Bankautomat informiert Kunden, dass er falsche

PIN eingegeben hat

Use Case Ende

Automat druckt Quittung

Gliederung

Das ExecutionModel als Basis für die Simulation

Simulationsumgebung

Was soll die Simulation leisten? Unterstützung der Anforderungsanalyse Evaluierung/Validierung von NarrativeModel Instanzen (auf

Vollständigkeit, Konsistenz usw.) Ausgabeartefakte (Text, Modell) als Grundlage für Metriken

Simulationsumgebung

Simulation ausführungsorientierte Sicht auf NarrativeModel:

Standardablauf vs. Alternativabläufe NarrativeModel spannt Graphen von möglichen Pfaden auf ein Pfad durch diesen Graphen entspricht einem Szenario über Simulation Szenarien durchspielen Entscheidungspunkte durch Verzweigungen (in

Alternativabläufe) weitere Entscheidungspunkte durch semantische

Variationspunkte (Vererbung)

ExecutionModel

ExecutionModel ist Meta-Modell theoretischer Unterbau der Simulation Erfassen des aufgespannten Graphen in Modell Simulation auf je einer ExecutionModel Instanz entsteht aus Transformation einer NarrativeModel Instanz technische Realisierung: EMF

ExecutionModel

Beispiel: Transitions/EventExecutions

8 Transitions

6 EventExecutions

ExecutionModel

Verhältnis Events zu EventExecutions mehrere EventExecutions kapseln

selben Event falls auf mehreren Wegen erreichbar

Use Case Ende

Effekte durch VererbungSemantische Variation

ExecutionModel

Beispiel: ExecutionContext

Authentifizieren

Authentifizieren#Falsche PIN

Authentifizieren#Standard

Geld abheben#Standard

Geld abheben

ExecutionModel

Gliederung

Die Simulationsumgebung

Simulationsumgebung

Bestandteile der Simulationsumgebung Visualisierung der internen Struktur von

NarrativeDescriptions Visualisierung des durch die NarrativeModel Instanz

aufgespannten Graphen ein Trace-Editor zum Aufnehmen und Abspielen von

Szenarien Integration der verschiedenen Views und Editoren eigene Eclipse Perspektive für Simulation

Aktueller Stand

Bereits „fertiggestellt“ FlowView: graphische Darstellung der internen Struktur von

NarrativeDescriptions ExecutionModelView: graphische Darstellung einer

ExecutionModel Instanz

Demonstration!

ExecutionModelView

ExecutionModelView abstrahierte Darstellung einer ExecutionModel Instanz visualisiert wird immer ein Kontext (bzw. die

Aktionsmöglichkeiten eines Flows) Navigation über die verschiedenen Kontexte zur Darstellung Transformation der ExecutionModel Instanz in

UML Activity Model Kontext repräsentiert durch Activity Step repräsentiert durch Action in der Activity Activities und Actions über Stereotypen und Profilmechanismus

mit ExecutionModel verheiratet technische Realisierung: GEF, Draw2D

Noch zu tun

TraceEditor Aufnehmen von Traces (Recorder) Traces im Modell gespeichert, daher wieder abspielbar

Integration mit vorhandenen Views Herausforderung: Synchronization der Workbench

Selektionen

Evaluierung der Simulationsumgebung

Nice to have

Weiterführende Ideen graphische Visualisierung einer Menge von Traces in der

ExecutionModelView in Form von gefärbten Pfaden (Hot spots entdecken)

Robustheit der Simulation gegen korrupte NarrativeModel Instanzen

Integration der Simulation mit NarrativeModel Editor und Views (vgl. Java Debug Perspektive)

Zusammenfassung

NarrativeModel Grundlage der Simulation

ExecutionModel wird berechnet aus NarrativeModel

EventExecution, Transition und ExecutionContext zentrale Konzepte

FlowView und ExecutionModelView zum Visualisieren von NarrativeDescriptions und ExecutionModel Instanzen

TraceEditor muss noch realisiert werden und mit Views integriert werden

Grundlagen ExecutionModel Simulationsumgebung Eine Simulationsumgebung für strukturierte...

Documents

Virtual Waterway“, · 2018. 12. 19. · Virtual Waterway“, eine Simulationsumgebung fu¨r Verkehrsablaufe auf¨ Binnenwasserstraßen Von der Fakultat¨ Konstruktions-, Produktions-

Strukturierte Modellierung von Affekt in Text · Strukturierte Modellierung von Affekt in Text Zusammenfassende Darstellung der schriftlichen Habilitationsleistung (kumulative Habilitation)

Big Data in Industrie 4.0 – Eine strukturierte

Strukturierte Anlageprodukte

Anforderungen An eine SimulAtionSumgebung zur …€¦ · Simulationsumgebungen wie Matlab/Simulink, MAPLE, DIVA, SpeedUp (Wagner 1999), Smile (tu-berlin) oder kommerzieller Systeme,

Integrale Simulationsumgebung für die dynamische Analyse … · 2015-06-17 · Potenziale für die Maritime Wirtschaft, 7. FZK-Kolloquium Hannover, 26. März 2009 Integrale Simulationsumgebung

Von der Theorie zur Praxis: Macht virtuelle Entwicklung Sinn?...•Physik-basierte 3D Simulationsumgebung •Grundlegende physikalische Effekte, Kollisionserkennung •Virtuelles Modell

„Seldak“ und „Sismik“ Beobachtungsbogen für Strukturierte ... · „Seldak“ und „Sismik“ Strukturierte Beobachtung „Entwicklungsbegleitung“ T. Mayr, IFP, FU Bozen,

Sturzflutwarnsystem Thüringen STUWASYS - thueringen.de · AST in der Simulationsumgebung Matlab/Simulink • mit beiden Modellen konnten zufriedenstellende Ergebnisse erzielt und

Strukturierte Peer-to-Peer Netze · • Strukturierte P2P-Netze sind auch als „Distributed Hash Table“ (DHT) bekannt • Generische Schnittstelle zu Anwendung definierbar: void

Strukturierte Produkte Optimieren Sie Ihre ... - Credit Suisse · Inhalt Produktverzeichnis Glossar 2/62 Inhalt Credit Suisse 4 Zum Verständnis dieser Broschüre 5 Strukturierte

Strukturierte Textwiedergabe

Effizienzsteigerung der Pflegedokumentation · 2019. 8. 19. · Strukturierte Informationssammlung Die neue strukturierte Informationssammlung (SIS) ist ein Kernelement des neuen

Deutschlands führende Fachpublikation für strukturierte ... · PDF fileDer Zertifikateberater ist Deutschlands führende un-abhängige Fachpublikation für strukturierte Produkte

Strukturierte Programmierung IFB 2002 Tobias Selinger

Handout SDBtransfer 'Der strukturierte elektronische ... · Handout SDBtransfer "Der strukturierte elektronische Austausch von Sicherheitsdatenblättern wird Realität" (Präsentation

Data Mining und natürlichsprachliche Verbalmorphologien · homogen (im Folgenden kurz homogen), wenn alle seine Lexeme morphologisch analog sind. Das bedeutet, Das bedeutet, dass

Strukturierte Nachsorge bei peripheren vaskulären ... · Strukturierte Nachsorge bei peripheren vaskulären Interventionen 13. März 2017 1 Jawed Arjumand Klinik für Angiologie

Vertikal strukturierte Einkaufszentren in Innenstädten...Vertikal strukturierte Einkaufszentren in Innenstädten Fallstudien zur gebauten Realität in Deutschland vorgelegt von Caroline

Strukturierte Programmierung · Strukturierte Programmierung Bachelor-Studiengang Angewandte Informatik Hans-Werner Lang Hochschule Flensburg Vorlesung 4 15.10.2019