Modellbasierte Generierung von Benutzungsoberflächen

Die Arbeit stellt einen integrierten Gesamtprozess zur modellgetriebenen Softwareentwicklung von Benutzungsschnittstellen und Geschäftslogik vor. Dazu notwendige und unterstützende Deklarationsmodelle, sowie Modelltransformationen für dieses Verfahren, werden entwickelt und präsentiert. Weiterhin werden Meta-Modelle für Aufbau und Wartung eines HCI-Patternkatalogs vorgestellt und zur Erstellung eines solchen Kataloges benutzt. Die darin enthaltenen Einträge werden in Bezug auf Ihre softwaretechnische Komponentisierbarkeit untersucht und klassifiziert.The thesis presents an integrated model-driven approach for developing software. This approach supports the generation of user interfaces, as well as artifacts of business logic. Suitable meta models and model transformations are developed and explained. Secondly, this thesis dwells on the topic of HCI patterns. It is researched how such patterns may be classified, componentized and made use of in a model-driven process. This work eventually yields a pattern language, whose entries are declared using state-of-the-art model-driven technologies

Ein Beitrag zur Prozessautomatisierung im Bauprojekt-Controlling

Die Automatisierung von Prozessen innerhalb von Bauprojekten weist ein hohes Potenzial an Verbesserungsmöglichkeiten auf. Von substanzieller Bedeutung in diesem Kontext ist eine Steigerung resp. die Einhaltung einer hohen Effizienz vor allem in den Prozessen der Planung und Ausführung. Da viele der bis dato verwendeten Bauverfahren bereits einen hohen Digitalisierungsgrad und folglich einen hohen Automatisierungsgrad aufweisen, gestaltet sich die Frage, an welcher Stelle eine Änderung notwendig ist, um die geringe Effizienz, die aktuell in einigen Bereichen der Bauindustrie herrscht, zu steigern. Bei der Durchführung empirischer Untersuchungen stellte sich der Bedarf nach einer Automatisierung der von Menschen durchgeführten Prozesse innerhalb von Bauprojekten heraus. Aus diesem Grund bestand das zentrale Ziel der vorliegenden Dissertation darin, eine Regelungsmöglichkeit innerhalb des Bauprojekt-Controllings zu entwickeln, die zu einer Beschleunigung der durch den Menschen vorgebebenen Prozessgeschwindigkeit führt. In Form einer neuen Systematik von Steuer- und Regelkreisen wurde dies erreicht. Dabei konnten die Latenzen innerhalb einzelner Controllingmechanismen erheblich reduziert werden. Es wurden Fortschritte in Richtung der Approximation einer ganzheitlichen virtuellen Abbildung des komplexen sozio-ökonomischen-technischen Systems Bauen erzielt. Die vorab angesprochene Beschleunigung wurde durch die Verknüpfung einzelner, bisher manuell durchgeführter Prozesse durch neu generierte automatisierte Prozesse sowie der Anbindung resp. der Erweiterung von Schnittstellen sowohl in Bauverfahren als auch in Software ermöglicht. Darüber hinaus konnte eine Steigerung des Automatisierungsgrades bei einer quasi-kontinuierlichen und selbstregulierenden Datenaktualisierung eines Steuerungsprozesses mit bis dato auf dem Markt verfügbaren und somit praxisnahen Mitteln erreicht werden. Insgesamt leistet die vorliegende Arbeit einen Beitrag zur Lösung der Effizienzproblematik sowie zur Steigerung der Prozessautomatisierung innerhalb des Bauprojekt-Controllings. Dabei wird den Bau- und Projektleitenden sowie den Projektbearbeitenden die Möglichkeit der Effizienzsteigerung innerhalb ihres Berufsalltags gegeben. Es wird ermöglicht ihre Arbeit zu erleichtern und die Bauwirtschaft für Arbeitnehmer wieder attraktiver zu gestalten

Unterstützung des Experten bei der Formalisierung von Textwissen : INFOCOM ; eine interaktive Formalisierungskomponente

