Modellbasiertes Service Level Management verteilter Anwendungssysteme

Zur Senkung von Kosten werden in vielen Unternehmen Dienstleistungen, die nicht zur Kernkompetenz gehören, an externe Dienstleister ausgelagert. Dieser Prozess wird auch als Outsourcing bezeichnet. Die dadurch entstehenden Abhängigkeiten zu den externen Dienstleistern werden mit Hilfe von Service Level Agreements (SLAs) vertraglich geregelt. Die Aufgabe des Service Level Managements (SLM) ist es, die Einhaltung der vertraglich fixierten Dienstgüteparameter zu überwachen bzw. sicherzustellen. Für eine automatische Bearbeitung ist daher eine formale Spezifikation von SLAs notwendig. Da der Markt eine Vielzahl von unterschiedlichen SLM-Werkzeugen hervorgebracht hat, entstehen in der Praxis Probleme durch proprietäre SLA-Formate und fehlende Spezifikationsmethoden. Daraus resultiert eine Werkzeugabhängigkeit und eine limitierte Wiederverwendbarkeit bereits spezifizierter SLAs. In der vorliegenden Arbeit wird ein Ansatz für ein plattformunabhängiges Service Level Management entwickelt. Ziel ist eine Vereinheitlichung der Modellierung, so dass unterschiedliche Managementansätze integriert und eine Trennung zwischen Problem- und Technologiedomäne erreicht wird. Zudem wird durch die Plattformunabhängigkeit eine hohe zeitliche Stabilität erstellter Modelle erreicht. Weiteres Ziel der Arbeit ist, die Wiederverwendbarkeit modellierter SLAs zu gewährleisten und eine prozessorientierte Modellierungsmethodik bereitzustellen. Eine automatisierte Etablierung modellierter SLAs ist für eine praktische Nutzung von entscheidender Relevanz. Zur Erreichung dieser Ziele werden die Prinzipien der Model Driven Architecture (MDA) auf die Problemdomäne des Service Level Managements angewandt. Zentrale Idee der Arbeit ist die Definition von SLA-Mustern, die konfigurationsunabhängige Abstraktionen von Service Level Agreements darstellen. Diese SLA-Muster entsprechen dem Plattformunabhängigen Modell (PIM) der MDA. Durch eine geeignete Modelltransformation wird aus einem SLA-Muster eine SLA-Instanz generiert, die alle notwendigen Konfigurationsinformationen beinhaltet und bereits im Format der Zielplattform vorliegt. Eine SLA-Instanz entspricht damit dem Plattformspezifischen Modell (PSM) der MDA. Die Etablierung der SLA-Instanzen und die daraus resultierende Konfiguration des Managementsystems entspricht dem Plattformspezifischen Code (PSC) der MDA. Nach diesem Schritt ist das Managementsystem in der Lage, die im SLA vereinbarten Dienstgüteparameter eigenständig zu überwachen. Im Rahmen der Arbeit wurde eine UML-Erweiterung definiert, die eine Modellierung von SLA-Mustern mit Hilfe eines UML-Werkzeugs ermöglicht. Hierbei kann die Modellierung rein graphisch als auch unter Einbeziehung der Object Constraint Language (OCL) erfolgen. Für die praktische Realisierung des Ansatzes wurde eine Managementarchitektur entwickelt, die im Rahmen eines Prototypen realisiert wurde. Der Gesamtansatz wurde anhand einer Fallstudie evaluiert.

Medienpädagogik in der Sportlehrerausbildung - Grundlegung und Prüfung eines fachspezifischen Modells medienpädagogischer Kompetenz

