Logo des Repositoriums

Auflistung nach Autor:in "Wille, Robert"

1 - 3 von 3
  • Textdokument
    Ein Entwurfsablauf für Reversible Schaltkreise
    (Ausgezeichnete Informatikdissertationen 2009, 2010) Wille, Robert
  • Konferenzbeitrag
    Text statt C++: Automatisierung des Systementwurfs mit Hilfe natürlicher Sprachverarbeitung
    (INFORMATIK 2013 – Informatik angepasst an Mensch, Organisation und Umwelt, 2013) Drechsler, Rolf; Wille, Robert
    Programmiersprachen stellen eine Schnittstelle zwischen Mensch und Maschine zur Verfügung. Es gibt heutzutage kaum ein elektronisches System, eine Hardwarekomponente oder Software, welche nicht durch Sprachen wie C++, Java, SystemC oder anderen beschrieben wird. Dabei haben Programmiersprachen den erheblichen Nachteil, dass sie spezielles Expertenwissen erfordern. Wäre es möglich Systeme direkt in natürlicher Sprache zu beschreiben und automatisch umzusetzen, würden viele technische Hürden fallen. Doch natürliche Sprachen leiden an der nicht vorhandenen Eindeutigkeit. So ist z.B. bei dem Satz „Jede Komponente wird durch eine Fernbedienung gesteuert“ zunächst unklar, ob alle Komponenten durch die gleiche Fernbedienung gesteuert werden oder ob jede Komponente ihre „eigene“ Fernbedienung hat. Im Rahmen dieses Tutorials werden Techniken und Methoden eingeführt, mit denen sich die Lücke zwischen Mensch und Maschine beim Entwurf von elektronischen Systemen schließen lässt. Dabei finden insbesondere aktuelle Fortschritte der natürlicher Sprachverarbeitung (engl.: Natural Language Processing, kurz: NLP) Anwendung. Generell ist es zwar nicht möglich, in allen Fällen die korrekte Semantik von natürlichsprachlichen Sätzen zu ermitteln, allerdings lassen sich trotzdem wichtige Informationen daraus ableiten. So können z.B. mit einer einfachen grammatikalischen Analyse wesentliche Komponenten einer Systembeschreibung ermittelt werden: Aus Subjekt, Verb und Objekt eines Satzes lassen sich Akteure, Methoden bzw. Komponenten eines Systems ableiten. Adjektive, die ein Objekt näher beschreiben, lassen sich als Attribute von Komponenten identifizieren. Diese Informationen erlauben es, aus einem Text automatisch erste formale Beschreibungen z.B. in der Unified Modeling Language (UML) zu erzeugen. Dies führt zwar noch nicht zu einer automatischen Übersetzung von Text nach C++, erlaubt aber bereits Laien formale Beschreibungen eines gewünschten Systems zur Verfügung zu stellen.
  • Konferenzbeitrag
    Towards a catalog of structural and behavioral verification tasks for UML/OCL models
    (Modellierung 2016, 2016) Hilken, Frank; Niemann, Philipp; Gogolla, Martin; Wille, Robert
    Verification tasks for UML and OCL models can be classified into structural and behavioral tasks. For both task categories a variety of partly automatic solving approaches exist. But up to now, different interpretations of central notions as, for example, `consistency' or `reachability' can be found in current approaches and tools. This paper is designed to clarify central verification notions and to establish a collection of typical verification tasks that are common to multiple approaches and tools. In addition, the verification tasks are categorized with the aim of creating a central catalog of tasks, providing a common understanding of the terms used in model verifications.