Ein in der Wissensakquisition grundlegendes Problem ist das Formalisieren informalen Wissens. Für die Lösung dieses Problems bieten sich verschiedene Wege an, die sich nicht zuletzt durch den Grad ihrer Automatisierung unterscheiden. In dieser Arbeit soll das System INFOCOM vorgestellt werden, welches einen Experten der zu bearbeitenden Domäne beim formalisieren von Textwissen unterstützt Der Vorgang des Formalisierens ist in verschiedene Phasen unterteilt, die zum einen automatisch durch einen regelgesteuerten Füllalgorithmus, zum anderen manuell im interaktiven Dialog mit dem Experten durchgeführt werden. Ein Wissensingenieur hat die Aufgabe,den Füllalgorithmus durch Eingabe von Regelsystemen zu konfigurieren und den Experten bei seiner Arbeit zu unterstützen

Infrastruktur für den Online-Zugriff auf prozesstechnische Apparate ohne dedizierte Kommunikationsanschaltung

Der Betrieb von prozesstechnischen Produktionsanlagen wird stetig von verschiedenen Aufgaben begleitet, zum Beispiel der Steuerung und Optimierung der Produktion und der Aufrechterhaltung der Verfügbarkeit. Alle Gewerke, die sich mit dem Zustand der Anlage und des darin ablaufenden Prozesses beschäftigen, sind auf Daten angewiesen, die in der Anlage erfasst werden. Ein Großteil dieser Daten werden für die automatische Steuerungs-, Regelungs- und Sicherheitstechnik erfasst und darin in Echtzeit verarbeitet. Apparate und anderes Equipment sind zumeist nicht mit für deren Zustandsüberwachung dedizierter Messtechnik ausgestattet. Um Qualitätsmerkmale, Anlagenzustände oder Wartungsbedarfe erkennen zu können, müssen andere in der Anlage vorhandene Daten kombiniert und in Berechnungsmodellen kondensiert werden. Diese Methodik teilt sich in unterschiedliche Schritte auf: Datenakquise, Entwurf von Auswertemodellen, Modellintegration und Auswertung von Ergebnissen mit Ableitung von Aufgaben. Die vorliegende Arbeit ordnet sich in die Softwareaspekte dieser Methodik ein. Dabei versucht sie, die zentrale Frage „Wie könnte eine Infrastruktur auf Basis von verbreiteten Standardtechnologien aussehen, welche alle Schritte des Engineeringprozesses für freie Apparatemodelle automatisieren kann?“ anhand eines Vorschlags für eine Infrastruktur zu beantworten. Es wird eine Möglichkeit dargelegt, im Betrieb ohne Änderungen am bestehenden System kontinuierlich Daten für die Weiterverwendung in Apparatemodellen auszulesen. Der Entwurf und die Implementierung von Auswertemodellen wurde mit Hilfe eines entwickelten Werkzeugs unterstützt und dadurch die Struktur der Apparatemodelle vorgegeben, um eine einheitliche Modellintegration zu ermöglichen. Die Durchführung der Modellintegration erfolgte über die automatische Auswertung von Planungsdaten. Eine auf offenen Technologien basierende Ausführungsplattform für die Bewertungsmodelle wurde implementiert. Die Auswertung von Berechnungsergebnissen wurde über die Integration der Modelle in verbreitete, für Feldgeräte vorgesehene Standardwerkzeuge ermöglicht. Diese Infrastruktur ermöglicht es den verschiedenen Gewerken des Anlagenbetreibers, generische Bewertungsmodelle auf die Apparateinstanzen in der Anlage anzuwenden, und mit deren Berechnungsergebnissen ihre Aufgaben einfacher oder besser bearbeiten zu können. Nach einer Analyse der technischen Rahmenbedingungen wurde ein Konzept zur Modellintegration entwickelt und dessen Automatisierbarkeit diskutiert. Dieses Konzept wurde prototypisch umgesetzt. Es wurden Softwarekomponenten für den Betrieb sowie Softwarewerkzeuge für die Unterstützung sowohl der Erstellung als auch der Integration von Apparatemodellen entwickelt. Anhand dieser wurde Umsetzbarkeit des Konzepts überprüftOperating process plants goes along with different tasks, e. g. control and optimization of the production and maintaining availability of the plant. There are several subsections of operations who deal with the state of the plant and the processes it runs. They are all dependent on information which is gathered throughout the plant. Most of this data is acquired for the automatic control, regulation, and safety gear and is processed in real-time. Apparatuses and other equipment are usually not equipped with measurement devices which are dedicated to monitor their state. For being able to recognize specific quality attributes, states of the plant, or maintenance needs, the existing measurements have to be combined and condensed by calculations. This methodology can be split into the following steps: data acquisition, design of evaluation models, integration of these models, and assessment of findings including inferring actions. This thesis addresses software aspects of this methodology. It tries to answer the key question „How to build an infrastructure, which shall be based on common standard technologies, in which all steps to engineer equipment models may be automated?“ by proposing a concrete infrastructure. A technique has been designed to continuously acquire data for further processing in equipment models without any changes to existing systems. The process of design and implementation of equipment models has been supported by a purpose-built tool. This tool puts out the designed models in a uniform structure to allow uniform model integration. This integration has been automated using the plant’s engineering data. An execution platform has been developed based on open technologies. Infrastructure and model structure have been designed to easily integrate calculation results into standard tools for being able to use them in common work environments. It enables the different subsections of operations in a plant to apply generic equipment assessment models on concrete equipment instances. Using the output of the models, they shall be enabled to perform their task in an easier or better manner. The technical requirements and prerequisites have been analyzed. Using the resulting conclusions, a concept to integrate models has been developed and the options to automate it have been discussed. This concept has been implemented prototypically. This implementation includes a runtime component and two tools to support development of models and their instantiation. It has been used to prove the feasibility of the concept

