Suche mittels Attribut
Diese Seite stellt eine einfache Suchoberfläche zum Finden von Objekten bereit, die ein Attribut mit einem bestimmten Datenwert enthalten. Andere verfügbare Suchoberflächen sind die Attributsuche sowie der Abfragengenerator.
Liste der Ergebnisse
- Entwicklung einer domänenspezifischen Sprache zur Spezifikationsbeschreibung ereignisorientierter Simulationen + (Im Bereich der modellgetriebenen Softwaree … Im Bereich der modellgetriebenen Softwareentwicklung sind Simulationen ein wichtiges</br>Konzpet. Zum Beispiel erlaubt das Palladio Component Model (PCM) die Modellierung</br>und der Palladio Simulator die Simulation von Softwarearchitekturen durch ereignisorientierte Simulationen,</br>um Mängel in Softwarearchitekturen frühzeitig zu erkennen.</br>Das Tool DesComp ermöglicht es, ereignisorientierte Simulationen zu modellieren und zu vergleichen.</br>Vor der Implementierung einer neuen Simulation können so Ähnlichkeiten zu bestehenden Simulationen identifiziert</br>werden, um diese wiederzuverwenden. Der DesComp-Ansatz modelliert das Simulations-Verhalten</br>mittels Erfüllbarkeit prädikatenlogischer Formeln</br>(Satisfiability Modulo Theories, kurz SMT). Die Spezifikation des Simulations-Verhaltens durch SMT-Code</br>ist allerdings aufwändig und erfordert Hintergrundwissen zum SMT-LIB Standard.</br>Im Rahmen dieser Arbeit wurde eine domänenspezifischen Sprache (DSL) zur Spezifikation der</br>Simulations-Struktur und des Simulations-Verhaltens mit dem Xtext-Framework entwickelt.</br>Auf Grundlage der Struktur-Spezifikation</br>des DesComp-Ansatzes wurde dafür ein Metamodell zur Modellierung von Struktur und Verhalten ereignisorientierter</br>Simulationen erstellt. Dieses Metamodell wurde als Grundlage der abstrakten Syntax der entwickelten</br>Sprache verwendet. Das Metamodell dient dann als Ausgangspunkt für die weitere Verwendung und Analyse der</br>Simulations-Spezifikation.</br>Dazu wurde eine Transformation der Verhaltens-Spezifikation in SMT-Code implementiert,</br>die zusammen mit der</br>Simulations-Struktur in eine Graph-Datenbank exportiert werden kann, um die Simulation</br>in DesComp zu analysieren oder mit anderen Simulationen zu vergleichen.</br>Die entwickelte Sprache wurde anhand der Simulation BusSimulation und des</br>Palladio-Simulators EventSim evaluiert, indem die Modellierungen der</br>Simulationen mit DesComp und der Sprache anhand verschiedener Kriterien</br>verglichen wurde. verschiedener Kriterien verglichen wurde.)