Zertifizierende verteilte Algorithmen

Eine Herausforderung der Softwareentwicklung ist, die Korrektheit einer Software sicherzustellen. Testen bietet es keine mathematische Korrektheit. Formale Verifikation ist jedoch oft zu aufwändig. Laufzeitverifikation steht zwischen den beiden Methoden. Laufzeitverifikation beantwortet die Frage, ob ein Eingabe-Ausgabe-Paar korrekt ist. Ein zertifizierender Algorithmus überzeugt seinen Nutzer durch ein Korrektheitsargument zur Laufzeit. Dafür berechnet ein zertifizierender Algorithmus für eine Eingabe zusätzlich zur Ausgabe noch einen Zeugen – ein Korrektheitsargument. Jeder zertifizierende Algorithmus besitzt ein Zeugenprädikat: Ist dieses erfüllt für eine Eingabe, eine Ausgabe und einen Zeugen, so ist das Eingabe-Ausgabe-Paar korrekt. Ein simpler Algorithmus, der das Zeugenprädikat für den Nutzer entscheidet, ist ein Checker. Die Korrektheit des Checkers ist folglich notwendig für den Ansatz und die formale Instanzverifikation, bei der wir Checker verifizieren und einen maschinen-geprüften Beweis für die Korrektheit eines Eingabe-Ausgabe-Paars zur Laufzeit gewinnen. Zertifizierende sequentielle Algorithmen sind gut untersucht. Verteilte Algorithmen, die auf verteilten Systemen laufen, unterscheiden sich grundlegend von sequentiellen Algorithmen: die Ausgabe ist über das System verteilt oder der Algorithmus läuft fortwährend. Wir untersuchen zertifizierende verteilte Algorithmen. Unsere Forschungsfrage ist: Wie können wir das Konzept zertifizierender sequentieller Algorithmen so auf verteilte Algorithmen übertragen, dass wir einerseits nah am ursprünglichen Konzept bleiben und andererseits die Gegebenheiten verteilter Systeme berücksichtigen? Wir stellen eine Methode der Übertragung vor. Die beiden Ziele abwägend entwickeln wir eine Klasse zertifizierender verteilter Algorithmen, die verteilte Zeugen berechnen und verteilte Checker besitzen. Wir präsentieren Fallstudien, Entwurfsmuster und ein Framework zur formalen Instanzverifikation.A major problem in software engineering is to ensure the correctness of software. Testing offers no mathematical correctness. Formal verification is often too costly. Runtime verification stands between the two methods. Runtime verification answers the question whether an input-output pair is correct. A certifying algorithm convinces its user at runtime by offering a correctness argument. For each input, a certifying algorithm computes an output and additionally a witness. Each certifying algorithm has a witness predicate – a predicate with the property: being satisfied for an input, output and witness implies the input-output pair is correct. A simple algorithm deciding the witness predicate for the user is a checker. Hence, the checker’s correctness is crucial to the approach and motivates formal instance verification where we verify checkers and obtain machine-checked proofs for the correctness of an input-output pair at runtime. Certifying sequential algorithms are well-established. Distributed algorithms, designed to run on distributed systems, behave fundamentally different from sequential algorithms: their output is distributed over the system or they even run continuously. We investigate certifying distributed algorithms. Our research question is: How can we transfer the concept of certifying sequential algorithms to distributed algorithms such that we are in line with the original concept but also adapt to the conditions of distributed systems? In this thesis, we present a method to transfer the concept: Weighing up both sometimes conflicting goals, we develop a class of certifying distributed algorithms that compute distributed witnesses and have distributed checkers. We offer case studies, design patterns and a framework for formal instance verification. Additionally, we investigate other methods to transfer the concept of certifying algorithms to distributed algorithms

Jahresbericht 2010 zur kooperativen DV-Versorgung

