Realisierung von Softwareproduktlinien durch Komposition von Belangimplementierungen

Softwareproduktlinienentwicklung ist ein Ansatz zur systematischen Wiederverwendung von Softwareartefakten. In dieser Arbeit stellen wir ein Verfahren vor, welches es erlaubt, unterstützte Merkmale einer Produktlinie in Form voneinander abgegrenzter Belangimplementierungen zu spezifizieren und diese zu maßgeschneiderten Varianten der Produktlinie zu komponieren. Das Verfahren vereinigt hierzu Konzepte der mehrdimensionalen Belangtrennung, der generischen Programmierung sowie der Generierung

Parallele und kooperative Simulation für eingebettete Multiprozessorsysteme

Die Entwicklung von eingebetteten Systemen wird durch die stetig steigende Anzahl und Integrationsdichte neuer Funktionen in Kombination mit einem erhöhten Interaktionsgrad zunehmend zur Herausforderung. Vor diesem Hintergrund werden in dieser Arbeit Methoden zur SystemC-basierten parallelen Simulation von Multiprozessorsystemen auf Manycore Architekturen sowie zur Verbesserung der Interoperabilität zwischen heterogenen Simulationswerkzeugen entwickelt, experimentell untersucht und bewertet

Method and Technology for Model-based Test Automation of Context-sensitive Mobile Applications

Smartphone und Tablet Computer haben sich zu universalen Kommunikations- und Unterhaltungsplattformen entwickelt, die durch ständige Verfügbarkeit mobilen Internets die Verwendung mobiler, digitaler Dienste und Anwendungen immer mehr zur Normalität werden lassen und in alle Bereiche des Alltags vordringen. Die digitalen Marktplätze zum Vertrieb von Apps, sogenannten App Stores, sind Blockbuster-Märkte, in denen wenige erfolgreiche Produkte in kurzen Zeitintervallen den Großteil des Gesamtgewinns des Marktes erzielen. Durch dynamische, summative Bewertungssysteme in App Stores wird die Qualität einer App zu einem unmittelbaren Wert- und Aufwandstreiber. Die Qualität einer App steht in direktem Zusammenhang mit der Anzahl Downloads und somit mit dem wirtschaftlichen Erfolg. Mobile Geräte zeichnen sich gegenüber Desktop-Computern vorrangig dadurch aus, dass sie durch Sensoren in der Lage sind, Parameter ihrer Umgebung zu messen und diese Daten für Anwendungsinhalte aufzubereiten. Anwendungsfälle für solche Technologien sind beispielsweise ortsbasierte digitale Dienste, die Verwendung von Standortinformationen für Fahrzeug- oder Fußgängernavigation oder die Verwendung von Sensoren zur Interaktion mit einer Anwendung oder zur grafischen Aufbereitung in Augmented Reality-Anwendungen. Anwendungen, die Parameter ihrer Umgebung messen, aufbereiten und die Steuerung des Kontrollflusses einfließen lassen, werden als kontextsensitive Anwendungen bezeichnet. Kontextsensitivität hat prägenden Einfluss auf die fachliche und technische Gestaltung mobiler Anwendungen. Die fachliche Interpretation von Kontextparametern ist ein nicht-triviales Problem und erfordert eine sorgfältige Implementierung und gründliches Testen. Herausforderungen des Testens kontextsensitiver, mobiler Anwendungen sind Erstellung und Durchführung von Tests, die zum einen die zu testende Anwendung adäquat abdecken und zum anderen Testdaten bereitstellen und reproduzierbar in die zu testende Anwendung einspeisen. In dieser Dissertation wird eine Methode und eine Technologie vorgestellt, die wesentliche Aspekte und Tätigkeiten des Testens durch modellbasierte Automatisierung von menschlicher Arbeitskraft entkoppelt. Es wird eine Methode vorgestellt, die Tests für kontextsensitive Anwendungen aus UML-Aktivitätsdiagrammen generiert, die durch Verwendung eines UML-Profils zur Kontext- und Testmodellierung um Testdaten angereichert werden. Ein Automatisierungswerkzeug unterstützt die Testdurchführung durch reproduzierbare Simulation von Kontextparametern. Durch eine prototypische Implementierung der Generierung von funktionalen Akzeptanztests, der Testautomatisierung und Kontextsimulation wurde Machbarkeit des vorgestellten Ansatzes am Beispiel der mobilen Plattform Android praktisch nachgewiesen.Smartphones and tablet computers have evolved into universal communication and entertainment platforms. With the ubiquitous availability of mobile internet access, digital services and applications have become a commodity that permeates into all aspects of everyday life. The digital marketplaces for mobile app distribution, commonly referred to as App Stores, are blockbuster markets, where few extraordinarily successful apps generate the major share of the market's overall revenue in a short period of time. Through the implementation of dynamic, summative rating mechanisms in App Stores, app quality becomes a key value-driver of app monetarization, as app quality is directly associated with the number of app downloads, and hence with economic success. In contrast to desktop computers, mobile devices are uniquely characterized by a variety of sensors that measure environmental parameters and make them available as input to software. Potential uses of these technologies range from location-based digital services that use the user's location for vehicle or pedestrian navigation to augmented reality applications that use sensor information for user experience enhancement. Apps instrumenting physical and non-physical environmental parameters to control workflows or user interfaces are called context-aware applications. Context-awareness has a formative impact on the functional and technical design of mobile applications. The algorithmic interpretation of context data is a non-trivial problem that makes thorough implementation and careful testing mandatory to ensure adequate application quality. Major challenges of context-aware mobile application testing are test case creation and test execution. The impact of context-awareness on test case creation is the attainability of adequate test coverage, that in contrast to non-context-aware application extends beyond traditional input data. It requires the identification and characterization of context data sources and the provisioning of suitable, reproducible test data. This thesis addresses a method and technology to decouple test case creation and test execution from manual labor through the extensive use of model-driven automation technology. A method is presented that generates test cases for context-aware mobile applications from UML Activity Models by means of model transformation technology. A test execution framework facilitates the reproducible simulation of context data derived from an enriched system model. The approach is validated using a prototypical implementation of the test case generation algorithm. The simulation of context data during test execution ist validated using a modified implementation of the Android operation system

