\nTitel: Prozessanalyse und Ontologieevolution in kreativen\, dynamischen Domänen\n
\nZusammenfassung:\n
\nDie Verarbeitung von Informationen macht im Informationszeitalter einen Großteil der\nAktivitäten von Unternehmen aus. Ganze Arbeitsprozesse beschäftigen sich mittlerweile\nmit der Verarbeitung von Informationen - sowohl firmeninterner als auch Daten aus\nexternen Informationsquellen. Eine adäquate informatische Unterstützung dieser Arbeitsprozesse\nerfordert das Verständnis dieser vielfach sehr komplexen Prozesse\, aber\nauch der zugrundeliegenden Informationen.\n
\nDie semantischen Strukturen dieser Informationen werden traditionell als stabile und\nbeständige Beschreibung einer Domäne betrachtet. Doch gerade in modegetriebenen\nBranchen\, wie der Heimtextilindustrie\, ist diese Stabilität nicht gegeben. Designer und\nMarketingexperten führen bewusst jede Saison Änderungen herbei. Nur wenn sie den\nKonsumenten von ihrem innovativen Design überzeugen können\, ist der Verkauf ihrer\nProdukte erfolgreich. Die stetigen Änderungen bilden daher die Basis ihres täglichen\nGeschäftes. Diese hohe Dynamik und Kreativität der Heimtextilindustrie stellt eine besondere\nHerausforderung an Informationssysteme dar. Das hohe Tempo der Änderungen verlangt eine stetige\nAnpassung der formalisierten Modelle dieser Systeme an die neuen Gegebenheiten- es ist also\nnotwendig\, die Weiterentwicklung dieser Modelle zu unterstützen.\n
\nIn dieser Arbeit werden zunächst eine Prozessanalysetechnik und ein Modellierungsvorgehen\nzur Erfassung von Arbeitsprozessen in dynamischen\, kreativen Domänen vorgestellt.\nAufbauend auf dem Kreislauf der Wissensentstehung wird eine Methodik zur Weiterentwicklung\nder von Informationssystemen genutzten semantischen Modelle entwickelt. Wesentlicher\nBestandteil dieser Methodik ist die Integration der Weiterentwicklung in die Arbeitsprozesse\nder Nutzer. Die Methodik wird in einer Fallstudie in der kreativen und dynamischen Domäne der Heimtextilindustrie evaluiert.\n\n TRANSP:TRANSPARENT END:VEVENT BEGIN:VEVENT DTSTART;TZID=Europe/Berlin:20120227T111500 DTEND;TZID=Europe/Berlin:20120227T00 SUMMARY:Informatik-Oberseminar DESCRIPTION:Referent: Dipl.-Inform. Martin Zimmermann\, RWTH Aachen\n
\nThema: Solving Infinite Games with Bounds\n
\nAbstract:\n
\nWe investigate the existence and the complexity of computing and\nimplementing optimal winning strategies for graph games of infinite\nduration.\n
\nParameterized linear temporal logics are extensions of Linear Temporal\nLogic (LTL) by temporal operators equipped with variables for time\nbounds. In model-checking\, such specifications were introduced as "PLTL"\nby Alur et al. and as "PROMPT-LTL" by Kupferman et al. We show how to\ndetermine in doubly-exponential time\, whether a player wins a game with\nPLTL winning condition with respect to some\, infinitely many\, or all\nvariable valuations. Hence\, these problems are not harder than solving\nLTL games. Furthermore\, we present an algorithm with triply-exponential\nrunning time to determine optimal variable valuations that allow a\nplayer to win a game. Finally\, we give doubly-exponential upper and\nlower bounds on the values of optimal variable valuations.\n
\nIn Muller games\, we measure the quality of a winning strategy using\nMcNaughton's scoring functions. We construct winning strategies that\nbound the losing player's scores by two and show this to be optimal.\nThis improves the previous best upper bound of n! in a game with n\nvertices\, obtained by McNaughton. Using these strategies\, we show how to\ntransform a Muller game into a safety game whose solution allows to\ndetermine the winning regions of the Muller game and to compute a\nfinite-state winning strategy for one player. This yields a novel\nantichain-based memory structure and the first definition of permissive\nstrategies for Muller games. Moreover\, we generalize our construction by\npresenting a new type of game reduction from infinite games to safety\ngames and show its applicability to several other winning conditions.\n\n TRANSP:TRANSPARENT END:VEVENT BEGIN:VEVENT DTSTART;TZID=Europe/Berlin:20120223T140000 DTEND;TZID=Europe/Berlin:20120223T00 SUMMARY:Informatik-Oberseminar DESCRIPTION:Referent: Dipl. Inform. Stefan Götz\, Informatik IV\, RWTH Aachen\n
\nThema: Supporting Diversity and Evolvability in Communication Protocols\n
\nAbstract:\n
\nInternet communication has become very heterogeneous: typical use cases\ninclude web browsing\, mobile communication\, cloud and data-center\nnetworking\, and sensor networks. However\, today's communication\nprotocols are still developed with significant manual effort for\nsupposedly generic or average use cases. As a result\, protocols are not\ncustom-tailored to the requirements of users\, applications\, or services\nand are not as fast\, flexible\, secure\, or reliable as they could be.\nAlso\, advances in protocol engineering and research are adopted only\nvery slowly.\n
\nThis talk presents an evolvable protocol platform\, EPP\, which\nillustrates a step in this direction of greater flexibility. It aims at\nassembling protocol stacks semi-automatically from software components\,\nso that they can adapt gracefully to the constant evolution of\ncommunication protocols and their usage scenarios.\n
\nAt its core\, EPP describes the functionality of and interaction between\nindividual software components. It then composes them into complete\nprotocol stacks by evaluating these descriptions along with a set of\ncommunication requirements\, as specified by the network\, device\,\napplication\, and user.\n
\nThe main contributions of our approach consist of a concise protocol\ncomponent meta-model\, a composition algorithm for protocols\, and an\nefficient ranking method where a single protocol stack needs to be\nselected from multiple alternatives. Together\, these mechanisms can\ncontribute to adapting protocols automatically to the increasing\nheterogeneity of communication scenarios and challenges.\n TRANSP:TRANSPARENT END:VEVENT END:VCALENDAR