ORANGE 0110

Forschungsmagazin ORANGE für das Jahr 201

Method and Technology for Model-based Test Automation of Context-sensitive Mobile Applications

Smartphone und Tablet Computer haben sich zu universalen Kommunikations- und Unterhaltungsplattformen entwickelt, die durch ständige Verfügbarkeit mobilen Internets die Verwendung mobiler, digitaler Dienste und Anwendungen immer mehr zur Normalität werden lassen und in alle Bereiche des Alltags vordringen. Die digitalen Marktplätze zum Vertrieb von Apps, sogenannten App Stores, sind Blockbuster-Märkte, in denen wenige erfolgreiche Produkte in kurzen Zeitintervallen den Großteil des Gesamtgewinns des Marktes erzielen. Durch dynamische, summative Bewertungssysteme in App Stores wird die Qualität einer App zu einem unmittelbaren Wert- und Aufwandstreiber. Die Qualität einer App steht in direktem Zusammenhang mit der Anzahl Downloads und somit mit dem wirtschaftlichen Erfolg. Mobile Geräte zeichnen sich gegenüber Desktop-Computern vorrangig dadurch aus, dass sie durch Sensoren in der Lage sind, Parameter ihrer Umgebung zu messen und diese Daten für Anwendungsinhalte aufzubereiten. Anwendungsfälle für solche Technologien sind beispielsweise ortsbasierte digitale Dienste, die Verwendung von Standortinformationen für Fahrzeug- oder Fußgängernavigation oder die Verwendung von Sensoren zur Interaktion mit einer Anwendung oder zur grafischen Aufbereitung in Augmented Reality-Anwendungen. Anwendungen, die Parameter ihrer Umgebung messen, aufbereiten und die Steuerung des Kontrollflusses einfließen lassen, werden als kontextsensitive Anwendungen bezeichnet. Kontextsensitivität hat prägenden Einfluss auf die fachliche und technische Gestaltung mobiler Anwendungen. Die fachliche Interpretation von Kontextparametern ist ein nicht-triviales Problem und erfordert eine sorgfältige Implementierung und gründliches Testen. Herausforderungen des Testens kontextsensitiver, mobiler Anwendungen sind Erstellung und Durchführung von Tests, die zum einen die zu testende Anwendung adäquat abdecken und zum anderen Testdaten bereitstellen und reproduzierbar in die zu testende Anwendung einspeisen. In dieser Dissertation wird eine Methode und eine Technologie vorgestellt, die wesentliche Aspekte und Tätigkeiten des Testens durch modellbasierte Automatisierung von menschlicher Arbeitskraft entkoppelt. Es wird eine Methode vorgestellt, die Tests für kontextsensitive Anwendungen aus UML-Aktivitätsdiagrammen generiert, die durch Verwendung eines UML-Profils zur Kontext- und Testmodellierung um Testdaten angereichert werden. Ein Automatisierungswerkzeug unterstützt die Testdurchführung durch reproduzierbare Simulation von Kontextparametern. Durch eine prototypische Implementierung der Generierung von funktionalen Akzeptanztests, der Testautomatisierung und Kontextsimulation wurde Machbarkeit des vorgestellten Ansatzes am Beispiel der mobilen Plattform Android praktisch nachgewiesen.Smartphones and tablet computers have evolved into universal communication and entertainment platforms. With the ubiquitous availability of mobile internet access, digital services and applications have become a commodity that permeates into all aspects of everyday life. The digital marketplaces for mobile app distribution, commonly referred to as App Stores, are blockbuster markets, where few extraordinarily successful apps generate the major share of the market's overall revenue in a short period of time. Through the implementation of dynamic, summative rating mechanisms in App Stores, app quality becomes a key value-driver of app monetarization, as app quality is directly associated with the number of app downloads, and hence with economic success. In contrast to desktop computers, mobile devices are uniquely characterized by a variety of sensors that measure environmental parameters and make them available as input to software. Potential uses of these technologies range from location-based digital services that use the user's location for vehicle or pedestrian navigation to augmented reality applications that use sensor information for user experience enhancement. Apps instrumenting physical and non-physical environmental parameters to control workflows or user interfaces are called context-aware applications. Context-awareness has a formative impact on the functional and technical design of mobile applications. The algorithmic interpretation of context data is a non-trivial problem that makes thorough implementation and careful testing mandatory to ensure adequate application quality. Major challenges of context-aware mobile application testing are test case creation and test execution. The impact of context-awareness on test case creation is the attainability of adequate test coverage, that in contrast to non-context-aware application extends beyond traditional input data. It requires the identification and characterization of context data sources and the provisioning of suitable, reproducible test data. This thesis addresses a method and technology to decouple test case creation and test execution from manual labor through the extensive use of model-driven automation technology. A method is presented that generates test cases for context-aware mobile applications from UML Activity Models by means of model transformation technology. A test execution framework facilitates the reproducible simulation of context data derived from an enriched system model. The approach is validated using a prototypical implementation of the test case generation algorithm. The simulation of context data during test execution ist validated using a modified implementation of the Android operation system