An Schule und Hochschule wird heute vorausgesetzt, dass Lehrkräfte mit Unterrichts- und Massenmedien sachgerecht und kompetent umgehen können. Dargestellt wird ein Modell, das einzelne Elemente einer medienpädagogischen Kompetenz veranschaulicht und Beziehungen der Teilkompetenzen untereinander aufzeigt. Die Kompetenzelemente werden aus theoretisch fundierten Ansätzen der Medienpädagogik abgeleitet und anschließend auf die Fachinhalte des Sports übertragen. Das fachspezifische Modell untergliedert medienpädagogische Kompetenz in aufeinander bezogene Kernbereiche und Basisgrößen und strukturiert so medienspezifische Kenntnisse und Fertigkeiten, die im Rahmen der Sportlehrerausbildung vermittelt werden können. Zur Überprüfung der im Modell konstatierten Zusammenhänge wurde eine schriftliche Befragung (N=147) durchgeführt. Das Erhebungsinstrumentarium enthält Items zur Erfassung personenbezogener Merkmale und Testfragen, mit denen das Niveau der Kompetenzelemente erfasst werden kann. Aus den Daten der Untersuchung lassen sich neben aufschlussreichen Zusammenhängen der Kompetenzbereiche untereinander auch personenbezogene Merkmale ableiten, welche die medienpädagogische Kompetenz im Sport signifikant beeinflussen. Die hochschuldidaktische Umsetzung des Kompetenzmodells wurde im Rahmen einer einjährigen Interventionsstudie (N=74) erprobt und getestet. Zwei auf der Grundlage der Modellüberlegungen konzipierte Seminarveranstaltungen befassen sich mit der Schulung und Verbesserung medienpädagogischer Kompetenz und zeigen beispielhaft auf, wie medienbezogene Themenstellungen in den Theoriebereich des Sportstudiums integriert werden können. Die Ergebnisse der Interventionsstudie bestätigen, dass in den sportwissenschaftlichen Lehrveranstaltungen Elemente medienpädagogischer Kompetenz gezielt geschult und verbessert werden konnten. Zudem lassen sich aus den Untersuchungsdaten begründete Empfehlungen für medienpädagogische Lehrveranstaltungen an der Hochschule ableiten.

An algebraic proof of Iitaka's conjecture C2,1

We give a proof of Iitaka's conjecture C2,1 using only elementary methods from algebraic geometry.

VUV-Laserablation von Spinnenseide

Spinnenseide gehört zu den stabilsten bekannten Polymerverbindungen. Spinnfäden können bis auf das Dreifache ihrer ursprünglichen Länge gedehnt werden, bevor sie reißen, und dabei mit rund 160 MJ/m³ mehr als dreimal soviel Energie absorbieren wie die stärkste synthetisch hergestellte Faser Kevlar (50 MJ/m³). Dabei weisen Spinnfäden mit 2 bis 5 Mikrometer nur ein Zehntel des Durchmessers eines menschlichen Haares auf. Das präzise, berührungslose Bearbeiten von Spinnenseide ist für verschiedene technische Anwendungen interessant, insbesondere wenn dabei ihre außergewöhnlichen Eigenschaften erhalten bleiben. Könnten die von Natur aus dünnen Seidenfäden gezielt in ihrem Durchmesser verringert werden, so wären sie unter anderem in der Mikroelektronik einzusetzen. Hier könnten sie als Trägermaterial für eine dünne, elektrisch leitfähige Schicht fungieren. Man erhielte Nanodrähte, die auch in mechanisch besonders belasteten Mikroelektronikbauteilen (MEMS) Verwendung finden könnten. In dieser Arbeit wird die Verwendung der laserinduzierten Ablation zur gezielten Bearbeitung von Haltefäden der Schwarzen Witwe (Latrodectus hesperus) beschrieben. Eingesetzt wurde ein VUV-Excimerlaser vom Typ LPF 205 (Lambda-Physik, Göttingen) mit einer Wellenlänge von 157 nm und einer Pulsdauer von 18 ns. Eine berührungslose Laserbearbeitung bei 157 nm erlaubt einen effizienten und präzisen Abtrag von Material durch Ablation aufgrund der geringen optischen Eindringtiefe von unter 100 nm oberhalb einer Schwellenfluenz (Energie/Fläche) von Φth=29 mJ/cm², ohne dabei das umgebende Material thermisch zu beeinträchtigen. Parallel zur Ablation setzt allerdings eine wellenförmige Oberflächenstrukturierung auf der Faseroberfläche ein, wodurch die mechanische Belastbarkeit der Faser entscheidend geschwächt wird. Die Ursache hierfür liegt im Abbau materialbedingter Spannungsfelder („stress release“) innerhalb einer durch das Laserlicht induzierten dünnen Schmelzschicht. Im Rahmen dieser Arbeit ist es nun gelungen, diese Strukturen durch einen anschließenden Glättungsprozeß zu entfernen. Dabei wird auf der bestrahlten Oberfläche mittels Laserlichts eine glatte Ablation erzielt. Mit feinerer Abstufung dieser Prozeßschritte konnte der Durchmesser des verwendeten Spinnenseidefadens zum Teil um 70 Prozent bis auf ca. 750 nm verringert werden. Durch Zugfestigkeitsexperimente wurde belegt, daß die mechanischen Eigenschaften der so bearbeiteten Spinnenseide weitgehend erhalten bleiben. Die im Rahmen dieser Arbeit angewandte Methode erlaubt somit eine präzise Laserablation von Spinnenseide und ähnlichen hochabsorbierenden Materialien, ohne deren Kernsubstanz in ihrer Beschaffenheit zu verändern.