:VORWORT 9 ÜBERSICHT DER INSERENTEN 10 TEIL I ZUR ARBEIT DER DV-KOMMISSION 15 MITGLIEDER DER DV-KOMMISSION 15 ZUR ARBEIT DES IT-LENKUNGSAUSSCHUSSES 17 ZUR ARBEIT DES WISSENSCHAFTLICHEN BEIRATES DES ZIH 17 TEIL II 1 DAS ZENTRUM FÜR INFORMATIONSDIENSTE UND HOCHLEISTUNGSRECHNEN (ZIH) 21 1.1 AUFGABEN 21 1.2 ZAHLEN UND FAKTEN (REPRÄSENTATIVE AUSWAHL) 21 1.3 HAUSHALT 22 1.4 STRUKTUR / PERSONAL 23 1.5 STANDORT 24 1.6 GREMIENARBEIT 25 2 KOMMUNIKATIONSINFRASTRUKTUR 27 2.1 NUTZUNGSÜBERSICHT NETZDIENSTE 27 2.1.1 WiN-IP-Verkehr 27 2.2 NETZWERKINFRASTRUKTUR 27 2.2.1 Allgemeine Versorgungsstruktur 27 2.2.2 Netzebenen 27 2.2.3 Backbone und lokale Vernetzung 28 2.2.4 Druck-Kopierer-Netz 33 2.2.5 WLAN 33 2.2.6 Datennetz zwischen den Universitätsstandorten und Außenanbindung 33 2.2.7 Vertrag „Kommunikationsverbindungen der Sächsischen Hochschulen“ 37 2.2.8 Datennetz zu den Wohnheimstandorten 39 2.2.9 Datennetz der Fakultät Informatik 40 2.3 KOMMUNIKATIONS- UND INFORMATIONSDIENSTE 40 2.3.1 Electronic-Mail 40 2.3.1.1 Einheitliche E-Mail-Adressen an der TU Dresden 41 2.3.1.2 Struktur- bzw. funktionsbezogene E-Mail-Adressen an der TU Dresden 42 2.3.1.3 ZIH verwaltete Nutzer-Mailboxen 42 2.3.1.4 Web-Mail 42 2.3.1.5 Mailinglisten-Server 43 2.3.2 Authentifizierungs- und Autorisierungs-Infrastruktur (AAI) 43 2.3.2.1 AAI für das Bildungsportal Sachsen 44 2.3.2.2 DFN PKI 44 2.3.3 Wählzugänge 44 2.3.4 Time-Service 44 2.3.5 Voice over Internet Protocol (VoIP) 44 3 ZENTRALE DIENSTANGEBOTE UND SERVER 47 3.1 BENUTZERBERATUNG (BB) 47 3.2 TROUBLE TICKET SYSTEM (OTRS) 48 3.3 NUTZERMANAGEMENT 49 3.4 LOGIN-SERVICE 50 3.5 BEREITSTELLUNG VON VIRTUELLEN SERVERN 51 3.6 STORAGE-MANAGEMENT 51 3.6.1 Backup-Service 51 3.6.2 File-Service und Speichersysteme 53 3.7 LIZENZ-SERVICE 55 3.8 PERIPHERIE-SERVICE 55 3.9 PC-POOLS 55 3.10 SECURITY 56 3.10.1 Informationssicherheit 56 3.10.2 Frühwarnsystem (FWS) im Datennetz der TU Dresden 57 3.10.3 VPN 57 3.10.4 Konzept der zentral bereitgestellten virtuellen Firewalls 57 3.10.5 Netzkonzept für Arbeitsplatzrechner mit dynamischer Portzuordnung nach IEEE 802.1x (DyPort) 58 4 SERVICELEISTUNGEN FÜR DEZENTRALE DV-SYSTEME 59 4.1 ALLGEMEINES 59 4.2 PC-SUPPORT 59 4.2.1 Investberatung 59 4.2.2 Implementierung 59 4.2.3 Instandhaltung 59 4.3 MICROSOFT WINDOWS-SUPPORT 60 4.4 ZENTRALE SOFTWARE-BESCHAFFUNG FÜR DIE TU DRESDEN 64 4.4.1 Arbeitsgruppe Software im ZKI 64 4.4.2 Strategie des Software-Einsatzes an der TU Dresden 64 4.4.3 Software-Beschaffung 64 4.4.4 Nutzerberatungen 65 4.4.5 Software-Präsentationen 66 5 HOCHLEISTUNGSRECHNEN 67 5.1 HOCHLEISTUNGSRECHNER/SPEICHERKOMPLEX (HRSK) 67 5.1.1 HRSK Core-Router 68 5.1.2 HRSK SGI Altix 4700 68 5.1.3 HRSK PetaByte-Bandarchiv 70 5.1.4 HRSK Linux Networx PC-Farm 71 5.1.5 Globale Home-File-Systeme für HRSK 73 5.1.5 Linux Networx PC-Cluster (Phobos) 73 5.2 NUTZUNGSÜBERSICHT DER HPC-SERVER 74 5.3 SPEZIALRESSOURCEN 75 5.3.1 NEC SX-6 75 5.3.2 Microsoft HPC-System 75 5.3.3 Anwendercluster 76 5.4 GRID-RESSOURCEN 77 5.5 ANWENDUNGSSOFTWARE 79 5.6 VISUALISIERUNG 80 5.7 PARALLELE PROGRAMMIERWERKZEUGE 81 6 WISSENSCHAFTLICHE PROJEKTE, KOOPERATIONEN 83 6.1 „KOMPETENZZENTRUM FÜR VIDEOKONFERENZDIENSTE“ (VCCIV) 83 6.1.1 Überblick 83 6.1.2 Videokonferenzräume 83 6.1.3 Aufgaben und Entwicklungsarbeiten 83 6.1.4 Weitere Aktivitäten 85 6.1.5 Der Dienst „DFNVideoConference“ - Mehrpunktkonferenzen im G-WiN 86 6.1.6 Ausblick 87 6.2 100-GIGABIT-TESTBED DRESDEN/FREIBERG 87 6.2.1 Überblick 87 6.2.2 Motivation 88 6.2.3 Setup und technische Umsetzung 88 6.2.4 Teilprojekte des ZIH 89 6.2.5 Fazit und Ausblick 90 6.3 D-GRID 90 6.3.1 D-Grid Integrationsprojekt 2 90 6.3.2 D-Grid Scheduler Interoperalität (DGSI) 91 6.3.3 MoSGrid − Molecular Simulation Grid 91 6.3.4 WisNetGrid −Wissensnetzwerke im Grid 92 6.4 BIOLOGIE 93 6.4.1 Entwicklung und Analyse von stochastischen interagierenden Vielteilchen-Modellen für biologische Zellinteraktion 93 6.4.2 EndoSys − Modellierung der Rolle von Rab-Domänen bei Endozytose und Signalverarbeitung in Hepatocyten 93 6.4.3 SpaceSys − Räumlich-zeitliche Dynamik in der Systembiologie 94 6.4.4 Biologistik − Von bio-inspirierter Logistik zum logistik-inspirierten Bio-Nano-Engineering 94 6.4.5 ZebraSim − Modellierung und Simulation der Muskelgewebsbildung bei Zebrafischen 94 6.4.6 SFB Transregio 79 - Werkstoffentwicklungen für die Hartgeweberegeneration im gesunden und systemisch erkrankten Knochen 95 6.4.7 Virtuelle Leber - Raumzeitlich mathematische Modelle zur Untersuchung der Hepatozyten-Polarität und ihre Rolle in der Lebergewebeentwicklung 95 6.4.8 GrowReg - Wachstumsregulation und Strukturbildung in der Regeneration 96 6.5 PERFORMANCE EVALUIERUNG 96 6.5.1 SFB 609 − Elektromagnetische Strömungsbeeinflussung in Metallurgie, Kristallzüchtung und Elektrochemie −Teilprojekt A1: Numerische Modellierung turbulenter MFD-Strömungen 96 6.5.2 BenchIT − Performance Measurement for Scientific Applications 97 6.5.3 PARMA − Parallel Programming for Multi-core Architectures - ParMA 98 6.5.4 VI-HPS − Virtuelles Institut - HPS 98 6.5.5 Paralleles Kopplungs-Framework und moderne Zeitintegrationsverfahren für detaillierte Wolkenprozesse in atmosphärischen Modellen 99 6.5.6 VEKTRA − Virtuelle Entwicklung von Keramik- und Kompositwerkstoffen mit maßgeschneiderten Transporteigenschaften 99 6.5.7 Cool Computing −Technologien für Energieeffiziente Computing-Plattformen (BMBF-Spitzencluster Cool Silicon) 100 6.5.8 eeClust - Energieeffizientes Cluster-Computing 100 6.5.9 HI-CFD − Hocheffiziente Implementierung von CFD-Codes für HPC-Many-Core-Architekturen 100 6.5.10 SILC − Scalierbare Infrastruktur zur automatischen Leistungsanalyse paralleler Codes 101 6.5.11 TIMaCS − Tools for Intelligent System Mangement of Very Large Computing Systems 101 6.5.12 Verbundprojekt: EMI - European Middleware Initiative 102 6.5.13 H4H – Optimise HPC Applications on Heterogeneous Architectures 102 6.6 KOOPERATIONEN 102 7 DOIT - INTEGRIERTES INFORMATIONSMANAGEMENT 105 7.1 VISION DER TU DRESDEN 105 7.2 ZIELE DER PROJEKTGRUPPE 105 7.2.1 Analyse der bestehenden IT-Unterstützung der Organisation und ihrer Prozesse 105 7.2.2 Erarbeitung von Verbesserungsvorschlägen 105 7.2.3 Herbeiführung strategischer Entscheidungen 106 7.2.4 Planung und Durchführung von Teilprojekten 106 7.2.5 Markt- und Anbieteranalyse 106 7.2.6 Austausch mit anderen Hochschulen 106 7.3 ORGANISATORISCHE EINBINDUNG DER DOIT-GRUPPE 106 7.4 IDENTITÄTSMANAGEMENT 107 7.5 KONTAKT 108 8 AUSBILDUNGSBETRIEB UND PRAKTIKA 109 8.1 AUSBILDUNG ZUM FACHINFORMATIKER / FACHRICHTUNG ANWENDUNGSENTWICKLUNG 109 8.2 PRAKTIKA 110 9 AUS- UND WEITERBILDUNGSVERANSTALTUNGEN 111 10 VERANSTALTUNGEN 113 11 PUBLIKATIONEN 115 TEIL III BERICHTE BIOTECHNOLOGISCHES ZENTRUM (BIOTEC) 121 BOTANISCHER GARTEN 125 LEHRZENTRUM SPRACHEN UND KULTUREN (LSK) 127 MEDIENZENTRUM (MZ) 133 UNIVERSITÄTSARCHIV (UA) 139 UNIVERSITÄTSSPORTZENTRUM (USZ) 141 ZENTRALE UNIVERSITÄTSVERWALTUNG 143 MEDIZINISCHES RECHENZENTRUM DES UNIVERSITÄTSKLINIKUMS CARL GUSTAV CARUS 145 SÄCHSISCHE LANDESBIBLIOTHEK – STAATS- UND UNIVERSITÄTSBIBLIOTHEK 14