Generative und Merkmal-orientierte Entwicklung von Software-Produktlinien mit noninvasiven Frames

Frames sind parametrisierte Elemente zur Erzeugung von Programmen in einer beliebigen Zielprogrammiersprache. Ihre Handhabung ist einfach und schnell zu erlernen. Allerdings findet bei Verwendung von Frames eine “Verunreinigung” des Programmcodes, der als Basis für die Generatorentwicklung dient, mit Befehlen der Generatorsprache statt. Dies erschwert die Weiterverwendung der gewohnten Entwicklungsumgebung für die Zielprogrammiersprache. Eine eventuelle Weiterentwicklung der Programmbasis muss anschließend in Form von Frames erfolgen. Im Rahmen dieser Arbeit erfolgt die Beschreibung noninvasiver Frames, bei denen Informationen zur Position der Frames getrennt vom Programmcode aufbewahrt werden. Ihre Vermischung erfolgt in einem separaten Schritt zur Darstellung oder zur eigentlichen Codeerzeugung. Der Prozess der Generatorentwicklung auf der Basis noninvasiver Frames passt sich gut in die Prozesse von Merkmal-orientierter (FOSD) und Generativer Softwareentwicklung (GSE) ein, weil noninvasive Frames die automatisierte Prüfung aller mit dem Generator erzeugbaren Programme hinsichtlich Syntax und bestimmter semantischer Eigenschaften unterstützen und die Generierung durch Auswahl der gewünschten Programmeigenschaften ermöglichen. Die Machbarkeit der Entwicklung von Softwaregeneratoren mit noninvasiven Frames wird anhand zweier Fallstudien demonstriert

Modellierung und Generierung von Benutzeroberflächen für interaktive Softwaresysteme unter der Nutzung von Mustern

Die Dissertation umfasst den Entwurf einer Entwicklungsumgebung für Benutzeroberflächen, der modell- und musterbasierte UI-Entwicklung zu einem integrierten Entwicklungs- und Generierungsansatz kombiniert. Die Grundlagen der modell- und musterbasierten Entwicklung werden dargestellt und existierende Implementierungen analysiert. Die Ergebnisse der Untersuchungen fließen in den Entwurf der kombinierten Entwicklungsumgebung, der detailliert beschrieben wird, ein. Die Arbeit beinhaltet eine Fallstudie, die die praktische Bedeutung der theoretischen Ausführungen verdeutlicht