Heterochromatin und epigenetische Kontrolle der Centromere in Dictyostelium discoideum

Heterochromatin Protein 1 (HP1) is an evolutionarily conserved protein required for formation of a higher-order chromatin structures and epigenetic gene silencing. The objective of the present work was to functionally characterise HP1-like proteins in Dictyostelium discoideum, and to investigate their function in heterochromatin formation and transcriptional gene silencing. The Dictyostelium genome encodes three HP1-like proteins (hcpA, hcpB, hcpC), from which only two, hcpA and hcpB, but not hcpC were found to be expressed during vegetative growth and under developmental conditions. Therefore, hcpC, albeit no obvious pseudogene, was excluded from this study. Both HcpA and HcpB show the characteristic conserved domain structure of HP1 proteins, consisting of an N-terminal chromo domain and a C-terminal chromo shadow domain, which are separated by a hinge. Both proteins show all biochemical activities characteristic for HP1 proteins, such as homo- and heterodimerisation in vitro and in vivo, and DNA binding activtity. HcpA furthermore seems to bind to K9-methylated histone H3 in vitro. The proteins thus appear to be structurally and functionally conserved in Dictyostelium. The proteins display largely identical subnuclear distribution in several minor foci and concentration in one major cluster at the nuclear periphery. The localisation of this cluster adjacent to the nucleus-associated centrosome and its mitotic behaviour strongly suggest that it represents centromeric heterochromatin. Furthermore, it is characterised by histone H3 lysine-9 dimethylation (H3K9me2), which is another hallmark of Dictyostelium heterochromatin. Therefore, one important aspect of the work was to characterise the so-far largely unknown structural organisation of centromeric heterochromatin. The Dictyostelium homologue of inner centromere protein INCENP (DdINCENP), co-localized with both HcpA and H3K9me2 during metaphase, providing further evidence that H3K9me2 and HcpA/B localisation represent centromeric heterochromatin. Chromatin immunoprecipitation (ChIP) showed that two types of high-copy number retrotransposons (DIRS-1 and skipper), which form large irregular arrays at the chromosome ends, which are thought to contain the Dictyostelium centromeres, are characterised by H3K9me2. Neither overexpression of full-length HcpA or HcpB, nor deletion of single Hcp isoforms resulted in changes in retrotransposon transcript levels. However, overexpression of a C-terminally truncated HcpA protein, assumed to display a dominant negative effect, lead to an increase in skipper retrotransposon transcript levels. Furthermore, overexpression of this protein lead to severe growth defects in axenic suspension culture and reduced cell viability. In order to elucidate the proteins functions in centromeric heterochromatin formation, gene knock-outs for both hcpA and hcpB were generated. Both genes could be successfully targeted and disrupted by homologous recombination. Surprisingly, the degree of functional redundancy of the two isoforms was, although not unexpected, very high. Both single knock-out mutants did not show any obvious phenotypes under standard laboratory conditions and only deletion of hcpA resulted in subtle growth phenotypes when grown at low temperature. All attempts to generate a double null mutant failed. However, both endogenous genes could be disrupted in cells in which a rescue construct that ectopically expressed one of the isoforms either with N-terminal 6xHis- or GFP-tag had been introduced. The data imply that the presence of at least one Hcp isoform is essential in Dictyostelium. The lethality of the hcpA/hcpB double mutant thus greatly hampered functional analysis of the two genes. However, the experiment provided genetic evidence that the GFP-HcpA fusion protein, because of its ability to compensate the loss of the endogenous HcpA protein, was a functional protein. The proteins displayed quantitative differences in dimerisation behaviour, which are conferred by the slightly different hinge and chromo shadow domains at the C-termini. Dimerisation preferences in increasing order were HcpA-HcpA << HcpA-HcpB << HcpB-HcpB. Overexpression of GFP-HcpA or a chimeric protein containing the HcpA C-terminus (GFP-HcpBNAC), but not overexpression of GFP-HcpB or GFP-HcpANBC, lead to increased frequencies of anaphase bridges in late mitotic cells, which are thought to be caused by telomere-telomere fusions. Chromatin targeting of the two proteins is achieved by at least two distinct mechanisms. The N-terminal chromo domain and hinge of the proteins are required for targeting to centromeric heterochromatin, while the C-terminal portion encoding the CSD is required for targeting to several other chromatin regions at the nuclear periphery that are characterised by H3K9me2. Targeting to centromeric heterochromatin likely involves direct binding to DNA. The Dictyostelium genome encodes for all subunits of the origin recognition complex (ORC), which is a possible upstream component of HP1 targeting to chromatin. Overexpression of GFP-tagged OrcB, the Dictyostelium Orc2 homologue, showed a distinct nuclear localisation that partially overlapped with the HcpA distribution. Furthermore, GFP-OrcB localized to the centrosome during the entire cell cycle, indicating an involvement in centrosome function. DnmA is the sole DNA methyltransferase in Dictyostelium required for all DNA(cytosine-)methylation. To test for its in vivo activity, two different cell lines were established that ectopically expressed DnmA-myc or DnmA-GFP. It was assumed that overexpression of these proteins might cause an increase in the 5-methyl-cytosine(5-mC)-levels in the genomic DNA due to genomic hypermethylation. Although DnmA-GFP showed preferential localisation in the nucleus, no changes in the 5-mC-levels in the genomic DNA could be detected by capillary electrophoresis.