Designing Cross-Company Business Intelligence Networks

Business Intelligence (BI) ist der allgemein akzeptierte Begriff für Methoden, Konzepte und Werkzeuge zur Sammlung, Aufbereitung, Speicherung, Verteilung und Analyse von Daten für Management- und Geschäftsentscheidungen. Obwohl unternehmensübergreifende Kooperation in den vergangenen Jahrzehnten stets an Einfluss gewonnen hat, existieren nur wenige Forschungsergebnisse im Bereich unternehmensübergreifender BI. Die vorliegende Arbeit stellt eine Arbeitsdefinition des Begriffs Cross-Company BI (CCBI) vor und grenzt diesen von gemeinschaftlicher Entscheidungsfindung ab. Auf Basis eines Referenzmodells, das existierende Arbeiten und Ansätze verwandter Forschungsbereiche berücksichtigt, werden umfangreiche Simulationen und Parametertests unternehmensübergreifender BI-Netzwerke durchgeführt. Es wird gezeigt, dass eine Peer-To-Peer-basierte Gestaltung der Netzwerke leistungsfähig und kompetitiv zu existierenden zentral-fokussierten Ansätzen ist. Zur Quantifizierung der Beobachtungen werden Messgrößen geprüft, die sich aus existierenden Konzepten zur Schemaüberführung multidimensionaler Daten sowie Überlegungen zur Daten- und Informationsqualität ableiten oder entwickeln lassen.Business Intelligence (BI) is a well-established term for methods, concepts and tools to retrieve, store, deliver and analyze data for management and business purposes. Although collaboration across company borders has substantially increased over the past decades, little research has been conducted specifically on Cross-Company BI (CCBI). In this thesis, a working definition and distinction from general collaborative decision making is proposed. Based on a reference model that takes existing research and related approaches of adjacent fields into account a peer-to-peer network design is created. With an extensive simulation and parameter testing it is shown that the design proves valuable and competitive to centralized approaches and that obtaining a critical mass of participants leads to improved usefulness of the network. To quantify the observations, appropriate quality measures rigorously derived from respected concepts on data and information quality and multidimensional data models are introduced and validated

