Benutzungsschnittstellen (UIs) dienen in der Domäne der industriellen Automatisierungstechnik der Bedienung und Beobachtung technischer Prozesse. Das sogenannte Model-based User Interface Development (MBUID) stellt ein vielversprechendes Konzept zur automatischen Erzeugung solcher UIs dar. Allerdings erfordert die Umsetzung dieses Konzeptes für einen spezifischen Anwendungsfall jeweils die Entwicklung einer oder mehrerer Modell-zu-Modell-Transformationen (M2M). Hierbei handelt es sich unter Verwendung aktueller Ansätze für Transformations-Frameworks um einen aufwändigen, fehleranfälligen und daher kostenintensiven Prozess. Dies gilt vor allem für Entwickler ohne tiefgreifendes Wissen über modellbasierte Technologien und kann unter Umständen sogar die durch die MBUID propagierten Vorteile aufwiegen.
Zur Erleichterung des Prozesses der Entwicklung von Modelltransformationen schlägt diese Arbeit eine spezielle Methodik sowie deren prototypische Implementierung in Form des PAMTraM-Frameworks vor. Die Methodik greift dabei die speziellen Rahmenbedingungen bei der UI-Entwicklung in der Domäne der industriellen Automatisierungstechnik auf und basiert auf drei Hauptkonzepten:
Die Basis stellt die Konfiguration von M2M-Transformationen in mehrdeutigen, bedingten Abbildungsmodellen dar. Diese Abbildungsmodelle beschreiben dabei lediglich Zuordnungen zwischen Elementen der Quell- und Ziel-UI-Beschreibungssprache einer durchzuführenden Transformation. Im Gegensatz zu existierenden Ansätzen erlaubt die entwickelte Methodik die explizite Berücksichtigung mehrdeutiger Abbildungen, die in der Domäne der UI-Entwicklung häufig auftreten. Darüber hinaus können explizite Kontextbedingungen formuliert werden, die die Notwendigkeit der Anpassung bzw. Neu-Erstellung eines Abbildungsmodells bei Vorliegen eines geänderten Nutzungskontextes (z.B. einer neuen Hardware-Plattform) verhindern.
Konkrete Transformationen für ein oder mehrere Quell- und Kontextmodelle können anschließend auf Basis eines konfigurierten Abbildungsmodells durchgeführt werden. Hierzu wird ein spezieller generischer Transformations-Algorithmus vorgestellt. Dieser ist in der Lage, basierend auf einer selbstständigen Analyse der Ziel-UI-Beschreibungssprache auch unvollständige Abbildungsmodelle auszuführen. Hierdurch muss der Entwickler eines Abbildungsmodells weniger Informationen in dieses integrieren. Allerdings führt dieses Vorgehen auch dazu, dass im Rahmen der Durchführung einer Transformation an verschiedenen Stellen Mehrdeutigkeiten auftreten können. Zur Auflösung dieser Mehrdeutigkeiten stellt diese Arbeit unterschiedliche Strategien wie z.B. die Konsultation des Nutzers vor.
Das dritte Hauptkonzept wird durch zwei Ansätze für sog. Higher-Order Transformations gebildet. Diese ermöglichen die teilweise semi-automatische Erstellung bzw. Vervollständigung von Abbildungsmodellen u.a. im Rahmen iterativer Entwicklungsprozesse. Dadurch wird die Entwicklung von Abbildungsmodellen weiter vereinfacht und die während einer Transformation auftretenden Mehrdeutigkeiten können schrittweise soweit notwendig reduziert werden.
Ein Nachweis über die Funktionalität der entwickelten Methodik sowie deren prototypischer Implementierung erfolgt zum einen anhand repräsentativer Fallstudien aus der betrachteten Domäne und zum anderen auf Basis einer Analyse hinsichtlich allgemeiner Kriterien zur Bewertung von Transformations-Frameworks. Eine abschließende Bewertung zeigt, dass die entwickelte Methodik die speziellen Anforderungen in Bezug auf die UI-Entwicklung in der Domäne der industriellen Automatisierungstechnik erfüllt und zur Vereinfachung der Entwicklung von Modelltransformationen geeignet ist. / User Interfaces (UIs) in the domain of industrial automation serve the operation and monitoring of technical processes. The Model-based User Interface Development (MBUID) represents a promising concept for the automatic generation of such UIs. However, the realization of this concept for a specific use case requires the development of one or multiple model-to-model (M2M) transformations. Using existing transformation frameworks, this represents a complex, error-prone, and thus costly task. This applies especially to developers without deep knowledge of model-based technologies and can in some circumstances even cancel out the advantages promised by MBUID.
In order to simplify the process of developing model transformations, this thesis proposes a specific methodology as well as its prototypic implementation by means of the PAMTraM framework. This methodology addresses the special underlying conditions of UI development in the domain of industrial automation and is based on three main concepts:
The basis is formed by the configuration of M2M transformations in ambiguous, conditional mapping models. These only capture mappings between elements of the source and the target UI modeling language of a transformation. In contrast to existing approaches, the developed methodology explicitly takes into account the possibility for ambiguous mappings that are common in the domain of UI development. Furthermore, developers can specify explicit context conditions that prevent the necessity of a modification or redevelopment of a mapping model in case of a changed context of use (e.g. a new hardware platform).
Individual transformations for one or multiple source and context models can be executed based on a configured mapping model. Therefore, a special generic transformation algorithm is presented. By autonomously analyzing the target UI modeling language, this algorithm is even capable of executing incomplete mapping models. As a result of this, the developer has to integrate less information in the mapping model. However, due to this approach, ambiguities may occur at various points during the course of a transformation. In order to be able to resolve these ambiguities, various strategies like the consultation of the user are presented in this thesis.
The third main concept is formed by two approaches for higher-order transformations that allow the partial semi-automatic generation resp. completion of mapping models among others in the context of iterative development processes. This further simplifies the development of mapping models and allows for the step-wise reduction of occurring ambiguities as far as necessary.
Representative case studies from the considered domain as well as an analysis with regard to general criteria for the assessment of transformation frameworks prove the functionality of the proposed methodology and its prototypical implementation. A concluding evaluation shows that the developed methodology satisfies the specific requirements concerning UI development in the domain of industrial automation and is suited to simplify the development of model transformations.
| Identifer | oai:union.ndltd.org:DRESDEN/oai:qucosa:de:qucosa:30556 |
| Date | 20 July 2017 |
| Creators | Freund, Matthias |
| Contributors | Janschek, Klaus, Meixner, Gerrit, Technische Universität Dresden |
| Source Sets | Hochschulschriftenserver (HSSS) der SLUB Dresden |
| Language | German |
| Detected Language | German |
| Type | doc-type:doctoralThesis, info:eu-repo/semantics/doctoralThesis, doc-type:Text |
| Rights | info:eu-repo/semantics/openAccess |
Page generated in 0.0035 seconds