Autonomes Performance-Management in dienstorientierten Architekturen

Die Bedeutung des Dienstgüte-Managements (SLM) im Bereich von Unternehmensanwendungen steigt mit der zunehmenden Kritikalität von IT-gestützten Prozessen für den Erfolg einzelner Unternehmen. Traditionell werden zur Implementierung eines wirksamen SLMs Monitoringprozesse in hierarchischen Managementumgebungen etabliert, die einen Administrator bei der notwendigen Rekonfiguration von Systemen unterstützen. Auf aktuelle, hochdynamische Softwarearchitekturen sind diese hierarchischen Ansätze jedoch nur sehr eingeschränkt anwendbar. Ein Beispiel dafür sind dienstorientierte Architekturen (SOA), bei denen die Geschäftsfunktionalität durch das Zusammenspiel einzelner, voneinander unabhängiger Dienste auf Basis deskriptiver Workflow-Beschreibungen modelliert wird. Dadurch ergibt sich eine hohe Laufzeitdynamik der gesamten Architektur. Für das SLM ist insbesondere die dezentrale Struktur einer SOA mit unterschiedlichen administrativen Zuständigkeiten für einzelne Teilsysteme problematisch, da regelnde Eingriffe zum einen durch die Kapselung der Implementierung einzelner Dienste und zum anderen durch das Fehlen einer zentralen Kontrollinstanz nur sehr eingeschränkt möglich sind. Die vorliegende Arbeit definiert die Architektur eines SLM-Systems für SOA-Umgebungen, in dem autonome Management-Komponenten kooperieren, um übergeordnete Dienstgüteziele zu erfüllen: Mithilfe von Selbst-Management-Technologien wird zunächst eine Automatisierung des Dienstgüte-Managements auf Ebene einzelner Dienste erreicht. Die autonomen Management-Komponenten dieser Dienste können dann mithilfe von Selbstorganisationsmechanismen übergreifende Ziele zur Optimierung von Dienstgüteverhalten und Ressourcennutzung verfolgen. Für das SLM auf Ebene von SOA Workflows müssen temporär dienstübergreifende Kooperationen zur Erfüllung von Dienstgüteanforderungen etabliert werden, die sich damit auch über mehrere administrative Domänen erstrecken können. Eine solche zeitlich begrenzte Kooperation autonomer Teilsysteme kann sinnvoll nur dezentral erfolgen, da die jeweiligen Kooperationspartner im Vorfeld nicht bekannt sind und – je nach Lebensdauer einzelner Workflows – zur Laufzeit beteiligte Komponenten ausgetauscht werden können. In der Arbeit wird ein Verfahren zur Koordination autonomer Management-Komponenten mit dem Ziel der Optimierung von Antwortzeiten auf Workflow-Ebene entwickelt: Management-Komponenten können durch Übertragung von Antwortzeitanteilen untereinander ihre individuellen Ziele straffen oder lockern, ohne dass das Gesamtantwortzeitziel dadurch verändert wird. Die Übertragung von Antwortzeitanteilen wird mithilfe eines Auktionsverfahrens realisiert. Technische Grundlage der Kooperation bildet ein Gruppenkommunikationsmechanismus. Weiterhin werden in Bezug auf die Nutzung geteilter, virtualisierter Ressourcen konkurrierende Dienste entsprechend geschäftlicher Ziele priorisiert. Im Rahmen der praktischen Umsetzung wird die Realisierung zentraler Architekturelemente und der entwickelten Verfahren zur Selbstorganisation beispielhaft für das SLM konkreter Komponenten vorgestellt. Zur Untersuchung der Management-Kooperation in größeren Szenarien wird ein hybrider Simulationsansatz verwendet. Im Rahmen der Evaluation werden Untersuchungen zur Skalierbarkeit des Ansatzes durchgeführt. Schwerpunkt ist hierbei die Betrachtung eines Systems aus kooperierenden Management-Komponenten, insbesondere im Hinblick auf den Kommunikationsaufwand. Die Evaluation zeigt, dass ein dienstübergreifendes, autonomes Performance-Management in SOA-Umgebungen möglich ist. Die Ergebnisse legen nahe, dass der entwickelte Ansatz auch in großen Umgebungen erfolgreich angewendet werden kann.