Ein neues Konzept für das bedarfsgerechte Informations- und Wissensmanagement in Unternehmenskooperationen der Multimaterial-Mikrosystemtechnik

In der Arbeit wird ein Konzept zur Kooperation mittelständischer Unternehmen der Mikrosystemtechnik vorgestellt, das neben der zeitlichen Entwicklung der Kooperationsintensität auch ein zeitabhängiges, die Kooperations-Kernprozesse unterstützendes Informations- und Wissensmanagement adressiert. Die Arbeit identifiziert drei Entwicklungsphasen, insbesondere unter dem Aspekt der verteilten Produktentwicklung. Für die Kooperationsprozesse werden bedarfsgerechte Softwarewerkzeuge vorgestellt

Vernetzt planen und produzieren VPP 2006 : Tagungsband Chemnitz 14. und 15. September 2006: Vernetzt planen und produzieren VPP 2006 : Tagungsband Chemnitz14. und 15. September 2006

Vor dem Hintergrund sich immer schneller und stärker wandelnder Marktbedingungen gelten Netzwerke als die Unternehmensform des 21. Jahrhunderts. Sie erlauben insbesondere kleinen und mittelständischen Unternehmen die Erhaltung und Erhöhung ihrer Wettbewerbsfähigkeit durch gezielte Kooperation und Bündelung ihrer Kompetenzen. Unternehmen benötigen dafür entsprechende Methoden und Instrumentarien. Diese stehen neben Theorien und Modellen im Mittelpunkt der wissenschaftlichen Arbeiten des Sonderforschungsbereiches (SFB) 457 „Hierarchielose regionale Produktionsnetze“ an der Technischen Universität Chemnitz. Zum nunmehr fünften Male findet am 14. und 15. September 2006 die Fachtagung „Vernetzt planen und produzieren – VPP 2006“ statt. Es werden auch in diesem Jahr die aktuellen Ergebnisse des SFB 457, weiterer nationaler und internationaler Forschungsarbeiten und -projekte auf dem Gebiet der Netzwerkforschung sowie Erkenntnisse und Erfahrungen der praktischen Umsetzung durch die Industrie von Wissenschaftlern und Praktikern vorgestellt und diskutiert. Als Referenten der Plenarveranstaltung werden Herr Prof. Kuhn von der Universität Dortmund, Herr Prof. Westkämper von der Universität Stuttgart, Herr Prof. Herzog von der Universität Bremen, Herr Prof. Nyhuis von der Universität Hannover und Herr Prof. Smirnov von der Russischen Akademie der Wissenschaften Sankt Petersburg in ihren Beiträgen verschiedene Aspekte von Netzwerken thematisieren. Neben den schon traditionellen Workshops zu verschiedenen Themenbereichen des Bildens und Betreibens von Netzwerken wird in diesem Jahr ein zusätzlicher Workshop zum Thema „Netzwerke und Cluster in der brasilianisch-deutschen Zusammenarbeit“ stattfinden. Dieser ist Teil des Besuches einer Delegation aus Vertretern der Regierung und Wirtschaft des brasilianischen Bundesstaates Bahia, die gemeinsam mit Vertretern des Bundesministeriums für Bildung und Forschung sowie des Sächsischen Ministeriums für Wirtschaft und Arbeit an der Tagung teilnehmen werden, um neue Kontakte zu schließen und weitere Kooperationsvorhaben zu initiieren. Die Tagung „Vernetzt planen und produzieren – VPP 2006“ ist gleichzeitig Abschlusskolloquium des SFB 457, welcher nach sieben Jahren intensiver und erfolgreicher Netzforschung dieses Jahr endet. Maßgeblichen Anteil am SFB 457 hatten die ehemaligen Sprecher Prof. Siegfried Wirth und Prof. Hartmut Enderlein