Communication Infrastructure for high-dynamic Parallel Kinematic Machines

Ziel dieser Arbeit ist die Konzipierung, Realisierung und Erprobung einer zentral organisierten Kommunikations-Infrastruktur zur Unterstützung von Steuerungssystemen aus dem Bereich hochdynamischer Roboteranwendungen. Dabei erfolgt die Integration aller an der Steuerung beteiligten Softwaremodule über eine einheitliche, modulare und echtzeitfähige C-Programmierschnittstelle unter dem Betriebssystem QNX Neutrino. Hintergrund dieser Arbeit ist der Sonderforschungsbereich (SFB) 562, in dem methoden- und komponentenbezogene Grundlagen zum Entwurf von Parallelrobotern erarbeitet werden. Der Einsatz von Parallelrobotern stellt dabei hohe Anforderungen an die Leistungsfähigkeit der verwendeten Robotersteuerung: Kinematisch gekoppelte Strukturen und die bei ihrer Bewegung zu berücksichtigenden Bewegungs- und Orientierungs-Singularitäten führen zu einer Steigerung des Umfangs und der Komplexität notwendiger Steuerungsfunktionalitäten; struktur- und gelenkintegrierte Sensoren erhöhen das notwendige Datenaufkommen bei dem Versuch, die kinematische Komplexität zu reduzieren; Synchronisationsanforderungen der gekoppelten Achsantriebe erfordern reaktionsschnelle Kommunikationsmechanismen; zusätzliche Anforderungen an Platziergenauigkeit, Beschleunigung und Geschwindigkeit der Arbeitsplattform liegen weit oberhalb derer serieller Roboteranwendungen. Kommerziell verfügbare Lösung für eine derartige Steuerung existieren derzeit noch nicht oder nur mit Einschränkungen Gegenstand dieser Arbeit ist zunächst die Untersuchung grundlegender Mechanismen aus den Bereichen Softwaretechnologie und Kommunikationstechnik, um eine Auswahl zur Realisierung geeigneter Funktionalitäten für Prozessorganisation, Kommunikation, Synchronisation, Konfiguration und Darstellung hinsichtlich eines passenden Steuerungssystems zu treffen. Im Hauptteil der Arbeit erfolgt die detaillierte Konzipierung sowie die Erläuterung der vollständig in Hard- und Software umgesetzten Realisierung dieser Kommunikations-Infrastruktur. Sie besteht aus drei Hauptkomponenten: Middleware MiRPA-X, Kommunikationsprotokoll IAP und Kommunikationssystem FireWire (Standard IEEE 1394). Die Verbindung bildet eine leistungsfähige Plattform, um allen in der Steuerung verwendeten Funktionsmodulen zu jeder Zeit transparente, modulare, einheitliche und echtzeitfähige Kommunikations- und Synchronisationsmechanismen zur Verfügung stellen. Die Integration erfolgte dabei soweit möglich unter Verwendung von Standardkomponenten (PC-Hardware, Betriebssystem, Programmiersprache). Innerhalb des SFB hat sich der praktische Einsatz der hier erarbeiteten Lösung als essenzieller, unverzichtbarer Bestandteil der Steuerung gezeigt, so dass ein breiterer Einsatz dieser Infrastruktur innerhalb anderer PC-basierter Robotersteuerungen außerhalb des SFB denkbar und sinnvoll erscheint.The goal of this thesis is the concept development, implementation and testing of a centrally organized communication infrastructure. It aims to support the development of control systems for high-dynamic robot applications, and thus provides a uniform, modular and real-time capable application programming interface (API) for all software modules involved. The development and application is performed using the operating system QNX Neutrino together with C/C++ programming language. The background of this thesis is the Collaborative Research Center (CRS) 562. Here, foundations for the development of parallel kinematic machines (PKMs) are worked out regarding necessary methods and components. The application of PKMs make high demands on the performance of robot control: coupled kinematic structures together with resulting special singularities require more and efficient control functions for motion control; additional sensors (integrated within the robot structure) increase the necessary data traffic while aiming to reduce calculational complexity; requirements for the synchronisation of drives necessitate high-speed communication mechanisms. Additional requirements regard the performance of the overall robot system: positioning accuracy, acceleration and velocity of the robot end-effector, which are expected to outsell those realised with conventional (serial) robot structures. Commercially available solutions for control systems do not suit all of these demands which calls for a unique control system design from standard components (computer hardware, operating system, communication system and programming language). The object of this thesis is, at first, the examination of fundamental mechanisms from the domain of software and communication technology in order to select suitable mechanisms for process organisation, inter process communication, synchronisation, configuration and presentation of data flow. These are to be provided for the control function modules in a uniform way. In the main part of this thesis the concept of the communication infrastructure is introduced in detail as well as the overall description of its implementation in hardware and software. The infrastructure consists of three main components which work together as a functional unit: the middleware MiRPA-X, the communication protocol IAP and the FireWire communication system (IEEE 1394). They form an efficient framework in order to provide transparent, modular and uniform communication and synchronisation mechanisms for the development of powerful and real-time control functionality. Within the project work in the Collaborative Research Center this novel communication infrastructure proved of indispensable value. For other robot control systems outside the CRS, it should thus be considered when using standard components