Nuclear organisation and epigenetic regulation of gene expression in Dictyostelium discoideum

A series of vectors for the over-expression of tagged proteins in Dictyostelium were designed, constructed and tested. These vectors allow the addition of an N- or C-terminal tag (GFP, RFP, 3xFLAG, 3xHA, 6xMYC and TAP) with an optimized polylinker sequence and no additional amino acid residues at the N or C terminus. Different selectable markers (Blasticidin and gentamicin) are available as well as an extra chromosomal version; these allow copy number and thus expression level to be controlled, as well as allowing for more options with regard to complementation, co- and super-transformation. Finally, the vectors share standardized cloning sites, allowing a gene of interest to be easily transfered between the different versions of the vectors as experimental requirements evolve. The organisation and dynamics of the Dictyostelium nucleus during the cell cycle was investigated. The centromeric histone H3 (CenH3) variant serves to target the kinetochore to the centromeres and thus ensures correct chromosome segregation during mitosis and meiosis. A number of Dictyostelium histone H3-domain containing proteins as GFP-tagged fusions were expressed and it was found that one of them functions as CenH3 in this species. Like CenH3 from some other species, Dictyostelium CenH3 has an extended N-terminal domain with no similarity to any other known proteins. The targeting domain, comprising α-helix 2 and loop 1 of the histone fold is required for targeting CenH3 to centromeres. Compared to the targeting domain of other known and putative CenH3 species, Dictyostelium CenH3 has a shorter loop 1 region. The localisation of a variety of histone modifications and histone modifying enzymes was examined. Using fluorescence in situ hybridisation (FISH) and CenH3 chromatin-immunoprecipitation (ChIP) it was shown that the six telocentric centromeres contain all of the DIRS-1 and most of the DDT-A and skipper transposons. During interphase the centromeres remain attached to the centrosome resulting in a single CenH3 cluster which also contains the putative histone H3K9 methyltransferase SuvA, H3K9me3 and HP1 (heterochromatin protein 1). Except for the centromere cluster and a number of small foci at the nuclear periphery opposite the centromeres, the rest of the nucleus is largely devoid of transposons and heterochromatin associated histone modifications. At least some of the small foci correspond to the distal telomeres, suggesting that the chromosomes are organised in a Rabl-like manner. It was found that in contrast to metazoans, loading of CenH3 onto Dictyostelium centromeres occurs in late G2 phase. Transformation of Dictyostelium with vectors carrying the G418 resistance cassette typically results in the vector integrating into the genome in one or a few tandem arrays of approximately a hundred copies. In contrast, plasmids containing a Blasticidin resistance cassette integrate as single or a few copies. The behaviour of transgenes in the nucleus was examined by FISH, and it was found that low copy transgenes show apparently random distribution within the nucleus, while transgenes with more than approximately 10 copies cluster at or immediately adjacent to the centromeres in interphase cells regardless of the actual integration site along the chromosome. During mitosis the transgenes show centromere-like behaviour, and ChIP experiments show that transgenes contain the heterochromatin marker H3K9me2 and the centromeric histone variant H3v1. This clustering, and centromere-like behaviour was not observed on extrachromosomal transgenes, nor on a line where the transgene had integrated into the extrachromosomal rDNA palindrome. This suggests that it is the repetitive nature of the transgenes that causes the centromere-like behaviour. A Dictyostelium homolog of DET1, a protein largely restricted to multicellular eukaryotes where it has a role in developmental regulation was identified. As in other species Dictyostelium DET1 is nuclear localised. In ChIP experiments DET1 was found to bind the promoters of a number of developmentally regulated loci. In contrast to other species where it is an essential protein, loss of DET1 is not lethal in Dictyostelium, although viability is greatly reduced. Loss of DET1 results in delayed and abnormal development with enlarged aggregation territories. Mutant slugs displayed apparent cell type patterning with a bias towards pre-stalk cell types.