GeNeMe '05 - Virtuelle Organisation und Neue Medien 2005: Workshop GeNeMe 2005 Gemeinschaften in Neuen Medien: TU Dresden, 6./ 7.10.2005

Nunmehr zum achten Male liegt ein Sammelband zum Workshop "GeNeMe – Gemeinschaften in Neuen Medien“ vor, der Beiträge zu folgenden Themenfeldern enthält: • Konzepte für GeNeMe (Geschäfts-, Betriebs- und Architektur-Modelle), • IT-Unterstützung (Portale, Plattformen, Engines) von GeNeMe, • E-Learning in GeNeMe, • Wissensmanagement in GeNeMe, • Anwendungen und Praxisbeispiele von GeNeMe und • Soziologische, psychologische, personalwirtschaftliche, didaktische und rechtliche Aspekte von GeNeMe. Sie wurden aus einem breiten Angebot interessanter und qualitativ hochwertiger Beiträge zu dieser Tagung ausgewählt. Das Interesse am Thema GeNeMe (Virtuelle Unternehmen, Virtuelle Gemeinschaften etc.) und das Diskussionsangebot von Ergebnissen zu diesem Thema sind im Lichte dieser Tagung also ungebrochen und weiterhin sehr groß. Die thematischen Schwerpunkte entsprechen aktuellen Arbeiten und Fragestellungen in der Forschung wie auch der Praxis. Dabei ist die explizite Diskussion von Geschäfts- und Betreibermodellen für GeNeMe, insbesondere bei der aktuellen gesamtwirtschaftlichen Lage, zeitgemäß und essentiell für ein Bestehen der Konzepte und Anwendungen für und in GeNeMe. In zunehmendem Maße rücken weiterhin auch Fragen nach den Erfolgsfaktoren und deren Wechselbeziehungen zu soziologischen, psychologischen, personalwirtschaftlichen, didaktischen und rechtlichen Aspekten in den Mittelpunkt. Deshalb wurde hierzu ein entsprechender Schwerpunkt in der Tagung beibehalten. Konzepte und Anwendungen für GeNeMe bilden entsprechend der Intention der Tagung auch weiterhin den traditionellen Kern und werden dem Anspruch auch in diesem Jahr gerecht. Die Tagung richtet sich in gleichem Maße an Wissenschaftler wie auch Praktiker, die sich über den aktuellen Stand der Arbeiten auf dem Gebiet der GeNeMe informieren möchten.:INNOVATIONSFÖRDERLICHES KOOPERIEREN – NUR: WIE? 1 A. KONZEPTE 11 A.1 INNOVATIVE MODELLE UND METHODEN FÜR DEN AUFBAU UND DAS BETREIBEN VON PRODUKTIONSNETZWERKEN, DIE AUF KLEIN- UND KLEINSTUNTERNEHMEN BASIEREN 11 A.2 CUSTOMER INTEGRATION UND CUSTOMER GOVERNANCE – NEUE KONZEPTE FÜR DIE ANBIETER-KUNDEN-BEZIEHUNG IM B2C-EBUSINESS 25 A.3 RAHMEN FÜR EINE GOVERNANCE IN OPEN-SOURCE-PROJEKTEN 39 A.4 „VIRTUELLER LOTSE: WEGWEISER ERFOLGREICHER KOMPETENZENTWICKLUNG IN VIRTUELLEN TEAMS“ 51 A.5 SERVICEORIENTIERTE GESTALTUNG MOBILER VERWALTUNGSPROZESSE 65 A.6 MOBILE GEMEINSCHAFTEN IM E-GOVERNMENT: BÜRGERVERWALTUNGSPARTNERSCHAFT ALS MITTEL ZUR KOSTENEFFIZIENZ UND EFFIZIENZ BEI ÖFFENTLICHEN AUFGABEN AM BEISPIEL DER VERKEHRSKONTROLLE 77 A.7 COACHING ÜBER DAS INTERNET - BEDARFSGERECHTE ENTWICKLUNG UND EVALUATION DER WEBBASIERTEN PROJEKTCOACHING-PLATTFORM WEBCO@CH 91 B. IT-STÜTZUNG 105 B.1 COMMUNITY-MANAGEMENT IN UNTERNEHMEN MIT WIKI- UND WEBLOGTECHNOLOGIEN 105 B.2 WEB-BASIERTE GROUPWARE-ANWENDUNGEN FÜR DIE KOOPERATION IN VERTEILTEN PROJEKTTEAMS UND VIRTUELLEN UNTERNEHMEN 121 B.3 VERNETZUNG VIRTUELLER GEMEINSCHAFTEN MIT P2P-TECHNOLOGIEN 135 B.4 VU-GRID – INTEGRATIONSPLATTFORM FÜR VIRTUELLE UNTERNEHMEN 149 B.5 REQUIREMENTS ENGINEERING FÜR COMMUNITIES OF PRACTICE: AUFBAU DER REQMAN COMMUNITY 161 B.6 UNTERSTÜTZUNG SELBST VERWALTETER GRUPPENPROZESSE IN VIRTUELLEN GEMEINSCHAFTEN DURCH SKALIERBARE ARCHITEKTURKONZEPTE AM BEISPIEL DER SIFA-COMMUNITY 173 B.7 ADAPTIERBARE PERSPEKTIVE AUF VIRTUELLE GEMEINSCHAFTEN 185 C. ARBEIT IN VIRTUELLEN ORGANISATIONEN 197 C.1 TEAMS IN VIRTUELLEN UNTERNEHMEN - ZUSAMMENSTELLUNG, KOMPETENZEN, TECHNIK 197 C.2 BEDINGUNGEN EFFEKTIVER MITARBEITERFÜHRUNG IN VIRTUELLEN UNTERNEHMEN - ERGEBNISSE EINER EMPIRISCHEN STUDIE 211 C.3 COMMITMENT IN VIRTUELLEN TEAMS - GIBT ES DAS? 223 C.4 ADAPTIERBARE WEB-BASIERTE BEFRAGUNGEN ZUR MESSUNG VON ERFOLGSINDIKATOREN IN VIRTUELLEN UNTERNEHMEN 237 C.5 EVALUATION VON ONLINE-COMMUNITIES 251 C.6 DAS HANDLUNGSORGANISATIONSMODELL DER VIRTUELLVERGEGENSTÄNDLICHTEN UND SITUATIV-SZENISCH ANGELEGTEN HANDLUNGSZELLEN 263 C.7 BEWERTUNG UND GESTALTUNG VIRTUELLER ORGANISATIONEN ANHAND DES ORIENTIERUNGSMODELLS MIKROPOLIS 281 C.8 OPPORTUNISMUS UND INFORMATIONSVERHALTEN IN VIRTUELLEN UNTERNEHMEN 293 C.9 TECHNIKEN ZUR KONTEXTKONSTRUKTION FÜR VIRTUELLE GEMEINSCHAFTEN – ENTWICKLUNG EINES THEORETISCHEN BEZUGSRAHMENS UND DESSEN ANWENDUNG IN EINER MARKTSTUDIE 307 C.10 ERFOLGSFAKTOREN VIRTUELLER GEMEINSCHAFTEN IM GESUNDHEITSWESEN 319 C.11 EIN KENNZAHLENSYSTEM ZUR ERFOLGSMESSUNG IN VIRTUELLEN GEMEINSCHAFTEN 333 D. eLEARNING 347 D.1 KOOPERATIVE MEDIEN IN DER GRUPPENARBEIT AN HOCHSCHULEN: ERFAHRUNGEN MIT WEBLOGS 347 D.2 EINSATZ VON OPEN SOURCE IM ELEARNING: VOM „WILDWUCHS“ ZUR ERNSTHAFTEN ALTERNATIVE 361 D.3 KONFIGURIERBARE SOFTWAREKOMPONENTEN ZUR UNTERSTÜTZUNG DYNAMISCHER LERN- UND ARBEITSUMGEBUNGEN FÜR VIRTUELLE GEMEINSCHAFTEN 373 D.4 DER E-LEARNING REDAKTIONSLEITSTAND: ZENTRALE KOORDINATION VERTEILTER PRODUKTIONS- UND EINSATZPROZESSE IM E-LEARNING 385 D.5 INTEGRATION VON E-LEARNING SYSTEMEN UND GROUPWAREANWENDUNGEN AM BEISPIEL VON „GROUP-BASED MANAGEMENT TRAINING“ 399 D.6 ERFOLGSBEDINGUNGEN FÜR VIRTUELLE SELBSTORGANISIERTE LERNGEMEINSCHAFTEN 411 E. PRAXIS 423 E.1 ANFORDERUNGEN UND LÖSUNGEN FÜR DEN AUFBAU UND BETRIEB EINER AEROSPACE VIRTUAL COMPANY 423 E.2 FLUIDE ORGANISATION VON INFORMATIONSSYSTEMEN IN DER LOGISTIK AM BEISPIEL DER LUFTHANSA TECHNIK LOGISTIK GMBH 437 E.3 INTERNETPORTAL INTERREG LIFE – EIN PRAXIS- UND EVALUATIONSBERICHT ÜBER EIN INTERNETPORTAL FÜR UND MIT MENSCHEN MIT BEHINDERUNGEN 451 E.4 VIRTUELLES NETZWERKEN IM SPANNUNGSFELD SOZIALER UND ÖKONOMISCHER RATIONALITÄT 465 E.5 RECHTSBEZIEHUNGEN VON OPEN SOURCE ENTWICKLUNGSGEMEINSCHAFTEN 479 F. WISSENSMANAGEMENT 489 F.1 BUSINESS REPOSITORIES ZUR INFORMATIONELLEN UNTERSTÜTZUNG VIRTUELLER UNTERNEHMEN 489 F.2 KNOWLEDGE MANAGEMENT ALS DIENSTLEISTUNG IN EINEM VIRTUELLEN NETZWERK AUS DEZENTRAL ORGANISIERTER TECHNOLOGIETRANSFERSTELLEN UND WIRTSCHAFTSUNTERNEHMEN 499 F.3 HERAUSFORDERUNGEN UND ERFOLGSFAKTOREN FÜR DAS WISSENSMANAGEMENT IN VERTEILTEN, WISSENSINTENSIVEN UNTERNEHMENSNETZWERKEN – AUSGEWÄHLTE ERGEBNISSE EINER EXPLORATIVEN UMFRAGE 511 F.4 GETEILTES WISSEN UND RETRIEVAL: EIN PROZESSMODELL ZUR UNTERSTÜTZUNG KOLLABORATIVER SUCHPROZESSE 525 AUTORENVERZEICHNIS 53