Petri net supported control of complex controlling processes in a management holding: an application-oriented consideration from the perspective of coordination

In Anbetracht der steigenden Komplexität und Dynamik von Unternehmensprozessen ist das Interesse an entscheidungsunterstützenden, prozessorientierten Beschreibungsmethoden sowohl in der betriebswirtschaftlichen Praxis als auch Forschung ungebrochen. Konzernierte Unternehmen in Gestalt der zeitgemäßen Management-Holding sehen sich aufgrund ihrer Größe, Heterogenität und Multinationalität in besonderem Maße mit intransparenten Steuerungsprozessen konfrontiert. Zur Handhabung dieser relativen Führungskomplexität wird die Konzeption des koordinationsorientierten Konzerncontrolling herangezogen. Mit Hilfe vertikaler, horizontaler und zeitlicher Koordinationsprozesse sollen die fraktalen Führungsteilsysteme auf die Wertsteigerung des Gesamtkonzerns ausgerichtet werden. In instrumenteller Hinsicht zeigt sich jedoch, dass das controllingtypische Instrumentarium nur bedingt in der Lage ist, komplex-dynamische Sachverhalte prozessorientiert nachzubilden. Insofern resultiert aus den spezifischen Anforderungen ans Konzerncontrolling eine instrumentelle Lücke, zu deren Schließung die prozessorientierten Beschreibungsmethoden System Dynamics, Ereignisgesteuerte Prozessketten sowie Petri-Netze diskutiert werden. Aus der synoptischen Betrachtung geht ein qualitatives Vorteilhaftigkeitsprofil hervor, welches die Petri-Netz-Methode als problemadäquat erscheinen lässt. Erstmalig wird die ingenieurwissenschaftliche Petri-Netz-Methode aus dem Blickwinkel des präventiven Meta-Controlling zur Modellierung informatorischer Controlling-Prozesse innerhalb einer Management-Holding angewandt und so das Instrumentarium des Konzerncontrolling erweitert. Im Zuge dieser Komplementierung wird das äußerst facettenreiche Leistungspotenzial von Petri-Netzen aufgezeigt. Die Praxistauglichkeit im Hinblick auf Schwachstellenanalyse und Gestaltungsempfehlungen wird anhand der fiktiven Fallstudie „Petrimobil AG“ unter Einsatz des EDV-gestützten CPN-Tools verifiziert.The interest in decision-supporting, process-oriented description methods is so well in the business management practice and research unbroken in consideration of the increasing complexity and dynamics of enterprise processes. Group enterprises in the form of the up-to-date management holding feel confronted with non-transparent control processes due to their size, differences and multi-nationality in special measure. For the handling of this relative leadership complexity the conception of the coordination oriented group controlling is consulted. With the help of vertical, horizontal and temporal coordination processes the fractal leadership partial systems shall on the increase in value of the entire group enterprise. In regard with instruments it turns out, however, that the controlling typical instruments only caused are able to model complex dynamic facts process-orientedly. In this respect a gap with regard to instruments results from the specific requirements on the group controlling to whose shutdown the process-oriented description methods system dynamics, event-driven process chains as well as Petri nets are discussed. A qualitative profitability profile which makes the Petri net method seem problem adequate results from the synoptic consideration. The engineer scientific Petri net method is for the first time used for the modeling of informational controlling processes of inner half one management holding from the viewpoint of the preventative meta controlling and enlarges so the instruments of the group controlling. In the course of this complementation the extremely multifaceted performance potential of Petri nets is shown. The practice suitability with regard to weak-points analysis and design recommendations is verified using the fictitious case study "Petrimobil AG" below use of the EDP supported CPN tool

