Ziel dieser Arbeit ist es zu zeigen, wie aus formalen Modellen der interaktiven Aspekte eines Informationssystems automatisch ein ablauffähiges System mit den zugehörigen Benutzungsoberflächen generiert werden kann. Dabei werden interaktive Informationssysteme betrachtet, die mehrere Benutzer bei der Verwaltung beliebig komplex strukturierter Daten sowie bei der Ausführung gemeinsamer Aufgaben unterstützen. Die generierten Benutzungsoberflächen passen sich dynamisch auf die von den jeweiligen Benutzern zu verwaltenden Daten und der von ihnen zu erledigenden Aufgaben an. Um die Anwendbarkeit dieses Ansatzes zu zeigen, erfolgt die Entwicklung und prototypische Implementierung eines entsprechenden Generierungskonzepts. Dazu gehört die Entwicklung einer deklarativen Eingabesprache, mit der die interaktiven Aspekte eines Informationssystems kompakt beschrieben werden können und eines Generators, der daraus ablauffähige Prototypen generiert. Die Eingabe besteht aus dem Daten-, Aufgaben- und Benutzermodell. Das Datenmodell ist eine Datentypbeschreibungssprache, die dem Entwickler neben üblichen Kompositionstypen, wie Tupel oder Variante, auch Referenzen und Prädikate zur Spezifikation komplexer Plausibilitäten anbietet. Im Benutzermodell werden Benutzertypen und ihre Sichtweise auf Daten und Aufgaben definiert. Das Aufgabenmodell umfasst einfache Aktionen und aus mehreren Aktionen gebildete komplexe Aufgaben, an denen auch mehrere Benutzer arbeiten können. Ferner wird im Generierungskonzept die Integration der Modelle berücksichtigt ("Welche Benutzer sehen welche Daten zu welchen Phasen der Aufgabenbearbeitung?"). Um Aufgaben flexibel graphisch zu modellieren, können anwendungsspezifische graphische Aufgabenmodellierungseditoren aus der Beschreibung der abstrakten Syntax und der graphischen Präsentation der jeweiligen Aufgabenmodellierungssprache generiert werden. Im Vergleich zu verwandten Arbeiten ermöglicht das prototypisch implementierte Generierungskonzept dieser Arbeit erstmalig, mehrere Benutzer und ihre Eigenschaften deklarativ zu beschreiben und dies automatisch bei der dynamischen Anpassung der Benutzungsoberflächen zu berücksichtigen. Weiterhin neuartig ist die Möglichkeit, generierte graphische Aufgabenmodellierungseditoren in die generierten, ablauffähigen Prototypen interaktiver Informationssysteme für mehrere Benutzer zu integrieren.     «

Ziel dieser Arbeit ist es zu zeigen, wie aus formalen Modellen der interaktiven Aspekte eines Informationssystems automatisch ein ablauffähiges System mit den zugehörigen Benutzungsoberflächen generiert werden kann. Dabei werden interaktive Informationssysteme betrachtet, die mehrere Benutzer bei der Verwaltung beliebig komplex strukturierter Daten sowie bei der Ausführung gemeinsamer Aufgaben unterstützen. Die generierten Benutzungsoberflächen passen sich dynamisch auf die von den jeweiligen Be...     »

Topic of this work is the generation of interactive multi-user information systems including the necessary user interfaces from formal models. The interactive information systems regarded in this work support their users in the management of arbitrarily complex data structures and in the execution of cooperative tasks. The generated user interfaces are dynamically adapted to the data and tasks relevant for the associated user. In order to give a proof of concept, a generator for a declarative input language is implemented prototypically. With this generator, it is possible to generate running prototypes from given models. The input of the generator is composed of a data model, a task model, and a user model. The data model is a data type description language comprising standard composite types like tuples and variants. Additionally, references and predicates can be used in the data model for specifying complex plausibilities. The user model allows the specification of different user types and their views on data and tasks. The task model consists of actions executed by single users and activities where multiple users are involved. Furthermore, the integration of the different models is considered ("Which users see which data at a given step of a task execution?"). Activities consisting of a set of subtasks are often described graphically. In order to be flexible regarding this aspect, graphical editors can be generated from the description of the abstract syntax and the graphical presentation of the requested task modelling language. Compared with similar approaches, this work facilitates the declarative modelling of different users, the automatical adaption of the single user interfaces according to the user model and the integration of graphical editors in running prototypes.     «

Topic of this work is the generation of interactive multi-user information systems including the necessary user interfaces from formal models. The interactive information systems regarded in this work support their users in the management of arbitrarily complex data structures and in the execution of cooperative tasks. The generated user interfaces are dynamically adapted to the data and tasks relevant for the associated user. In order to give a proof of concept, a generator for a declarative in...     »