Virtuelle Organisation und Neue Medien 2005. Workshop GeNeMe 2005, Gemeinschaften in Neuen Medien. TU Dresden, 6./ 7.10.2005

Nunmehr zum achten Male liegt ein Sammelband zum Workshop „GeNeMe – Gemeinschaften in Neuen Medien“ vor, der Beiträge zu folgenden Themenfeldern enthält: Konzepte für GeNeMe (Geschäfts-, Betriebs- und Architektur-Modelle); IT-Unterstützung (Portale, Plattformen, Engines) von GeNeMe; E-Learning in GeNeMe; Wissensmanagement in GeNeMe; Anwendungen und Praxisbeispiele von GeNeMe und Soziologische, psychologische, personalwirtschaftliche, didaktische und rechtliche Aspekte von GeNeMe. Die thematischen Schwerpunkte entsprechen aktuellen Arbeiten und Fragestellungen in der Forschung wie auch der Praxis. Dabei ist die explizite Diskussion von Geschäfts- und Betreibermodellen für GeNeMe, insbesondere bei der aktuellen gesamtwirtschaftlichen Lage, zeitgemäß und essentiell für ein Bestehen der Konzepte und Anwendungen für und in GeNeMe. In zunehmendem Maße rücken weiterhin auch Fragen nach den Erfolgsfaktoren und deren Wechselbeziehungen zu soziologischen, psychologischen, personalwirtschaftlichen, didaktischen und rechtlichen Aspekten in den Mittelpunkt. Deshalb wurde hierzu ein entsprechender Schwerpunkt in der Tagung beibehalten. Konzepte und Anwendungen für GeNeMe bilden entsprechend der Intention der Tagung auch weiterhin den traditionellen Kern und werden dem Anspruch auch in diesem Jahr gerecht. Die Tagung richtet sich in gleichem Maße an Wissenschaftler wie auch Praktiker, die sich über den aktuellen Stand der Arbeiten auf dem Gebiet der GeNeMe informieren möchten. (DIPF/Orig.