Zur Kurzanzeige

2015-12-15Dissertation DOI: 10.18452/17395
Model transformation languages for domain-specific workbenches
dc.contributor.authorWider, Arif
dc.date.accessioned2017-06-18T14:36:33Z
dc.date.available2017-06-18T14:36:33Z
dc.date.created2016-01-11
dc.date.issued2015-12-15
dc.identifier.urihttp://edoc.hu-berlin.de/18452/18047
dc.description.abstractDomänenspezifische Sprachen (DSLs) sind Software-Sprachen, die speziell für bestimmte Anwendungsdomänen entwickelt wurden. Mithilfe von DSLs können Domänenexperten ihr Domänenwissen auf einem hohen Abstraktionsniveau beschreiben. Wie andere Software-Sprachen auch, benötigen DSLs Sprachwerkzeuge, die Assistenz bei der Erstellung und Verarbeitung von domänenspezifischen Modellen bieten. Eine domänenspezifische Werkbank (DSW) ist ein Software-Werkzeug, welches mehrere solcher Sprachwerkzeuge für eine DSL miteinander integriert. Existierende Werkzeuge, die es erlauben eine DSW aufgrund der Beschreibung einer DSL automatisch generieren zu lassen, unterstützen jedoch nicht die Beschreibung und Generierung von editierbaren Sichten. Eine Sicht ist ein Teil einer DSW, der nur einen bestimmten Aspekt eines Modells darstellt. Diese Dissertation stellt spezielle Modelltransformationssprachen (MTLs) vor, mit denen die Synchronisation von Sichten in einer generierten DSW beschrieben werden kann. Dadurch können DSWs mit editierbaren Sichten mittels existierender Werkzeuge zur Generierung von Sprachwerkzeugen erstellt werden. Dafür wird eine DSW für die Nanophysik-Domäne sowie eine Taxonomie von Synchronisationstypen vorgestellt, welche es erlaubt genau zu bestimmen, welche Art von Modelltransformationen für die Synchronisation von Sichten in dieser Werkbank benötigt werden. Entsprechend dieser Anforderungen werden zwei MTLs entwickelt. Insbesondere wird eine bidirektionale MTL entwickelt. Mit solch einer Sprache kann man eine Relation, welche definiert ob zwei Modelle synchron sind, so beschreiben, dass die entsprechende Synchronisationslogik automatisch abgeleitet werden kann. Die gezeigten MTLs werden als interne DSLs - das heißt eingebettet als ausdrucksstarke Bibliotheken - in der Programmiersprache Scala implementiert. Auf diese Weise kann Scalas Typprüfung genutzt werden, um Transformationen und deren Komposition statisch zu verifizieren.ger
dc.description.abstractDomain-specific languages (DSLs) are software languages which are tailored to a specific application domain. DSLs enable domain experts to create domain-specific models, that is, high-level descriptions of domain knowledge. As any other software languages, DSLs rely on language tools which provide assistance for processing and managing domain-specific models. A domain-specific workbench is an integrated set of such tools for a DSL. A recently proposed approach is to automatically generate a domain-specific workbench for a DSL from a description of that DSL. However, existing tools which apply this approach do not support to describe and generate editable domain-specific views. A view is a part of domain-specific workbench that presents only one aspect of a model, for example, its hierarchical structure. This dissertation presents special model transformation languages which support the description of view synchronization in a generated domain-specific workbench. This allows a multi-view domain-specific workbench to be created with existing tools for language tool generation. We present a generated domain-specific workbench for the nanophysics domain and present a taxonomy of synchronization types. This allows us to precisely define what model transformations are required for view synchronization in that workbench. According to these requirements, we develop two transformation languages by adapting existing ones. In particular, we develop a bidirectional transformation language. With such a language one can describe a relation which defines whether two models are in sync and let the synchronization logic be inferred automatically. We implement model transformation languages as internal DSLs - that is, embedded as expressive libraries - in the Scala programming language and use Scala''s type checking for static verification of transformations and their composition.eng
dc.language.isoeng
dc.publisherHumboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät
dc.rightsNamensnennung - Keine kommerzielle Nutzung - Keine Bearbeitung
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/3.0/de/
dc.subjectdomänenspezifische Sprachenger
dc.subjectModelltransformationenger
dc.subjectmodellgetriebene Entwicklungger
dc.subjectScalager
dc.subjectbidirektionale Transformationenger
dc.subjectdomain-specific languageseng
dc.subjectmodel transformationseng
dc.subjectmodel-driven engineeringeng
dc.subjectScalaeng
dc.subjectbidirectional transformationseng
dc.subject.ddc004 Informatik
dc.titleModel transformation languages for domain-specific workbenches
dc.typedoctoralThesis
dc.identifier.urnurn:nbn:de:kobv:11-100234744
dc.identifier.doihttp://dx.doi.org/10.18452/17395
dc.identifier.alephidBV043266998
dc.date.accepted2015-11-18
dc.contributor.refereeFischer, Joachim
dc.contributor.refereePrinz, Andreas
dc.contributor.refereeCzarnecki, Krzysztof
dc.subject.dnb28 Informatik, Datenverarbeitung
dc.subject.rvkST 230
local.edoc.pages204
local.edoc.type-nameDissertation
bua.departmentMathematisch-Naturwissenschaftliche Fakultät

Zur Kurzanzeige