20. Theorietag der GI-Fachgruppe "Automaten und Formale Sprachen''

Die Fachgruppe AFS (früher Fachgruppe 0.1.5) der Gesellschaft für Informatik veranstaltet seit 1991 einmal im Jahr ein Treffen der Fachgruppe im Rahmen eines Theorietags, der traditionell eineinhalb Tage dauert. Seit dem Jahr 1996 wird dem eigentlichen Theorietag noch ein eintägiger Workshop zu speziellen Themen der theoretischen Informatik vorangestellt. In diesem Jahr wurde der Theorietag vom Fachgebiet "Theoretische Informatik" des Fachbereichs Elektrotechnik/Informatik der Universität Kassel organisiert. Er fand vom 29.9. bis 1.10.2010 in Baunatal bei Kassel statt. Dabei stand der begleitende Workshop unter dem allgemeinen Thema "Ausgewählte Themen der Theoretischen Informatik". Als Vortragende für diesen Workshop konnten Carsten Damm (Göttingen), Markus Holzer (Giessen), Peter Leupold (Kassel), Martin Plátek (Prag) und Heribert Vollmer (Hannover) gewonnen werden. Das Programm des eigentlichen Theorietags bestand aus 20 Vorträgen sowie der Sitzung der Fachgruppe AFS. In diesem Band finden sich die Zusammenfassungen aller Vorträge sowohl des Workshops als auch des Theorietags. Desweiteren enthält er das Programm und die Liste aller Teilnehmer.