Der Kalender liegt auch im csv-Format (z.B. für Microsoft Outlook) und im ics/iCal-Format vor.
Zeit: 10.02.2012, 09:30 Uhr
Ort: Informatik-Zentrum, Raum 5053.2, Ahornstr. 55
Referent: Dipl.-Inform. Jessica Huster, RWTH Aachen
Titel: Prozessanalyse und Ontologieevolution in kreativen, dynamischen Domänen
Zusammenfassung:
Die Verarbeitung von Informationen macht im Informationszeitalter einen Großteil der Aktivitäten von Unternehmen aus. Ganze Arbeitsprozesse beschäftigen sich mittlerweile mit der Verarbeitung von Informationen - sowohl firmeninterner als auch Daten aus externen Informationsquellen. Eine adäquate informatische Unterstützung dieser Arbeitsprozesse erfordert das Verständnis dieser vielfach sehr komplexen Prozesse, aber auch der zugrundeliegenden Informationen.
Die semantischen Strukturen dieser Informationen werden traditionell als stabile und beständige Beschreibung einer Domäne betrachtet. Doch gerade in modegetriebenen Branchen, wie der Heimtextilindustrie, ist diese Stabilität nicht gegeben. Designer und Marketingexperten führen bewusst jede Saison Änderungen herbei. Nur wenn sie den Konsumenten von ihrem innovativen Design überzeugen können, ist der Verkauf ihrer Produkte erfolgreich. Die stetigen Änderungen bilden daher die Basis ihres täglichen Geschäftes. Diese hohe Dynamik und Kreativität der Heimtextilindustrie stellt eine besondere Herausforderung an Informationssysteme dar. Das hohe Tempo der Änderungen verlangt eine stetige Anpassung der formalisierten Modelle dieser Systeme an die neuen Gegebenheiten- es ist also notwendig, die Weiterentwicklung dieser Modelle zu unterstützen.
In dieser Arbeit werden zunächst eine Prozessanalysetechnik und ein Modellierungsvorgehen zur Erfassung von Arbeitsprozessen in dynamischen, kreativen Domänen vorgestellt. Aufbauend auf dem Kreislauf der Wissensentstehung wird eine Methodik zur Weiterentwicklung der von Informationssystemen genutzten semantischen Modelle entwickelt. Wesentlicher Bestandteil dieser Methodik ist die Integration der Weiterentwicklung in die Arbeitsprozesse der Nutzer. Die Methodik wird in einer Fallstudie in der kreativen und dynamischen Domäne der Heimtextilindustrie evaluiert.
02.02.2012, sts
Zeit: 23.02.2012, 14:00 Uhr
Ort: Informatik-Zentrum, Raum 5056, Ahornstr. 55
Referent: Dipl. Inform. Stefan Götz, Informatik IV, RWTH Aachen
Thema: Supporting Diversity and Evolvability in Communication Protocols
Abstract:
Internet communication has become very heterogeneous: typical use cases include web browsing, mobile communication, cloud and data-center networking, and sensor networks. However, today's communication protocols are still developed with significant manual effort for supposedly generic or average use cases. As a result, protocols are not custom-tailored to the requirements of users, applications, or services and are not as fast, flexible, secure, or reliable as they could be. Also, advances in protocol engineering and research are adopted only very slowly.
This talk presents an evolvable protocol platform, EPP, which illustrates a step in this direction of greater flexibility. It aims at assembling protocol stacks semi-automatically from software components, so that they can adapt gracefully to the constant evolution of communication protocols and their usage scenarios.
At its core, EPP describes the functionality of and interaction between individual software components. It then composes them into complete protocol stacks by evaluating these descriptions along with a set of communication requirements, as specified by the network, device, application, and user.
The main contributions of our approach consist of a concise protocol component meta-model, a composition algorithm for protocols, and an efficient ranking method where a single protocol stack needs to be selected from multiple alternatives. Together, these mechanisms can contribute to adapting protocols automatically to the increasing heterogeneity of communication scenarios and challenges.
07.02.2012, sts
Zeit: 27.02.2012, 11:15 Uhr
Ort: Informatik-Zentrum, AH1, Ahornstr. 55
Referent: Dipl.-Inform. Martin Zimmermann, RWTH Aachen
Thema: Solving Infinite Games with Bounds
Abstract:
We investigate the existence and the complexity of computing and implementing optimal winning strategies for graph games of infinite duration.
Parameterized linear temporal logics are extensions of Linear Temporal Logic (LTL) by temporal operators equipped with variables for time bounds. In model-checking, such specifications were introduced as "PLTL" by Alur et al. and as "PROMPT-LTL" by Kupferman et al. We show how to determine in doubly-exponential time, whether a player wins a game with PLTL winning condition with respect to some, infinitely many, or all variable valuations. Hence, these problems are not harder than solving LTL games. Furthermore, we present an algorithm with triply-exponential running time to determine optimal variable valuations that allow a player to win a game. Finally, we give doubly-exponential upper and lower bounds on the values of optimal variable valuations.
In Muller games, we measure the quality of a winning strategy using McNaughton's scoring functions. We construct winning strategies that bound the losing player's scores by two and show this to be optimal. This improves the previous best upper bound of n! in a game with n vertices, obtained by McNaughton. Using these strategies, we show how to transform a Muller game into a safety game whose solution allows to determine the winning regions of the Muller game and to compute a finite-state winning strategy for one player. This yields a novel antichain-based memory structure and the first definition of permissive strategies for Muller games. Moreover, we generalize our construction by presenting a new type of game reduction from infinite games to safety games and show its applicability to several other winning conditions.
26.01.2012, sts