GeNeMe ´02 - Virtuelle Organisation und Neue Medien 2002: Workshop GeNeMe2002 Gemeinschaften in Neuen Medien: TU Dresden, 26. und 27. September 2002

Aus dem Vorwort: "Vor uns liegt der nunmehr fünfte Band unserer Tagungsreihe GeNeMe - Gemeinschaften in Neuen Medien - mit einer Vielzahl von Beiträgen in den Rubriken - Geschäfts- und Betreibermodelle von GeNeMe (siehe Einführung), - Konzepte von GeNeMe, - E-Learning in GeNeMe, - Kooperation in GeNeMe, - Anwendungen in GeNeMe, - Wissen und GeNeMe, - Medien für GeNeMe. Aus dem großen Angebot konnte wegen der Beschränkungen, die wir uns für die Tagung auferlegt haben, nur etwa die Hälfte der Beiträge Aufnahme finden. Das Interesse am Thema GeNeMe und das Diskussionsangebot von Ergebnissen zu diesem Thema sind im Lichte unserer Tagung also weiter steigend. Auch haben sich Konkretheit und Praxisbezug in den Beiträgen durchgesetzt. Die thematischen Rubriken wurden entgegen denen in der ersten Ankündigung entsprechend der Struktur des Angebotes neu gefasst. Dabei ist die explizite Diskussion von Geschäfts- und Betreiber-Modellen für GeNeMe (Virtuelle Unternehmen, Virtuelle Gemeinschaften etc.), insbesondere in der derzeit gedämpften gesamtwirtschaftlichen Lage, zeitgemäß und essentiell für ein Bestehen im Leben der Konzepte und Anwendungen für/in GeNeMe.":A. EINFÜHRUNG 1 A.1. GESCHÄFTSMODELL VIRTUELLE COMMUNITY: EINE ANALYSE BESTEHENDER COMMUNITIES 1 Jan Marco Leimeister, Andrea Bantleon, Prof. Dr. Helmut Krcmar Lehrstuhl für Wirtschaftsinformatik, Universität Hohenheim A.2. VIRTUELLE BILDUNGSNETZWERKE: STRUKTUR- UND BETREIBERMODELLE AM BEISPIELWINFOLINE 41 Oliver Bohl, Prof. Dr. Udo Winand Universität Kassel Guido Grohmann, Prof. Dr. Dr. h.c. mult. August-Wilhelm Scheer Universität des Saarlandes B. KONZEPTE VON GENEME 69 B.1. PEER-TO-PEER – EINE „VERTEILTE TECHNOLOGIE AUF DER SUCHE NACH EINEM „ZENTRALEN“ VERSTÄNDNIS 69 Claus Eikemeier, Prof. Dr. Ulrike Lechner Fachbereich für Mathematik und Informatik, Universität Bremen B.2. STRUKTURBILDUNG IN P2P-NETWORK-COMMUNITIES 91 Markus Wulff, Dr. Herwig Unger Fachbereich Informatik, Universität Rostock B.3. REPUTATION ALS STEUERUNGSINSTRUMENT IN NETZWERKINTERNENMÄRKTEN 107 Stefan Wittenberg, Prof. Dr. Thomas Hess Seminar für Wirtschaftsinformatik und Neue Medien, Ludwig-Maximilians-Universität München B.4. AUFTRAGSBEZOGENE PARTNERSELEKTION IN UNTERNEHMENSNETZWERKEN UNTER BENUTZUNG EINER MULTIKRITERIELLEN ZIELFUNKTION INNERHALB EINER ANT COLONY OPTIMIZATION 133 Dr. rer. pol. Tobias Teich, Marco Fischer, Hendrik Jähn Fakultät für Wirtschaftswissenschaften, Technische Universität Chemnitz C. E-LEARNING IN GENEME 161 C.1. VIRTUELLE LERNGEMEINSCHAFTEN IN DER VFH 161 Udo Hinze, Prof. Dr. rer. nat. Gerold Blakowski Fachbereich Wirtschaft, Fachhochschule Stralsund C.2. ANFORDERUNGEN AN EINE TOOL-UNTERSTÜTZUNG FÜR LEHRENDE IN VIRTUELLEN KOLLABORATIVEN LERNSITUATIONEN – DIDAKTISCHE NORMEN UND PRAKTISCHE ERFAHRUNGEN AM BEISPIEL EINES E-COMMERCE-LERNPROJEKTES 189 Ildikó Balázs, Prof. Dr. Eric Schoop Fakultät Wirtschafstwissenschaften, Technische Universität Dresden C.3. NETZBASIERTES LERNEN UND ARBEITEN IN VIRTUELLEN GEMEINSCHAFTEN 219 Romy Pfretzschner, Dr. Thomas Hoppe Institut für Informatik, Universität Leipzig C.4. TELEKOOPERATIVES SEMINAR "VERNETZUNG UND GESELLSCHAFTLICHE ENTWICKLUNG" 241 Hermann Leustik Institut für Medien- und Kommunikationswissenschaft, Universität Klagenfurt C.5. UNTERSTÜTZUNG VIRTUELLER LERNGEMEINSCHAFTEN DURCH GROUPWARE-TOOLS 259 Udo Hinze, Prof. Dr. rer. nat. Gerold Blakowski Fachbereich Wirtschaft, Fachhochschule Stralsund C.6. NEUEMEDIEN IN GUTER UNIVERSITÄRER LEHRE 287 Michael Janneck, Monique Strauss Fachbereich Informatik,Universität Hamburg C.7. NACHFRAGE UND ANGEBOT ZUR BENUTZUNGSBETREUUNG VON SOFTWARE IM UNIVERSITÄREN LEHRBETRIEB 305 Bernd Pape, Iver Jackewitz Fachbereich Informatik / WissPro, Universität Hamburg XI D. KOOPERATION IN GENEME 333 D.1. INTERNETBASIERTE PROJEKTKOORDINATION UND –STEUERUNG FÜR INGENIEURBÜROS 333 Rainer Münster, DE-Consult, Berlin Prof. Dr.-Ing. Peter Böttcher, Hochschule für Technik und Wirtschaft Saarland, Saarbrücken Walter Stegner, DE-Consult, Karlsruhe D.2.WEGE ZU EINER SOFTWARE-KOMPONENTEN-INDUSTRIE - ERFOLGSFAKTOREN FÜR DIE BILDUNG VON VIRTUELLEN GEMEINSCHAFTEN IN DER SOFTWAREENTWICKLUNG 365 Oliver Höß, Anette Weisbecker Fraunhofer-Institut für Arbeitswirtschaft und Organisation, Universtität Stuttgart D.3. EINE RAHMENANWENDUNG FÜR DIE INFORMELLE TEAMARBEIT IN DOKUMENTENBESTÄNDEN 387 Alexander Lorz Heinz-Nixdorf-Stiftungslehrstuhl für Multimediatechnik, Technische Universität Dresden D.4. KAVIDO - EIN WEB-BASIERTES SYSTEM FÜR KOOPERATIVE FORSCHUNGSUND ENTWICKLUNGSPROZESSE 411 Oliver Taminé, Prof. Dr. Rüdiger Dillmann Institut für industrielle Anwendungen der Informatik und Mikrosystemtechnik, Universität Karlsruhe D.5. DER ÜBERGANG VOM E-COMMERCE ZUM COLLABORATIVE BUSINESS BEIM ANZEIGENGESCHÄFT VON ZEITUNGEN 425 Dr. Thomas Schindler, Robert Buck SAP Systems Integration AG, Freiberg a.N. Patrick Laz Manchette Publicité, St. Ouen, Frankreich XII D.6. VIRTUELLE INFORMATIONSSYSTEME ZUR UNTERSTÜTZUNG VON ORGANISATIONEN IN DEN NEUENMEDIEN 441 Detlef Neumann Technische Universität Dresden D.7. ANWENDUNGSINTEGRATION ENTLANG DER GESCHÄFTS-PROZESSE MITTELS WORKFLOW-MANAGEMENT-SYSTEM "KONTEXTFLOW" 57 Martin Halatchev Technische Universität Dresden E. ANWENDUNGEN IN GENEME 471 E.1. COMMUNITY ENGINEERING IM GESUNDHEITSWESEN: MOBILE VIRTUELLE GEMEINSCHAFTEN FÜR KREBSPATIENTEN - DAS PROJEKT COSMOS 471 Miriam Daum, Jan Marco Leimeister, Prof. Dr. Helmut Krcmar Lehrstuhl für Wirtschaftsinformatik, Universität Hohenheim E.2. E-COMMERCE IN DER ENTSORGUNGSINDUSTRIE: EINE E-COMMERCELÖSUNG FÜR DIENSTLEISTUNGEN ALS INSTRUMENT ZUR KUNDENBINDUNG IN DER ENTSORGUNGSINDUSTRIE 489 Prof. Dr. W. Dangelmaier, Andreas Emmrich, Ulrich Pape, Jörn Szegunis Fraunhofer ALB, Paderborn Thomas Grimm SULO Gruppe, Herford E.3. VON DER FOOD-COOP ZURMOBILITÄTS-COOP: COMPUTERGESTÜTZTE KOOPERATION ALS BEITRAG ZUR RESSOURCENSCHONUNG 513 Stefan Naumann Institut für Softwaresysteme in Wirtschaft, Umwelt und Verwaltung Fachhochschule Trier, Standort Umwelt-Campus Birkenfeld F. WISSEN UND GENEME 529 F.1. EINFÜHRUNG UND ETABLIERUNG EINER KULTUR DESWISSENTEILENS IN ORGANISATIONEN 529 Prof. Dr. Heimo H. Adelsberger, Markus Bick, Thomas Hanke Wirtschaftsinformatik der Produktionsunternehmen, Universität Essen XIII F.2. VIRTUELLE KONFERENZEN 553 Claudia Bremer Kompetenzzentrum Neue Medien in der Lehre, Universität Frankfurt/Main F.3. EINSATZMÖGLICHKEITEN VON TEXT-MINING ZUR UNTER-STÜTZUNG VON INTERNETBASIERTEN IDEENFINDUNGS-PROZESSEN 577 Dirk Krause Institut für Wirtschaftsinformatik Universität Leipzig G. MEDIEN FÜR GENEME 593 G.1. CRM AUF DER BASIS VON INTERNETTECHNOLOGIEN – EIN BEISPIEL 593 Dr. Roland Schröder Bode Management Consultants GmbH, Hamburg G.2. ENTWICKLUNG EINES DYNAMISCHEN WAP-INTERFACE AM BEISPIEL DER GESCHÄFTSPARTNERVERWALTUNG DES DOKUMENTENMANGEMENTSYSTEMS DOKWORKS DER FIRMA PHOENIX EDV- SYSTEMTECHNIK GMBH, ITZEHOE 613 Mathias Schnoor, Prof. Dr. Jörg Raasch Hochschule für Angewandte Wissenschaften Hambur

