elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Imprint | Privacy Policy | Contact | Deutsch
Fontsize: [-] Text [+]

UMLAUT: Synthesis of Natural Language from Constrained UML Models

Ring, Martin and Stoppe, Jannis and Drechsler, Rolf (2018) UMLAUT: Synthesis of Natural Language from Constrained UML Models. In: Workshop on Design Automation for Understanding Hardware Designs. 5th Workshop on Design Automation for Understanding Hardware Designs (DUHDe), 23. 3. 2018, Dresden, Deutschland.

[img] PDF
174kB

Abstract

Understanding formal specifications is a fundamental prerequisite in the design of any complex system. While it is feasible to machine check the conformance of an implementation to a specification, in practice many problems arise from the fact, that it is currently impossible for a machine to check the consistency of a specification in terms of the vision of a stakeholder, the requirements of concerned parties, or any laws which are not formalised. This paper presents an approach to generate natural language from formal specifications to aid in communicating complex technical matters to human beings.

Item URL in elib:https://elib.dlr.de/121392/
Document Type:Conference or Workshop Item (Speech)
Title:UMLAUT: Synthesis of Natural Language from Constrained UML Models
Authors:
AuthorsInstitution or Email of AuthorsAuthor's ORCID iD
Ring, MartinUNSPECIFIEDUNSPECIFIED
Stoppe, Jannisjannis.stoppe (at) dlr.deUNSPECIFIED
Drechsler, RolfUNSPECIFIEDUNSPECIFIED
Date:23 March 2018
Journal or Publication Title:Workshop on Design Automation for Understanding Hardware Designs
Refereed publication:Yes
Open Access:Yes
Gold Open Access:No
In SCOPUS:No
In ISI Web of Science:No
Status:Published
Keywords:Natural Language Processing, NLP, Hardware Design, Synthesis
Event Title:5th Workshop on Design Automation for Understanding Hardware Designs (DUHDe)
Event Location:Dresden, Deutschland
Event Type:Workshop
Event Dates:23. 3. 2018
HGF - Research field:other
HGF - Program:other
HGF - Program Themes:other
DLR - Research area:no assignment
DLR - Program:no assignment
DLR - Research theme (Project):no assignment
Location: Bremerhaven
Institutes and Institutions:Institute for the Protection of Maritime Infrastructures > Maritime Security Technologies
Deposited By: Stoppe, Jannis
Deposited On:25 Feb 2021 09:41
Last Modified:25 Feb 2021 09:41

Repository Staff Only: item control page

Browse
Search
Help & Contact
Information
electronic library is running on EPrints 3.3.12
Copyright © 2008-2017 German Aerospace Center (DLR). All rights reserved.