Coherent Dependence Cluster

This thesis introduces coherent dependence clusters and shows their relevance in areas of software engineering such as program comprehension and mainte- nance. All statements in a coherent dependence cluster depend upon the same set of statements and affect the same set of statements; a coherent cluster’s statements have ‘coherent’ shared backward and forward dependence. We introduce an approximation to efficiently locate coherent clusters and show that its precision significantly improves over previous approximations. Our empirical study also finds that, despite their tight coherence constraints, coherent dependence clusters are to be found in abundance in production code. Studying patterns of clustering in several open-source and industrial programs reveal that most contain multiple significant coherent clusters. A series of case studies reveal that large clusters map to logical functionality and pro- gram structure. Cluster visualisation also reveals subtle deficiencies of program structure and identify potential candidates for refactoring efforts. Supplemen- tary studies of inter-cluster dependence is presented where identification of coherent clusters can help in deriving hierarchical system decomposition for reverse engineering purposes. Furthermore, studies of program faults find no link between existence of coherent clusters and software bugs. Rather, a longi- tudinal study of several systems find that coherent clusters represent the core architecture of programs during system evolution. Due to the inherent conservativeness of static analysis, it is possible for unreachable code and code implementing cross-cutting concerns such as error- handling and debugging to link clusters together. This thesis studies their effect on dependence clusters by using coverage information to remove unexecuted and rarely executed code. Empirical evaluation reveals that code reduction yields smaller slices and clusters